PredicateAll: unique symbol