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 m0qSq3Z-000023C; Tue, 26 Jul 94 20:12 EET DST
Message-Id: <m0qSq3Z-000023C@xiron.pc.helsinki.fi>
Received: from FINHUTC.HUT.FI by FINHUTC.hut.fi (IBM VM SMTP V2R2)
   with BSMTP id 2257; Tue, 26 Jul 94 20:11:23 EET
Received: from SEARN.SUNET.SE (NJE origin MAILER@SEARN) by FINHUTC.HUT.FI (LMail V1.1d/1.7f) with BSMTP id 2255; Tue, 26 Jul 1994 20:11:21 +0200
Received: from SEARN.SUNET.SE (NJE origin LISTSERV@SEARN) by SEARN.SUNET.SE
 (LMail V1.2a/1.8a) with BSMTP id 8938; Tue, 26 Jul 1994 19:10:26 +0200
Date:         Tue, 26 Jul 1994 13:03:23 EDT
Reply-To:     jorge@PHYAST.PITT.EDU
Sender:       Lojban list <LOJBAN%CUVMB.bitnet@FINHUTC.hut.fi>
From:         Jorge Llambias <jorge@PHYAST.PITT.EDU>
Subject:      Re: Response to Randall Holmes on Loglan/Lojban "me"
X-To:         holmes@diamond.idbsu.edu, lojban@cuvmb.cc.columbia.edu
To:           Veijo Vilva <veion@XIRON.PC.HELSINKI.FI>
Content-Length: 867
Lines: 29

> On Jorge's account, in his second message, his construction will
> NOT work, for the usual reasons.  Too bad!
>

Ok, let me try again.

You wanted:

> The construction Jorge describes (du lu'a <argument>) sounds as if it
> might work, if it is indeed the case that lu'a <argument> means "the
> set of the things designated by <argument>".  I assume du means "is a
> member of set..."  Again, I do not know Lojban vocabulary.

If you want literally that, then: (cmima lu'i <argument>) is just that.


cmima mim cmi      member           x1 is a member/element of set x2;

lu'i      LAhE     the set composed of

I still don't see a problem with {lu'i le nanmu} for "lea me le mrenu".

I don't think {lu'i le nanmu} is a set with one element "the men", but
rather the set that has "all the men" as elements.


>                               --Randall Holmes
>
Jorge