From lojbab@lojban.org Tue Jan 28 13:06:12 2003 Return-Path: X-Sender: lojbab@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_2_3_0); 28 Jan 2003 21:06:11 -0000 Received: (qmail 49807 invoked from network); 28 Jan 2003 21:06:11 -0000 Received: from unknown (66.218.66.217) by m1.grp.scd.yahoo.com with QMQP; 28 Jan 2003 21:06:11 -0000 Received: from unknown (HELO lakemtao03.cox.net) (68.1.17.242) by mta2.grp.scd.yahoo.com with SMTP; 28 Jan 2003 21:06:11 -0000 Received: from lojban.lojban.org ([68.100.206.153]) by lakemtao03.cox.net (InterMail vM.5.01.04.05 201-253-122-122-105-20011231) with ESMTP id <20030128210611.DSYT8666.lakemtao03.cox.net@lojban.lojban.org> for ; Tue, 28 Jan 2003 16:06:11 -0500 Message-Id: <5.2.0.9.0.20030128153106.00ab43e0@pop.east.cox.net> X-Sender: rlechevalier@pop.east.cox.net X-Mailer: QUALCOMM Windows Eudora Version 5.2.0.9 Date: Tue, 28 Jan 2003 15:52:46 -0500 To: lojban@yahoogroups.com Subject: Re: [lojban] Re: loi preti be fi lo nincli zo'u tu'e In-Reply-To: <20030128202021.GG28812@digitalkingdom.org> References: <20030127235218.GS17154@digitalkingdom.org> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; format=flowed From: Robert LeChevalier X-Yahoo-Group-Post: member; u=1120595 X-Yahoo-Profile: lojbab 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 lojbab -- lojbab lojbab@lojban.org Bob LeChevalier, President, The Logical Language Group, Inc. 2904 Beau Lane, Fairfax VA 22031-1303 USA 703-385-0273 Artificial language Loglan/Lojban: http://www.lojban.org