[YG Conlang Archives] > [engelang group] > messages [Date Index] [Thread Index] >

[Date Prev] [Date Next] [Thread Prev] [Thread Next]

Re: [engelang] Xorban multivar bindings; "complements"

On Tue, Aug 28, 2012 at 10:59 PM, Mike S. <maikxlx@gmail.com> wrote:
>
> formula := simple-formula | complement formula
> complement := unary-operator | binary-operator formula
> binary-operator := BV
> unary-operator := NV
> simple-formula := CCC+args
>
> I would change "predicate" to "simple-formula" in these rules.  The actual
> predicate is the CCC* without the args.

OK, sounds good.

mu'o mi'e xorxes