A cumulative hierarchy of predicates