Rendering errors in TPTP style.
Render the errors in a TPTP-friendly way.