From sentto-44114-17040-1036718052-lojban-in=lojban.org@returns.groups.yahoo.com Thu Nov 07 17:16:08 2002 Received: with ECARTIS (v1.0.0; list lojban-list); Thu, 07 Nov 2002 17:16:08 -0800 (PST) Received: from n2.grp.scd.yahoo.com ([66.218.66.75]) by digitalkingdom.org with smtp (Exim 4.05) id 189xkj-0003kF-01 for lojban-in@lojban.org; Thu, 07 Nov 2002 17:16:05 -0800 X-eGroups-Return: sentto-44114-17040-1036718052-lojban-in=lojban.org@returns.groups.yahoo.com Received: from [66.218.67.198] by n2.grp.scd.yahoo.com with NNFMP; 08 Nov 2002 01:14:12 -0000 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: To: lojban@yahoogroups.com X-Mailer: AOL 8.0 for Windows US sub 230 From: pycyn@aol.com X-Yahoo-Profile: kaliputra MIME-Version: 1.0 Mailing-List: list lojban@yahoogroups.com; contact lojban-owner@yahoogroups.com Delivered-To: mailing list lojban@yahoogroups.com Precedence: bulk Date: Thu, 7 Nov 2002 20:14:02 EST Subject: [lojban] Re: importing ro Content-Type: multipart/alternative; boundary="part1_f3.23ae559a.2afc69da_boundary" X-archive-position: 2515 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: pycyn@aol.com Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list --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}]
To unsubscribe, send mail to lojban-unsubscribe@onelist.com

Your use of Yahoo! Groups is subject to the Yahoo! Terms of Service.
--part1_f3.23ae559a.2afc69da_boundary--