Support inverse predicates