Sure, based on predicate knowledge.