AIMA.Core.Logic.Propositional.Algorithms.TTEntails.ttEntails C# (CSharp) Method

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