From pycyn@aol.com Thu Nov 07 17:14:12 2002 Return-Path: X-Sender: Pycyn@aol.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_2_3_0); 8 Nov 2002 01:14:12 -0000 Received: (qmail 27479 invoked from network); 8 Nov 2002 01:14:12 -0000 Received: from unknown (66.218.66.218) by m5.grp.scd.yahoo.com with QMQP; 8 Nov 2002 01:14:12 -0000 Received: from unknown (HELO imo-m03.mx.aol.com) (64.12.136.6) by mta3.grp.scd.yahoo.com with SMTP; 8 Nov 2002 01:14:11 -0000 Received: from Pycyn@aol.com by imo-m03.mx.aol.com (mail_out_v34.13.) id r.f3.23ae559a (4468) for ; Thu, 7 Nov 2002 20:14:03 -0500 (EST) Message-ID: Date: Thu, 7 Nov 2002 20:14:02 EST Subject: Re: [lojban] Re: importing ro To: lojban@yahoogroups.com MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="part1_f3.23ae559a.2afc69da_boundary" X-Mailer: AOL 8.0 for Windows US sub 230 From: pycyn@aol.com X-Yahoo-Group-Post: member; u=2455001 X-Yahoo-Profile: kaliputra --part1_f3.23ae559a.2afc69da_boundary Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit In a message dated 11/7/2002 1:47:00 PM Central Standard Time, jjllambias@hotmail.com writes: > << > ro broda cu brode > = ge de broda gi ro da ga na broda gi brode >> Strictly spaking, of course, what pc favors is taking {ro broda cu brode} , with standard Lojban importing {ro} as basic and introducing the non-importing form as {ro da zo'u ganai da broda gi da brode}, as it normally is in Logic. [In fairness, this can be simplified to {ga ro broda cu brode gi no broda cu broda} or even {no broda naku brode}] --part1_f3.23ae559a.2afc69da_boundary Content-Type: text/html; charset="US-ASCII" Content-Transfer-Encoding: 7bit In a message dated 11/7/2002 1:47:00 PM Central Standard Time, jjllambias@hotmail.com writes:

<<
   ro broda cu brode
  = ge de broda gi ro da ga na broda gi brode

>>
Strictly spaking, of course, what pc favors is taking {ro broda cu brode} , with standard Lojban importing {ro} as basic and introducing the non-importing form as
{ro da zo'u ganai da broda gi da brode}, as it normally is in Logic.  [In fairness, this can be simplified to {ga ro broda cu brode gi no broda cu broda} or even {no broda naku brode}]
 --part1_f3.23ae559a.2afc69da_boundary--