Using the TPTP Language for Writing Derivations and Finite Interpretations