org.openqed.parser.tptp

Classes  TptpHeader TptpIncludeStatement TptpParser TptpParserCommonTree TptpParserCommonTreeAdaptor TptpSentenceStatement TptpStatement