predicate * is linear in the set * if it can be expressed in the formt*(X) - 1 if and only if E a q)(X) a 0 / (pi* V where the "coefficients" a and the "threshold" G are real number.. The unanimity condition used in the previous section to define conjunctive localness can be expressed in this form… … Fig. 0.3
