Received: from uga.cc.uga.edu by nfs1.digex.net with SMTP id AA22114 (5.67b8/IDA-1.5 for ); Fri, 27 Jan 1995 21:13:38 -0500 Message-Id: <199501280213.AA22114@nfs1.digex.net> Received: from UGA.CC.UGA.EDU by uga.cc.uga.edu (IBM VM SMTP V2R2) with BSMTP id 1903; Fri, 27 Jan 95 21:13:28 EST Received: from UGA.CC.UGA.EDU (NJE origin LISTSERV@UGA) by UGA.CC.UGA.EDU (LMail V1.2a/1.8a) with BSMTP id 7566; Fri, 27 Jan 1995 21:13:08 -0500 Date: Fri, 27 Jan 1995 21:14:27 EST Reply-To: jorge@PHYAST.PITT.EDU Sender: Lojban list From: jorge@PHYAST.PITT.EDU Subject: Re: replies re. ka & mamta be ma X-To: lojban@cuvmb.cc.columbia.edu To: Bob LeChevalier Status: RO X-From-Space-Date: Fri Jan 27 22:00:12 1995 X-From-Space-Address: LOJBAN%CUVMB.BITNET@uga.cc.uga.edu I forgot this one: And: > Can we say {lo ka keha mamta keha} to mean "the mother relation", > "the function from mothers to offspring"? If we can, I start to > see a strong case for it. I guess you can, but where would you use it? (And why would it be the function from mothers to offpring and not from offspring to mothers?) The lambda variable is at its most useful in predicates where one sumti (say sumti3) is a function and the claim is about some comparison of the function eveluated at sumti1 and at sumti2. (I'm thinking of frica, zmadu, mleca, simsa, dunli.) I can't think of any predicate that requires a two-argument function as one of its arguments. Jorge