Updated predicate documentation