From lojban@cuvmb.bitnet Tue Mar 12 00:04:44 1996 Received: from punt4.demon.co.uk by stryx.demon.co.uk with SMTP id AA10777 ; Tue, 12 Mar 96 00:04:42 GMT Received: from punt-4.mail.demon.net by mailstore for ia@stryx.demon.co.uk id 826508982:02242:0; Mon, 11 Mar 96 01:49:42 GMT Received: from cunyvm.cuny.edu ([128.228.1.2]) by punt-4.mail.demon.net id aa01965; 11 Mar 96 1:48 GMT Received: from CUVMB.CC.COLUMBIA.EDU by CUNYVM.CUNY.EDU (IBM VM SMTP V2R3) with BSMTP id 4065; Sun, 10 Mar 96 20:48:20 EST Received: from CUVMB.COLUMBIA.EDU by CUVMB.CC.COLUMBIA.EDU (Mailer R2.07) with BSMTP id 7204; Sun, 10 Mar 96 20:48:44 EDT Date: Sun, 10 Mar 1996 20:44:34 -0500 Reply-To: John Cowan Sender: Lojban list From: John Cowan Subject: TECH: PROPOSED GRAMMAR CHANGE 2$i X-To: lojban@cuvmb.cc.columbia.edu To: Multiple recipients of list LOJBAN Message-ID: <826508929.1965.0@cunyvm.cuny.edu> Status: R 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.