иерархия предикатов

Мат. predicate hierarchy