public bool ttEntails(KnowledgeBase kb, string alpha)
{
Sentence kbSentence = kb.asSentence();
Sentence querySentence = (Sentence) new PEParser().parse(alpha);
SymbolCollector collector = new SymbolCollector();
Hashtable kbSymbols= collector.getSymbolsIn(kbSentence);
Hashtable querySymbols= collector.getSymbolsIn(querySentence);
Hashtable symbols = new SetOps().union(kbSymbols,querySymbols);
ArrayList symbolList = new Converter().setToList(symbols);
return ttCheckAll(kbSentence, querySentence, symbolList, new Model());
}
public virtual Object visitBinarySentence(BinarySentence bs, Object arg)
{
Hashtable s =(Hashtable)arg;
Hashtable termunion = new SetOps().union((Hashtable)bs.getFirst().accept(this,arg),(Hashtable)bs.getSecond().accept(this,arg));
return new SetOps().union(s,termunion);
}