TECH: PROPOSED GRAMMAR CHANGE 38: lambda via new selma'o CEhU

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.