Jukebox.TPTP.Print

prettyShow

showClauses

pPrintClauses

showProblem

pPrintProblem