Sorry, No manual entry for wrap_predicate/4