Return-Path: Received: from SEGATE.SUNET.SE by xiron.pc.helsinki.fi with smtp (Linux Smail3.1.28.1 #1) id m0tKAUo-0000ZUC; Mon, 27 Nov 95 22:49 EET Message-Id: Received: from listmail.sunet.se by SEGATE.SUNET.SE (LSMTP for OpenVMS v1.0a) with SMTP id BD3B974E ; Mon, 27 Nov 1995 21:49:49 +0100 Date: Mon, 27 Nov 1995 15:58:25 -0500 Reply-To: John Cowan Sender: Lojban list From: John Cowan Subject: TECH: PROPOSED GRAMMAR CHANGE 38: lambda via new selma'o CEhU X-To: Lojban List To: Veijo Vilva Content-Length: 789 Lines: 26 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.