Êþº¾1v-aima/logic/propositional/algorithms/TTEntailsjava/lang/Object()VCode  LineNumberTableLocalVariableTablethis/Laima/logic/propositional/algorithms/TTEntails; ttEntailsH(Laima/logic/propositional/algorithms/KnowledgeBase;Ljava/lang/String;)Z1aima/logic/propositional/algorithms/KnowledgeBase asSentence1()Laima/logic/propositional/parsing/ast/Sentence;  )aima/logic/propositional/parsing/PEParser parse5(Ljava/lang/String;)Laima/logic/common/ParseTreeNode;  -aima/logic/propositional/parsing/ast/Sentence1aima/logic/propositional/visitors/SymbolCollector  getSymbolsIn@(Laima/logic/propositional/parsing/ast/Sentence;)Ljava/util/Set; "# $aima/util/SetOps& 'union/(Ljava/util/Set;Ljava/util/Set;)Ljava/util/Set; )* '+aima/util/Converter- . setToList!(Ljava/util/Set;)Ljava/util/List; 01 .2)aima/logic/propositional/algorithms/Model4 5 ttCheckAllœ(Laima/logic/propositional/parsing/ast/Sentence;Laima/logic/propositional/parsing/ast/Sentence;Ljava/util/List;Laima/logic/propositional/algorithms/Model;)Z 78 9kb3Laima/logic/propositional/algorithms/KnowledgeBase;alphaLjava/lang/String; kbSentence/Laima/logic/propositional/parsing/ast/Sentence; querySentence collector3Laima/logic/propositional/visitors/SymbolCollector; kbSymbolsLjava/util/Set; querySymbolssymbols symbolListLjava/util/List;LocalVariableTypeTable>Ljava/util/Set;?Ljava/util/List;java/util/ListMisEmpty()Z OP NQisTrue2(Laima/logic/propositional/parsing/ast/Sentence;)Z ST 5Uaima/util/UtilWfirst$(Ljava/util/List;)Ljava/lang/Object; YZ X[+aima/logic/propositional/parsing/ast/Symbol]rest"(Ljava/util/List;)Ljava/util/List; _` XagetValue()Ljava/lang/String; cd ^e(Ljava/lang/String;)V g ^hextend[(Laima/logic/propositional/parsing/ast/Symbol;Z)Laima/logic/propositional/algorithms/Model; jk 5lmodel+Laima/logic/propositional/algorithms/Model;symbol-Laima/logic/propositional/parsing/ast/Symbol; trueModel falseModel SourceFileTTEntails.java!/*· ±   . ^+¶N»Y·,¶À:» Y·!:-¶%:¶%:»'Y·(¶,:».Y·/¶3: *- »5Y·6¶:¬ "&/?M f ^ ^;<^=>Y?@IA@@BC&8DE//FE?GEMHI J*&8DK//FK?GKMHL 78 s-¹R™+¶V™ ,¶V¬¬-¸\À^À^:-¸b:»^Y¶f·i¶m:»^Y¶f·i¶m:*+,¶:™*+,¶:™¬¬ 6 $ %'*-'.-0A1O2P1U3c4r3 \ s s?@sA@sGIsno'Lpq-F_IA2roUsotu