Generation for predicates.