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 m0qlt4w-00005LC; Sat, 17 Sep 94 09:16 EET DST Message-Id: Received: from FINHUTC.HUT.FI by FINHUTC.hut.fi (IBM VM SMTP V2R2) with BSMTP id 3231; Sat, 17 Sep 94 09:15:27 EET Received: from SEARN.SUNET.SE (NJE origin MAILER@SEARN) by FINHUTC.HUT.FI (LMail V1.1d/1.7f) with BSMTP id 3229; Sat, 17 Sep 1994 09:15:27 +0200 Received: from SEARN.SUNET.SE (NJE origin LISTSERV@SEARN) by SEARN.SUNET.SE (LMail V1.2a/1.8a) with BSMTP id 2466; Sat, 17 Sep 1994 08:14:15 +0200 Date: Sat, 17 Sep 1994 02:14:15 -0400 Reply-To: Logical Language Group Sender: Lojban list From: Logical Language Group Subject: G. Koenig on 'any' X-To: jlk@NETCOM.COM X-cc: lojban@cuvmb.cc.columbia.edu To: Veijo Vilva Content-Length: 1117 Lines: 38 GK>I think the below sentences translate this accurately. The style is GK>another question. I would say too that the word "any" does give rise to GK>a number of problems of ambiguity in English and carrying it over to GK>lojban might be a problem there. GK> GK>1. roda tanxe da inaja mi nitcu da GK>For all X: X is a box implies I need X. GK>If X is a box, I need it. I think I know what you were trying for, but that isn't what you got. roda tanxe d roda tanxe da (that is) (Absolutely) Everything is a box for containing itself. You wanted roda zo'u tu'e da tanxe .inaja mi nitcu da For all x: [x is a box => I need x] GK>2.roda poi tanxe ku'o mi nitcu da GK>For all X which is a box, I need X Closer: just use zo'u - the prenex terminator, instead of "ku'o": roda poi tanxe zo'u mi nitcu da As you wrote it nitcu has "roda poin tanxe ku'o" as x1 "mi" as x2 "da" as x3 Every box needs me for purpose 'itself' (sumti-raised!) !!! %^) In spite of this correction, I want to complement you on the great improvements you've made in Lojban capability since the era when you were part of the LA Group. lojbab