updated TPTP parser to conform to version 5.5.0 (but excluding the TPI language since its parser spec is still incomplete);