[YG Conlang Archives] > [engelang group] > messages [Date Index] [Thread Index] >
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 mu'o mi'e xorxes