From cowan Sun Mar 10 20:44:34 1996
Subject: TECH: PROPOSED GRAMMAR CHANGE 2$i
From: John Cowan <cowan@ccil.org>
To: lojban@cuvmb.cc.columbia.edu
Date: Sun, 10 Mar 1996 20:44:34 -0500 (EST)
X-Mailer: ELM [version 2.4 PL24]
Content-Type: text
X-Mozilla-Status: 0001
Content-Length:  1163
Message-ID: <hd25d6IBBXK.A.2rG.7v0kLB@chain.digitalkingdom.org>


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.