[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
TECH: PROPOSED GRAMMAR CHANGE 38: lambda via new selma'o CEhU
- To: email@example.com (Lojban List)
- Subject: TECH: PROPOSED GRAMMAR CHANGE 38: lambda via new selma'o CEhU
- Date: Mon, 27 Nov 1995 15:58:25 -0500 (EST)
There is currently no defined way to do lambda quantification.
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.
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
(This change involved renumbering selma'o CMENE, CO, COI, CU, CUhE.)
John Cowan firstname.lastname@example.org
e'osai ko sarji la lojban.