From lojbab@lojban.org Tue Jan 28 15:09:43 2003 Return-Path: X-Sender: lojbab@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_2_3_0); 28 Jan 2003 23:09:42 -0000 Received: (qmail 83897 invoked from network); 28 Jan 2003 23:09:42 -0000 Received: from unknown (66.218.66.216) by m8.grp.scd.yahoo.com with QMQP; 28 Jan 2003 23:09:42 -0000 Received: from unknown (HELO lakemtao03.cox.net) (68.1.17.242) by mta1.grp.scd.yahoo.com with SMTP; 28 Jan 2003 23:09:42 -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 <20030128230940.FKYR8666.lakemtao03.cox.net@lojban.lojban.org> for ; Tue, 28 Jan 2003 18:09:40 -0500 Message-Id: <5.2.0.9.0.20030128171648.035ff220@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 17:27:19 -0500 To: lojban@yahoogroups.com Subject: Re: [lojban] Re: loi preti be fi lo nincli zo'u tu'e In-Reply-To: <20030128220118.GQ28812@digitalkingdom.org> References: <5.2.0.9.0.20030128153106.00ab43e0@pop.east.cox.net> <20030127235218.GS17154@digitalkingdom.org> <5.2.0.9.0.20030128153106.00ab43e0@pop.east.cox.net> 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 02:01 PM 1/28/03 -0800, Robin wrote: >On Tue, Jan 28, 2003 at 03:52:46PM -0500, Robert LeChevalier wrote: > > >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 > >Usable, but it implies that .ibu isn't an operand by default, which >seems Very Bad. .ibu can be an operand, an operator, or a sumti By itself, it is closest to an operand, but when you want to qualify it by saying it is a member of tau .ibu, the statement of membership is a mekso (or in this case a sumti with restrictive clause) and needs to be marked as such and THEN converted to an operand. > > Alternatively, you need an operator for membership: > > lu'i .abuboi xi vei .ibu na'u cmima tau .ibu > >That annoys me less. Thanks. For the original question - union as an operator would probably be "jorne bu". I'll let someone else figuire out intersection. 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