WikiDiscuss

Robin:
> More: jbini, bende (not kidding; read the notes), traji (the broken x4
> place).

{jbini} already allows for non-sets though. I missed {bende} because the
restriction is not in the definition field. I don't know why I missed
{traji}.

> Note, interestingly, that girzu has a set-required place, but gunma does
> not.

I am happy with {gunma} now. x1 is the reified group, a single thing,
and x2 are the individuals as individuals, many things, a non-distributive
place. I couldn't make any sense of the place structure before
understanding plurals a la McKay.

> So it's not even consistent, that I can see. Amazingly, cmima is
> actually *unclear* as to whether the second argument must be a set.

{cmima} clearly says it's not only for sets. The difference between
{cmima} and {se gunma} is that x1 is distributive in {cmima} (each
member) and non-distributive in {se gunma} (all members together).

> Note that, unlike xorxes, I *love* sets,

I have nothing against lo cmaci selcmi.

> and I love that Lojban has them
> as a primitive type

I don't like that.

> (although we're missing an operator).

You can use {ku'a gi ... ginai ...} for it, if it's the one
I think you mean.

mu'o mi'e xorxes

__
Do you Yahoo!?
Yahoo! Mail Address AutoComplete - You start. We finish.
http://promotions.yahoo.com/new_mail