From lojban@cuvmb.bitnet Fri Mar 08 23:50:34 1996
Received: from punt4.demon.co.uk by stryx.demon.co.uk with SMTP
	id AA10744 ; Fri, 08 Mar 96 23:50:33 GMT
Received: from punt-4.mail.demon.net by mailstore for ia@stryx.demon.co.uk
          id 826318278:09569:1; Fri, 08 Mar 96 20:51:18 GMT
Received: from cunyvm.cuny.edu ([128.228.1.2]) by punt-4.mail.demon.net
          id aa09090; 8 Mar 96 20:50 GMT
Received: from CUVMB.CC.COLUMBIA.EDU by CUNYVM.CUNY.EDU (IBM VM SMTP V2R3)
   with BSMTP id 8165; Fri, 08 Mar 96 15:50:30 EST
Received: from CUVMB.COLUMBIA.EDU by CUVMB.CC.COLUMBIA.EDU (Mailer R2.07) with
 BSMTP id 0300; Fri, 08 Mar 96 15:50:55 EDT
Date:         Fri, 8 Mar 1996 20:35:56 +0000
Reply-To:     ucleaar <ucleaar@UCL.AC.UK>
Sender:       Lojban list <LOJBAN%CUVMB.bitnet@CUNYVM.CUNY.EDU>
From:         ucleaar <ucleaar@UCL.AC.UK>
Subject:      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: <826318242.9090.0@cunyvm.cuny.edu>
Status: R


How would one say in lojban "the set of propositions of the form
x is broda"? {lo,i duu da broda} won't do, because that means
the set of propositions of the form Ex x is broda. What one needs
is a way to cancel the default interpretation of {da} as {suo da}.
How? Could we have cmavo (in UI) to toggle between default
interpretations?
i coo; mie and