предикатная переменная

Predicate variable