Working with the XML forms of TPTP problems