A Parser for the TPTP Input Syntax v6.4.0.11 taken from http://www.cs.miami.edu/~tptp/TPTP/SyntaxBNF.html

References

1

G. Sutcliffe et al.: The TPTP language grammar in BNF. http://www.cs.miami.edu/~tptp/TPTP/SyntaxBNF.html

Note: The implemented version is saved at TPTPDocumentsSyntaxBNF.html

Note: The names of the data types are aligned with the names of the grammar rules at this reference page (modulo case).