check all predicates