Multigrade predicate

Summary