public bool ttEntails(KnowledgeBase kb, String alpha)
{
Sentence kbSentence = kb.asSentence();
Sentence querySentence = (Sentence)new PEParser().parse(alpha);
SymbolCollector collector = new SymbolCollector();
List<Symbol> kbSymbols = collector.getSymbolsIn(kbSentence);
List<Symbol> querySymbols = collector.getSymbolsIn(querySentence);
List<Symbol> symbols = SetOps.union(kbSymbols, querySymbols);
List<Symbol> symbolList = symbols;
return ttCheckAll(kbSentence, querySentence, symbolList, new Model());
}