From pycyn@aol.com Tue Mar 12 09:46:36 2002 Return-Path: X-Sender: Pycyn@aol.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: unknown); 12 Mar 2002 17:46:36 -0000 Received: (qmail 81861 invoked from network); 12 Mar 2002 17:45:55 -0000 Received: from unknown (216.115.97.167) by m8.grp.snv.yahoo.com with QMQP; 12 Mar 2002 17:45:55 -0000 Received: from unknown (HELO imo-d01.mx.aol.com) (205.188.157.33) by mta1.grp.snv.yahoo.com with SMTP; 12 Mar 2002 17:45:54 -0000 Received: from Pycyn@aol.com by imo-d01.mx.aol.com (mail_out_v32.5.) id r.b4.7f39bc1 (18707) for ; Tue, 12 Mar 2002 12:45:40 -0500 (EST) Message-ID: Date: Tue, 12 Mar 2002 12:45:40 EST Subject: Re: [lojban] More about quantifiers To: lojban@yahoogroups.com MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="part1_b4.7f39bc1.29bf98c4_boundary" X-Mailer: AOL 7.0 for Windows US sub 118 From: pycyn@aol.com X-Yahoo-Group-Post: member; u=2455001 X-Yahoo-Profile: kaliputra --part1_b4.7f39bc1.29bf98c4_boundary Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit Oops, forgot the optional rules for ultimate form: xorxes: if form lacks a prefix add one of the same type as the form ({ge} or {ganai}) mine: if the prefix is the same type as the matrix, drop the prefix. Note, the A and E definition by adding negation ot the predicate are the same in boht, as are thee corresponding things for I and O. I think it is more important to know whether an existential claim is being made than to have a simplified negation rule (and not enormously simplified at that). --part1_b4.7f39bc1.29bf98c4_boundary Content-Type: text/html; charset="US-ASCII" Content-Transfer-Encoding: 7bit Oops, forgot the optional rules for ultimate form:
xorxes: if form lacks a prefix add one of the same type as the form ({ge} or {ganai})
mine:  if the prefix is the same type as the matrix, drop the prefix.

Note, the A and E definition by adding negation ot the predicate are the same in boht, as are thee corresponding things for I and O.

I think it is more important to know whether an existential claim is being made than to have a simplified negation rule (and not enormously simplified at that). --part1_b4.7f39bc1.29bf98c4_boundary--