From lojban-out@lojban.org Wed Jan 29 02:14:20 2003 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_2_3_1); 29 Jan 2003 10:14:20 -0000 Received: (qmail 36613 invoked from network); 29 Jan 2003 10:14:20 -0000 Received: from unknown (66.218.66.218) by m5.grp.scd.yahoo.com with QMQP; 29 Jan 2003 10:14:20 -0000 Received: from unknown (HELO digitalkingdom.org) (204.152.186.175) by mta3.grp.scd.yahoo.com with SMTP; 29 Jan 2003 10:14:20 -0000 Received: from lojban-out by digitalkingdom.org with local (Exim 4.05) id 18dpEa-0003vX-00 for lojban@yahoogroups.com; Wed, 29 Jan 2003 02:14:20 -0800 Received: from digitalkingdom.org ([204.152.186.175] helo=chain) by digitalkingdom.org with esmtp (Exim 4.05) id 18dpDq-0003v5-00; Wed, 29 Jan 2003 02:13:34 -0800 Received: with ECARTIS (v1.0.0; list lojban-list); Wed, 29 Jan 2003 02:13:24 -0800 (PST) Received: from vinland.freeshell.org ([207.202.214.139] helo=sdf.lonestar.org ident=root) by digitalkingdom.org with esmtp (Exim 4.05) id 18dpCO-0003sd-00 for lojban-list@lojban.org; Wed, 29 Jan 2003 02:12:04 -0800 Received: (from mbays@localhost) by sdf.lonestar.org (8.11.6+3.4W/8.11.6) id h0TABsV09638; Wed, 29 Jan 2003 10:11:54 GMT Date: Wed, 29 Jan 2003 10:11:54 +0000 (UTC) To: lojban-list@lojban.org Subject: [lojban] Re: loi preti be fi lo nincli zo'u tu'e In-Reply-To: <5.2.0.9.0.20030128153106.00ab43e0@pop.east.cox.net> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-archive-position: 3941 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: mbays@freeshell.org Precedence: bulk X-list: lojban-list X-eGroups-From: Martin Bays From: Martin Bays Reply-To: mbays@freeshell.org X-Yahoo-Group-Post: member; u=116389790 X-Yahoo-Profile: lojban_out > At 12:20 PM 1/28/03 -0800, Robin Lee Powell wrote: > >Probably better, though, is > > > >lu'i .abu boi xi .ibu zo'u .ibu cmima be tau .ibu > > > >But there really should be a way to attach some kind of clause to a > >subscripted letteral, or math is going to be really hard. > > There is > > >Another way, and this I actually don't mind much: > > > >lu'i .abu boi xi .ibu to .ibu cmima be tau .ibu toi > > > >That seems workable in practice. > > I haven't been paying attention but ... > > If I understand what you are trying for, the canonical way (i.e. the one I > planned for) to express the above is: > lu'i .abuboi xi veimo'e .ibu poi cmima tau .ibu > > Alternatively, you need an operator for membership: > lu'i .abuboi xi vei .ibu na'u cmima tau .ibu > or > li'i .abuboi xi vei .ibu ma'o cmima.bu boi tau .ibu > .ua.ue.u'e This all makes a lot of sense. I get the feeling the mex is going to be much more useful than I'd thought... Thanks.