Update predicate documentation.