let
predicate = pp_pred term