AIMA.Core.Logic.Propositional.Algorithms.KnowledgeBase.asSentence C# (CSharp) Method

        public Sentence asSentence()
        {
            return LogicUtils.chainWith("AND", sentences);
        }

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