Verify that problems and axioms from TPTP 6.1.0 can be parsed