From LOJBAN%CUVMB.BITNET@UBVM.CC.BUFFALO.EDU Wed Jan 24 14:23:15 1996 Received: from vms.dc.lsoft.com (vms.dc.lsoft.com [205.186.43.2]) by locke.ccil.org (8.6.9/8.6.10) with ESMTP id OAA12243 for ; Wed, 24 Jan 1996 14:23:11 -0500 Message-Id: <199601241923.OAA12243@locke.ccil.org> Received: from PEACH.EASE.LSOFT.COM (205.186.43.4) by vms.dc.lsoft.com (LSMTP for OpenVMS v1.0a) with SMTP id 3F2A7073 ; Wed, 24 Jan 1996 13:56:39 -0500 Date: Wed, 24 Jan 1996 18:09:59 +0000 Reply-To: ucleaar Sender: Lojban list From: ucleaar Subject: {lee}, {lohi} X-To: lojban@cuvmb.cc.columbia.edu To: John Cowan Status: OR X-Mozilla-Status: 0001 Content-Length: 1525 Djan: > > > "le'e broda" means that you take the members of "lo'i broda", perform > > > an in-mind selection, and then take the "lo'e" of the result. So it > > > gives you a {lo'e}-type abstraction that is based on a subset of the > > > population chosen by the speaker. > > That could be done by {loe (ro) le((h)i) broda}, couldn't it? > Yes; in fact, "le'e" was rather an afterthought to the set of gadri. It > first appeared in the "16 rules for Lojban" that Athelstan did up in a > hurry. I think it should be left undefined until someone thinks of a better use for it. At any rate, your above definition bears no resemblance to the maoste's "the stereotypical". I had suggested for {lee} the meaning "the average" as in "the average person has 2.4 kids", but subsequently realized that this averagizer is scope sensitive, and therefore ought either to be a quantifier exportable to the prenex or to be rendered by means of a brivla, with one sumti for the things averaged and another sumti for the result. > The whole point of "la'i broda" is that there may be more than one thing > answering to the name "broda"; thus "la'i djan" is the set of things I > call John (in the sense {x : x is called John by me}). This is not > necessarily all the things called John, of course. I am right, aren't I, that the official line on cmene is that they are potentially nonce, ad hoc labels, and do not come with any promise that they are to be found in any standard onomasticon? coo, mie and