WikiDiscuss

WikiDiscuss


Wiki page BPFK Section: gismu Issues changed

posts: 14214

On Fri, Aug 13, 2004 at 02:29:51PM -0700, Jorge Llamb?as wrote:
>
> Robin:
> > More: jbini, bende (not kidding; read the notes), traji (the broken
> > x4 place).
>
> {jbini} already allows for non-sets though.

It's unclear.

jbini bin bi'i between
x1 is between/among set of points/bounds/limits x2
(set)/amidst mass x2 in property x3 (ka)

x2 (a complete set, generally ordered) defines the
bounds/limits/range for x1
;

The word "mass" is in there, but then it says "complete set".

> > 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.

I don't see the clarity you're seeing.

> > 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.

I mean set subtraction. Assuming X - Y == X ku'a !Y, then yeah, that
works.

-Robin