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 m0r8OiX-000071C; Fri, 18 Nov 94 10:30 EET Message-Id: Received: from FINHUTC.HUT.FI by FINHUTC.hut.fi (IBM VM SMTP V2R2) with BSMTP id 3154; Fri, 18 Nov 94 10:31:01 EET Received: from SEARN.SUNET.SE (NJE origin MAILER@SEARN) by FINHUTC.HUT.FI (LMail V1.1d/1.7f) with BSMTP id 3150; Fri, 18 Nov 1994 10:31:01 +0200 Received: from SEARN.SUNET.SE (NJE origin LISTSERV@SEARN) by SEARN.SUNET.SE (LMail V1.2a/1.8a) with BSMTP id 3143; Fri, 18 Nov 1994 09:27:46 +0100 Date: Thu, 17 Nov 1994 23:03:26 -0800 Reply-To: Gerald Koenig Sender: Lojban list From: Gerald Koenig Subject: Re: PROPOSAL Lambda............ X-To: lojban@cuvmb.cc.columbia.edu To: Veijo Vilva Content-Length: 740 Lines: 28 djer asked: >> >> 1. Can "le ka xa'eda mamta " be rendered as >> b) the (in mind) property of being the class of all beings that >> constitute values for the x1 of mamta? djan replied: >No, I think that is "le ka [xa'eda] du lo'i mamta". "the class of all ..." >points to "lo'i", and "the property of being ... " is "le ka du". djer resumes: I can see that if "xipa" is added , thus: le ka xa'eda du lo'i xipa mamta. What is the difference between the above and le ka du lo'i xipa mamta? I am trying to understand "xa'eda" better. Thanks for the lambda reference. It would be helpful to me and perhaps others if you gave more examples of the use of this proposed quantifier. It has a valuable conciseness. djer