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