Return-Path: Received: from kantti.helsinki.fi by xiron.pc.helsinki.fi with smtp (Linux Smail3.1.28.1 #1) id m0rY2vk-00007VC; Sat, 28 Jan 95 04:30 EET Received: from fiport.funet.fi (fiport.funet.fi [128.214.109.150]) by kantti.helsinki.fi (8.6.9/8.6.5) with ESMTP id EAA06896 for ; Sat, 28 Jan 1995 04:30:27 +0200 Received: from SEARN.SUNET.SE (MAILER@SEARN) by FIPORT.FUNET.FI (PMDF V4.3-13 #2494) id <01HMD3PL25K0000ETW@FIPORT.FUNET.FI>; Sat, 28 Jan 1995 02:25:55 +0200 (EET) Received: from SEARN.SUNET.SE (NJE origin LISTSERV@SEARN) by SEARN.SUNET.SE (LMail V1.2a/1.8a) with BSMTP id 0714; Sat, 28 Jan 1995 03:26:25 +0100 Date: Fri, 27 Jan 1995 21:14:27 -0500 (EST) From: jorge@PHYAST.PITT.EDU Subject: Re: replies re. ka & mamta be ma Sender: Lojban list To: Veijo Vilva Reply-to: jorge@PHYAST.PITT.EDU Message-id: <01HMD3PNABME000ETW@FIPORT.FUNET.FI> X-Envelope-to: veion@XIRON.PC.HELSINKI.FI Content-transfer-encoding: 7BIT X-To: lojban@cuvmb.cc.columbia.edu MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Content-Length: 673 Lines: 21 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