added small test of thf parser. It seems as if the syntax BNF of TPTP is not correctly set up for the subtyping of dollarwords
added small test of thf parser. It seems as if the syntax BNF of TPTP is not correctly set up for the subtyping of dollarwords

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