model output for tptp also in pretty-printer