Predicate identification