Multigrade predicate