Re: intensional sets of bridi

["Jorge J. Llambias" <jorge@INTERMEDIA.COM.AR>]

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