From sentto-44114-18424-1043795383-lojban-in=lojban.org@returns.groups.yahoo.com Tue Jan 28 15:10:25 2003 Received: with ECARTIS (v1.0.0; list lojban-list); Tue, 28 Jan 2003 15:10:25 -0800 (PST) Received: from n19.grp.scd.yahoo.com ([66.218.66.74]) by digitalkingdom.org with smtp (Exim 4.05) id 18des1-0001HJ-00 for lojban-in@lojban.org; Tue, 28 Jan 2003 15:10:21 -0800 X-eGroups-Return: sentto-44114-18424-1043795383-lojban-in=lojban.org@returns.groups.yahoo.com Received: from [66.218.67.200] by n19.grp.scd.yahoo.com with NNFMP; 28 Jan 2003 23:09:43 -0000 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 To: lojban@yahoogroups.com 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> From: Robert LeChevalier X-Yahoo-Profile: lojbab 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: Tue, 28 Jan 2003 17:27:19 -0500 Subject: [lojban] Re: loi preti be fi lo nincli zo'u tu'e Content-Type: text/plain; charset=US-ASCII X-archive-position: 3937 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: lojbab@lojban.org Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list 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 To unsubscribe, send mail to lojban-unsubscribe@onelist.com Your use of Yahoo! Groups is subject to http://docs.yahoo.com/info/terms/