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 m0qpGvT-000024C; Mon, 26 Sep 94 16:21 EET Message-Id: Received: from FINHUTC.HUT.FI by FINHUTC.hut.fi (IBM VM SMTP V2R2) with BSMTP id 4035; Mon, 26 Sep 94 16:21:18 EET Received: from SEARN.SUNET.SE (NJE origin MAILER@SEARN) by FINHUTC.HUT.FI (LMail V1.1d/1.7f) with BSMTP id 4032; Mon, 26 Sep 1994 16:21:18 +0200 Received: from SEARN.SUNET.SE (NJE origin LISTSERV@SEARN) by SEARN.SUNET.SE (LMail V1.2a/1.8a) with BSMTP id 3460; Mon, 26 Sep 1994 15:18:26 +0100 Date: Mon, 26 Sep 1994 10:01:19 -0400 Reply-To: Logical Language Group Sender: Lojban list From: Logical Language Group Subject: Re: Exporting numerical abstractors to the prenex X-To: lojban@cuvmb.cc.columbia.edu To: Veijo Vilva In-Reply-To: <199409251124.AA26176@nfs1.digex.net> from "Veijo Vilva" at Sep 25, 94 01:26:20 pm Content-Length: 902 Lines: 27 la veion. cusku di'e > Just to show that it is possible to cope with the interpretation > of external quantifiers as a kind of numerical abstractors. > > mi nitcu re tanxe > > can be transformed to > > ny pe li re zo'u mi nitcu vei ny tanxe > For n = 2: I need n boxes. This is an interesting idea, but without making a judgment on the merits, I would like to propose a different member of GOI to use here, namely "goi". ny. goi li re zo'u mi nitcu vei ny. tanxe N is-defined-to-be the-number 2 : I need ( N ) boxes. (Note for those who don't realize: we need the explicit open paren cmavo "vei" here because "ny." by itself is a sumti, not a quantifier.) Unless there is adverse comment, I will add this use of "goi" to the MEX paper. -- John Cowan sharing account for now e'osai ko sarji la lojban.