From pycyn@aol.com Sat Apr 27 06:21:03 2002 Return-Path: X-Sender: Pycyn@aol.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_0_3_1); 27 Apr 2002 13:21:03 -0000 Received: (qmail 90308 invoked from network); 27 Apr 2002 13:21:03 -0000 Received: from unknown (66.218.66.216) by m10.grp.scd.yahoo.com with QMQP; 27 Apr 2002 13:21:03 -0000 Received: from unknown (HELO imo-d10.mx.aol.com) (205.188.157.42) by mta1.grp.scd.yahoo.com with SMTP; 27 Apr 2002 13:21:02 -0000 Received: from Pycyn@aol.com by imo-d10.mx.aol.com (mail_out_v32.5.) id r.47.1c0a1831 (4586) for ; Sat, 27 Apr 2002 09:20:42 -0400 (EDT) Message-ID: <47.1c0a1831.29fbffa9@aol.com> Date: Sat, 27 Apr 2002 09:20:41 EDT Subject: Re: [lojban] cipja'o To: lojban@yahoogroups.com MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="part1_47.1c0a1831.29fbffa9_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 X-Yahoo-Message-Num: 14128 --part1_47.1c0a1831.29fbffa9_boundary Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit In a message dated 4/27/2002 5:32:08 AM Central Daylight Time, gordon.dyke@bluewin.ch writes: > .i ma pensi do di'e > Check the place-structrue of {pensi}. This says "Who thinks about you?" with a floating {di'e}. Probably {do jinvi ma di'e} The rest works OK, But I would use {da'i P ida'inai Q} rather than {da'i P inaja Q}: the combination "Suppose that if" seems redundant in context. Oh, and {cipra} is not good for mathematical proofs -- it means "test" not "valid argument string" The {jarco} part is OK, but I would combine it with {jalge). --part1_47.1c0a1831.29fbffa9_boundary Content-Type: text/html; charset="US-ASCII" Content-Transfer-Encoding: 7bit In a message dated 4/27/2002 5:32:08 AM Central Daylight Time, gordon.dyke@bluewin.ch writes:


.i ma pensi do di'e

Check the place-structrue of {pensi}.  This says "Who thinks about you?" with a floating {di'e}.  Probably {do jinvi ma di'e}

The rest works OK, But I would use {da'i P ida'inai Q} rather than {da'i P inaja Q}: the combination "Suppose that if" seems redundant in context.

Oh, and {cipra} is not good for mathematical proofs -- it means "test" not "valid argument string"  The {jarco} part is OK, but I would combine it with {jalge).
 --part1_47.1c0a1831.29fbffa9_boundary--