More additions to the TPTP parser