From lojban@cuvmb.bitnet Tue Mar 12 00:05:30 1996
Received: from punt4.demon.co.uk by stryx.demon.co.uk with SMTP
	id AA10787 ; Tue, 12 Mar 96 00:05:29 GMT
Received: from punt-4.mail.demon.net by mailstore for ia@stryx.demon.co.uk
          id 826570481:04431:1; Mon, 11 Mar 96 18:54:41 GMT
Received: from cunyvm.cuny.edu ([128.228.1.2]) by punt-4.mail.demon.net
          id aa03449; 11 Mar 96 18:53 GMT
Received: from CUVMB.CC.COLUMBIA.EDU by CUNYVM.CUNY.EDU (IBM VM SMTP V2R3)
   with BSMTP id 6817; Mon, 11 Mar 96 13:53:06 EST
Received: from CUVMB.COLUMBIA.EDU by CUVMB.CC.COLUMBIA.EDU (Mailer R2.07) with
 BSMTP id 1024; Mon, 11 Mar 96 13:53:32 EDT
Date:         Mon, 11 Mar 1996 15:59:09 -0300
Reply-To:     "Jorge J. Llambias" <jorge@INTERMEDIA.COM.AR>
Sender:       Lojban list <LOJBAN%CUVMB.bitnet@CUNYVM.CUNY.EDU>
From:         "Jorge J. Llambias" <jorge@INTERMEDIA.COM.AR>
Subject:      Re: intensional sets of bridi
X-To:         lojban@cuvmb.cc.columbia.edu
To:           Multiple recipients of list LOJBAN <LOJBAN%CUVMB.bitnet@CUNYVM.CUNY.EDU>
Message-ID: <826570432.3449.0@cunyvm.cuny.edu>
Status: R


And:
>How would one say in lojban "the set of propositions of the form
>x is broda"?

I think I would say: {lo'i du'u ke'a/ce'u broda}

>{lo,i duu da broda} won't do, because that means
>the set of propositions of the form Ex x is broda.

A singleton, right?

>What one needs
>is a way to cancel the default interpretation of {da} as {suo da}.

I prefer not to tamper with that. {da} is the bound variable, why
use it for the function of unbound variables?

>How? Could we have cmavo (in UI) to toggle between default
>interpretations?

I thought you were against the use of UI for such things.

Jorge