add and-predicate