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); }