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 m0qSevm-000023C; Tue, 26 Jul 94 08:19 EET DST Message-Id: Received: from FINHUTC.HUT.FI by FINHUTC.hut.fi (IBM VM SMTP V2R2) with BSMTP id 6385; Tue, 26 Jul 94 08:18:36 EET Received: from SEARN.SUNET.SE (NJE origin MAILER@SEARN) by FINHUTC.HUT.FI (LMail V1.1d/1.7f) with BSMTP id 6381; Tue, 26 Jul 1994 08:18:36 +0200 Received: from SEARN.SUNET.SE (NJE origin LISTSERV@SEARN) by SEARN.SUNET.SE (LMail V1.2a/1.8a) with BSMTP id 9138; Tue, 26 Jul 1994 07:17:44 +0200 Date: Tue, 26 Jul 1994 01:19:09 -0400 Reply-To: Logical Language Group Sender: Lojban list From: Logical Language Group Subject: Re: Response to Randall Holmes on Loglan/Lojban "me" To: jorge@PHYAST.PITT.EDU Cc: holmes@DIAMOND.IDBSU.EDU, lojban@cuvmb.cc.columbia.edu Content-Length: 1393 Lines: 30 Let me clarify since Randall doesn't know the Lojban words. UU> > The fundamental point is that the technical sense of ME that I propose UU> > is NOT "identity conversion"; it is conversion of multiple reference UU> > into a predicate form (suitable for conversion to set reference, for UU> > example). UU> > UU> > UU> > --Randall Holmes UU> UU> I think {du lu'a} can do that job in Lojban, as long as the default UU> quantifier of {lu'a} is {su'o}, as the grammar paper suggests, and not UU> {ro}, as the cmavo list suggests. If thedeafult quantifier doesn't do what you want, you can make explicit the quantifier that you think should be there : "du [be] su'o lu'a lu'a for Randall's benefit takes a single or compound argument and produces another argument after changing its nature. It's grammar is that of LAhE, which closely corresponds to TLI "lae/sae". Here are the definitions lu'i LAhE the set composed of the set with members; converts another description type to a set of the members lu'a LAhE the individuals of the members of the set/components of the mass; converts another description type to individuals lu'o LAhE the mass composed of the mass composed of; converts another description type to a mass composed of the members lojbab