The start symbol S has only one argument, which is synthesized-that is, rk N (S) = s-rk(S) = 1 and i-rk(S) = 0.
a rule is of the form: where The set of variables occurring in the lists x every variable from X m occurs exactly once in all these lists together.