Problems, Derivations, and Interpretations

TPTP problems, derivations, and interpretations are all written in the same language, as lists of annotated formulae.