variable predicate

Мат. переменный предикат