From cowan  Sat Mar  6 22:57:47 2010
Subject: TECH: PROPOSED GRAMMAR CHANGE 38: lambda via new selma'o CEhU
To: lojban@cuvmb.cc.columbia.edu (Lojban List)
From: cowan
Date: Mon, 27 Nov 1995 15:58:25 -0500 (EST)
X-Mailer: ELM [version 2.4 PL24]
Content-Type: text
Content-Length:        743
Status: OR
X-From-Space-Date: Mon Nov 27 15:58:25 1995
X-From-Space-Address: cowan
Message-ID: <7ggFonzbTF.A.KsB.r50kLB@chain.digitalkingdom.org>

CHANGE 38

PRESENT LANGUAGE:

There is currently no defined way to do lambda quantification.

PROPOSED CHANGE:

Add "ce'u" of the new selma'o CEhU.  This is a new kind of quantifier_300,
parallel to number-strings and parenthesized mathematical expressions.

RATIONALE:

Lambda quantification is needed to specify which place(s) of a "ka"
abstraction are being abstracted over.

In early versions of this change, "ce'u" was a PA digit, which would not
require a grammatical change, but would allow lots of new kinds of
garbage.  Now "ce'u" is limited to quantifying sumti and forming indefinite
descriptions.

(This change involved renumbering selma'o CMENE, CO, COI, CU, CUhE.)

-- 
John Cowan					cowan@ccil.org
		e'osai ko sarji la lojban.