Symbol: SetPredicate