From @YaleVM.YCC.YALE.EDU:LOJBAN@CUVMB.BITNET Mon Mar  1 18:57:50 1993
Received: from YALEVM.YCC.YALE.EDU by MINERVA.CIS.YALE.EDU via SMTP; Mon, 1 Mar 1993 18:57:48 -0500
Received: from CUVMB.CC.COLUMBIA.EDU by YaleVM.YCC.Yale.Edu (IBM VM SMTP V2R2)
   with BSMTP id 0184; Mon, 01 Mar 93 18:54:09 EST
Received: from CUVMB.BITNET by CUVMB.CC.COLUMBIA.EDU (Mailer R2.07) with BSMTP
 id 8718; Mon, 01 Mar 93 19:00:00 EST
Date:         Tue, 2 Mar 1993 10:55:10 +1100
Reply-To: Nick Nicholas <nsn@MULLIAN.EE.MU.OZ.AU>
Sender: Lojban list <LOJBAN%CUVMB.bitnet@YaleVM.YCC.YALE.EDU>
From: Nick Nicholas <nsn@MULLIAN.EE.MU.OZ.AU>
Subject:      Re: TECH: Properties: what do they mean?
X-To:         cowan@SNARK.THYRSUS.COM
X-Cc:         lojban@cuvmb.cc.columbia.edu
To: Erik Rauch <erikr@MINERVA.CIS.YALE.EDU>
In-Reply-To:  <no.id> from "John Cowan" at Mar 1, 93 05:54:56 pm
Status: O
Message-ID: <pNnvPlMqsF.A.zBB.c30kLB@chain.digitalkingdom.org>

This doesn't answer all of John's questions; but as far as the ellipsised
place in a {ka} abstraction, which he interprets as a (lambda x) situation,
is concerned: I think the same (lambda x) pops up with bridi like {djuno}
and {krici}, where we denote the bound variable by using {kau}. Will it
do to translate

John loves me more than George does

as

la djan. zmadu la djordj. leni dakau prami mi /
la djan. zmadu la djordj. lenu mi se prami dakau ?

Nick.