tptp (cargo): Parse the TPTP format
Keywords: tptp|parser