added some documentation to the TPTP parsing object
added some documentation to the TPTP parsing object

leoprover/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,lex-lex/Leo-III,lex-lex/Leo-III,leoprover/Leo-III