Return-Path: <@FINHUTC.HUT.FI:LOJBAN@CUVMB.BITNET> Received: from FINHUTC.hut.fi by xiron.pc.helsinki.fi with smtp (Linux Smail3.1.28.1 #1) id m0r7p9H-00006rC; Wed, 16 Nov 94 20:32 EET Message-Id: Received: from FINHUTC.HUT.FI by FINHUTC.hut.fi (IBM VM SMTP V2R2) with BSMTP id 3420; Wed, 16 Nov 94 20:32:14 EET Received: from SEARN.SUNET.SE (NJE origin MAILER@SEARN) by FINHUTC.HUT.FI (LMail V1.1d/1.7f) with BSMTP id 3417; Wed, 16 Nov 1994 20:32:14 +0200 Received: from SEARN.SUNET.SE (NJE origin LISTSERV@SEARN) by SEARN.SUNET.SE (LMail V1.2a/1.8a) with BSMTP id 6289; Wed, 16 Nov 1994 19:28:57 +0100 Date: Wed, 16 Nov 1994 13:16:50 -0500 Reply-To: Logical Language Group Sender: Lojban list From: Logical Language Group Subject: Re: PROPOSAL: Lambda Notation For Dummies (and & Rosta) & Lojban X-To: lojban@cuvmb.cc.columbia.edu To: Veijo Vilva In-Reply-To: <199411160649.AA10466@nfs2.digex.net> from "Chris Bogart" at Nov 15, 94 10:56:10 pm Content-Length: 1221 Lines: 35 mi pu cusku di'e > >This proposal involves creating an explicit "lambda quantifier", which would > >formally belong to selma'o PA but would be attached only to da-series KOhA > >or BY cmavo. Call it "xa'e" temporarily. Using it, Example 11 > >can be translated: > > > >15) le ka xa'eda mamta [zo'e] la kris. cusku di'e > Could this also replace "ke'a" in POI phrases? It seems so similar to ke'a > that there ought to be some way to combine them or at least make them > somehow parallel... > > *mi nelci da poi xa'eda mamta > "I like things which are mothers" You don't need "ke'a" in that situation, because "da" suffices: mi nelci da poi da mamta "ke'a" is most useful when the sumti being modified by the relative clause has no natural anaphora. > The differences between ke'a, -kau, and xa'e are interesting to think about; > they seem to do similar things in different contexts. I have to say they > almost seem like kluges, but I can't think of any way around using them. > ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Agreed. -- John Cowan sharing account for now e'osai ko sarji la lojban.