Return-Path: <@FINHUTC.HUT.FI:LOJBAN@CUVMB.BITNET> Received: from FINHUTC.hut.fi by xiron.pc.helsinki.fi with smtp (Linux Smail3.1.28.1 #1) id m0qmC7p-00005LC; Sun, 18 Sep 94 05:37 EET DST Message-Id: Received: from FINHUTC.HUT.FI by FINHUTC.hut.fi (IBM VM SMTP V2R2) with BSMTP id 8892; Sun, 18 Sep 94 05:35:37 EET Received: from SEARN.SUNET.SE (NJE origin MAILER@SEARN) by FINHUTC.HUT.FI (LMail V1.1d/1.7f) with BSMTP id 8890; Sun, 18 Sep 1994 05:35:38 +0200 Received: from SEARN.SUNET.SE (NJE origin LISTSERV@SEARN) by SEARN.SUNET.SE (LMail V1.2a/1.8a) with BSMTP id 3741; Sun, 18 Sep 1994 04:34:26 +0200 Date: Sat, 17 Sep 1994 22:33:40 -0400 Reply-To: Logical Language Group Sender: Lojban list From: Logical Language Group Subject: Re: needing books X-To: ucleaar@ucl.ac.uk X-cc: lojban@cuvmb.cc.columbia.edu To: Veijo Vilva Content-Length: 612 Lines: 18 UC>How do you distinguish, (preferably in non-pedantic usage): UC> UC> I need there to be a specific book such that I have it. UC> There is a specific book such that I need to have it. UC> I need there to be x, such that x is a book & I have x. UC> There exists x, such that x is a book & I need to have x. 1) mi nitcu lenu da zo'u da cukta gi'e se ponse mi 2) da zo'u tu'e da cukta .ije mi nitcu lenu mi ponse da In 1), the "da" in the prenex within the "lenu" clause is not exportable outside of that clause. I think this covers your distinction, if I understand it correctly (no bets %^) lojbab