Add predicate functions to README