From cbmvax!uunet!CUVMA.BITNET!LOJBAN Wed Feb 5 14:34:48 1992 Return-Path: Received: by snark.thyrsus.com (/\==/\ Smail3.1.21.1 #21.19) id ; Wed, 5 Feb 92 14:34 EST Received: by cbmvax.cbm.commodore.com (5.57/UUCP-Project/Commodore 2/8/91) id AA28901; Wed, 5 Feb 92 14:28:59 EST Received: from cunixf.cc.columbia.edu by relay1.UU.NET with SMTP (5.61/UUNET-internet-primary) id AA05308; Wed, 5 Feb 92 14:21:04 -0500 Received: from cuvmb.cc.columbia.edu by cunixf.cc.columbia.edu (5.59/FCB) id AA11625; Wed, 5 Feb 92 14:20:36 EST Message-Id: <9202051920.AA11625@cunixf.cc.columbia.edu> Received: from CUVMB.COLUMBIA.EDU by CUVMB.COLUMBIA.EDU (IBM VM SMTP R1.2.1) with BSMTP id 2538; Wed, 05 Feb 92 14:19:08 EST Received: by CUVMB (Mailer R2.07) id 4356; Wed, 05 Feb 92 14:17:30 EST Date: Wed, 5 Feb 1992 11:19:26 EST Reply-To: John Cowan Sender: Lojban list From: John Cowan Subject: Re: your mail X-To: Lojban List To: John Cowan , Eric Raymond , Eric Tiedemann In-Reply-To: <9202041933.AA10971@cunixf.cc.columbia.edu>; from "David Cortesi" at Feb 4, 92 9:14 am Status: RO la deiv. kortesis. cusku di'e > >"du" will be added to the [gismu] list as a result of being > > assigned the rafsi "dub" and "du'o" > > There already exists gismu dunli "equals" with rafsi dun and du'i, > so there are now four rafsi that can be used to say "equals" in a > lujvo. This strikes me as excessive. It is not clear to me that > (a) the distinction between "du" and "dunli" is clear/important > enough to be made in lujvo (b) assuming the distinction is > clear in isolation, that a lujvo allows that kind of precision > anyway. Compare "dubvamji" to "dunvamji" ... This was introduced for the purposes of MEX. "dunli" has an x3 place specifying the kind of equality that is meant: it handles cases like "is equivalent to", "is (geometrically) congruent to", "is isomorphic to", and "is (geometrically) similar to" by making appropriate lujvo to fill in this x3 place. "du" on the other hand is strict identity, with exactly two places. Its lujvo are things like "greater than or equal to" and the like. -- cowan@snark.thyrsus.com ...!uunet!cbmvax!snark!cowan e'osai ko sarji la lojban