TECH: PROPOSED GRAMMAR CHANGE 2$i

CHANGE 38: ANNULLED

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.)

OBJECTION:

It is sufficient to make "ce'u" a KOhA, somewhat analogous to "ke'a",
the KOhA used within relative clauses.  Both of these work only in
restricted contexts.  "ce'u broda" becomes "ce'u poi broda" without
change in meaning.

Jorge and And argued for overloading "ke'a" in both senses, but Lojban
Central finds that too confusing.

RESOLUTION:

No grammar change: "ce'u" is a KOhA.  The renumbering of selma'o stands.