let predicate = pp_pred term