From jcowan@reutershealth.com Fri Nov 14 15:03:32 2003 Return-Path: X-Sender: jcowan@reutershealth.com X-Apparently-To: lojban@yahoogroups.com Received: (qmail 81081 invoked from network); 14 Nov 2003 23:03:25 -0000 Received: from unknown (66.218.66.167) by m1.grp.scd.yahoo.com with QMQP; 14 Nov 2003 23:03:25 -0000 Received: from unknown (HELO mail.reutershealth.com) (65.246.141.36) by mta6.grp.scd.yahoo.com with SMTP; 14 Nov 2003 23:03:24 -0000 Received: from skunk.reutershealth.com (mail [65.246.141.36]) by mail.reutershealth.com (Pro-8.9.3/Pro-8.9.3) with SMTP id RAA20893; Fri, 14 Nov 2003 17:58:19 -0500 (EST) Received: by skunk.reutershealth.com (sSMTP sendmail emulation); Fri, 14 Nov 2003 18:03:20 -0500 Date: Fri, 14 Nov 2003 18:03:20 -0500 To: Jorge =?utf-8?Q?Llamb=EDas?= Cc: lojban@yahoogroups.com Subject: Re: [lojban] Re: COI, UI (was Re: cfari) Message-ID: <20031114230320.GS5394@skunk.reutershealth.com> References: <20031114222722.GO5394@skunk.reutershealth.com> <20031114225436.57966.qmail@web41902.mail.yahoo.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable In-Reply-To: <20031114225436.57966.qmail@web41902.mail.yahoo.com> User-Agent: Mutt/1.4.1i From: "John Cowan" X-Originating-IP: 65.246.141.36 X-Yahoo-Group-Post: member; u=8122456 X-Yahoo-Message-Num: 21186 Jorge Llamb=EF=BF=BD=EF=BF=BD=1B)B=EF=BF=BDas scripsit: > > The x1 of fancu is the abstract function, whereas x4 is the lambda-expr= esion > > (or equivalent) that specifies it. >=20 > Shouldn't those two be interreplaceable? No. x1 and x4 are analogous to li and me'o. > What other gismu places > are like the x1 of fancu and what other places are like the x4? x1 and x2 of girzu respectively, except that x4 is a text, not a property. > Or are they sui generis? Is the x2 of sumti like the x1 of fancu, > like the x4, or something else? x2 of sumti is like the x1 of fancu. --=20 Only do what only you can do. John Cowan --Edsger W. Dijkstra, http://www.reutershealth.com deceased 6 August 2002 http://www.ccil.org/~cowan