Re: [engelang] Xorban Development

 

On Fri, Aug 24, 2012 at 8:11 PM, Jorge Llambías <jjllambias@hidden.email> wrote:
>
> We don't quite have a proper definition for "ju" though.
>
> ju bra cre <-> li smi je brafi crefi
>
> is fine, but it only deals with how ju works with two predicates. When
> joining two general formulas things get more complicated because -fi
> isn't directly attached to a formula. Every formula ends with a
> predicate though, so is it enough to say that the -fi provided by ju
> is attached to the final predicate of the formula? Is it just:
>
> ju "formula1" "formula2" <-> la sma je "formula1"-fa "formula2"-fa
>
> ? Probably not.

I think what we can do is define two predicates "brpakekiko..." and
"brdakekiko..." with as many arguments as each formula has free
variables, and then define:

ju "formula1" "formula2" <-> la sma je brpeki...fa brdoku...fa