predicate set work