From sentto-44114-18393-1043471096-lojban-in=lojban.org@returns.groups.yahoo.com Fri Jan 24 21:05:38 2003 Received: with ECARTIS (v1.0.0; list lojban-list); Fri, 24 Jan 2003 21:05:38 -0800 (PST) Received: from n38.grp.scd.yahoo.com ([66.218.66.106]) by digitalkingdom.org with smtp (Exim 4.05) id 18cIVV-0000JQ-00 for lojban-in@lojban.org; Fri, 24 Jan 2003 21:05:29 -0800 X-eGroups-Return: sentto-44114-18393-1043471096-lojban-in=lojban.org@returns.groups.yahoo.com Received: from [66.218.67.192] by n38.grp.scd.yahoo.com with NNFMP; 25 Jan 2003 05:04:56 -0000 X-Sender: jjllambias@hotmail.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_2_3_0); 25 Jan 2003 05:04:56 -0000 Received: (qmail 22424 invoked from network); 25 Jan 2003 05:04:55 -0000 Received: from unknown (66.218.66.217) by m10.grp.scd.yahoo.com with QMQP; 25 Jan 2003 05:04:55 -0000 Received: from unknown (HELO hotmail.com) (216.33.240.141) by mta2.grp.scd.yahoo.com with SMTP; 25 Jan 2003 05:04:55 -0000 Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC; Fri, 24 Jan 2003 21:04:55 -0800 Received: from 67.17.15.38 by lw8fd.law8.hotmail.msn.com with HTTP; Sat, 25 Jan 2003 05:04:54 GMT To: lojban@yahoogroups.com Bcc: Message-ID: X-OriginalArrivalTime: 25 Jan 2003 05:04:55.0106 (UTC) FILETIME=[4CD0E220:01C2C42F] From: "Jorge Llambias" X-Originating-IP: [67.17.15.38] X-Yahoo-Profile: jjllambias2000 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: Sat, 25 Jan 2003 05:04:54 +0000 Subject: [lojban] Re: loi preti be fi lo nincli zo'u tu'e Content-Type: text/plain; charset=US-ASCII X-archive-position: 3906 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: jjllambias@hotmail.com Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list la camgusmis cusku di'e >Unfortunately, that doesn't fix the general set problems. In >particular, if we have: > >le pamoi gerku ce remoi gerku ce cimoi gerku ku ku'a le remoi gerku ce >vomoi gerku Those are: le(((pamoi (gerku ce remoi)) (gerku ce cimoi)) gerku) and le((remoi (gerku ce vomoi)) gerku) You need a few explicit brackets to get the grouping you want. >While I'm at it, does anyone see a difference between > >le pamoi gerku ce remoi gerku ce cimoi gerku ku ku'a le remoi gerku ce >vomoi gerku > >and > >le pamoi gerku ku ce le remoi gerku ku ce le cimoi gerku ku ku'a le >remoi gerku ku ce le vomoi gerku > >? (The latter having a lot more ku). I'm pretty sure they're >equivalent, but I want to check. I'm not at all sure what the first one means, even after fixing the grouping. Why should {lo broda ce brode} refer to a set with two elements? My first guess for {broda ce brode} would be "x1 is the set of all broda and all brode", but then what about the x2 of brode for example, does it survive? These tanru connectives are usually very odd. mu'o mi'e xorxes _________________________________________________________________ Help STOP SPAM with the new MSN 8 and get 2 months FREE* http://join.msn.com/?page=features/junkmail To unsubscribe, send mail to lojban-unsubscribe@onelist.com Your use of Yahoo! Groups is subject to http://docs.yahoo.com/info/terms/