Źžŗ¾1ŗaima/logic/fol/Rulejava/lang/Objectoriginal.Laima/logic/fol/parsing/ast/ConnectedSentence;clausesLjava/util/List; Signature)Ljava/util/List; conclusion&Laima/logic/fol/parsing/ast/Predicate;parser"Laima/logic/fol/parsing/FOLParser; variablesJ(Laima/logic/fol/parsing/ast/Sentence;Laima/logic/fol/parsing/FOLParser;)VCode()V  ,aima/logic/fol/parsing/ast/ConnectedSentence     aima/logic/fol/VariableCollector%(Laima/logic/fol/parsing/FOLParser;)V  getAllVariableNames7(Laima/logic/fol/parsing/ast/Sentence;)Ljava/util/List; !" #  %java/util/ArrayList' (  * getSecond'()Laima/logic/fol/parsing/ast/Sentence; ,- .$aima/logic/fol/parsing/ast/Predicate0 2breakIntoPredicates@(Laima/logic/fol/parsing/ast/ConnectedSentence;)Ljava/util/List; 45 6java/util/List8get(I)Ljava/lang/Object; :; 9<equals(Ljava/lang/Object;)Z >? 1@aima/logic/fol/ClauseBK(Laima/logic/fol/parsing/ast/Predicate;Laima/logic/fol/parsing/FOLParser;)V D CEadd G? 9Hsize()I JK 9LLineNumberTableLocalVariableTablethisLaima/logic/fol/Rule;sentence%Laima/logic/fol/parsing/ast/Sentence; predicatesiI predicateclauseLaima/logic/fol/Clause;!aima/logic/fol/PredicateCollectorZ [ getPredicates ]" [^ numClauses(I)Laima/logic/fol/Clause;(()Laima/logic/fol/parsing/ast/Predicate;initializeAllClauseDomainsFrom(Ljava/util/List;)Vaima/logic/fol/FactepopulateDomainsFrom(Laima/logic/fol/Fact;)V gh CifactscjfactLaima/logic/fol/Fact;clausesContaining$(Ljava/lang/String;)Ljava/util/List;iterator()Ljava/util/Iterator; rs 9tjava/util/Iteratorvnext()Ljava/lang/Object; xy wzcontains(Ljava/lang/String;)Z |} C~hasNext()Z € w‚variableLjava/lang/String;containingClausesLocalVariableTypeTable triggerablejava/lang/String‰&variableHasBindingsInContainingClauses ‹} Œ variableHasAtLeastOneCommonValue Ž}  occursCheckZatLeastOneCommonValue pq ”commonValuesInContainingClauses –q — valuesFor ™q CšisEmpty œ 9aima/util/ConverterŸ   listToSet!(Ljava/util/List;)Ljava/util/Set; ¢£  ¤aima/util/SetOps¦ § intersection/(Ljava/util/Set;Ljava/util/Set;)Ljava/util/Set; ©Ŗ §« setToList!(Ljava/util/Set;)Ljava/util/List; ­®  ÆvalueSetLjava/util/Set;set#Ljava/util/Set; hasValueFor µ} C¶ SourceFile Rule.java!    .Œ*·*+Ąµ*,µ*»Y,· +¶$µ&*»(Y·)µ+**“¶/Ą1µ3**“·7N6§:-¹=Ą1Ą1:*“3¶Aš»CY,·F:*“+¹IW„-¹M”’Į±NB"# $%&%!',(:)C*I+Y-e.q/}*‹4OHŒPQŒRSŒ CITFEUVY$W q XY45@ »[Y·\+¶_°N7O PQ R`K4 *“+¹M¬N;O  PQXaB*“+¹=ĄC°N?OPQUV b/*“3°NCO PQcdĘN=§>*“+¹=ĄCN6§+¹=ĄfĄf:-¶j„+¹M”’߄*“+¹M”’»±N"GHIJ)K/I=GMOO>NPQNkKUV*lY'mV)nopq«=»(Y·)M*“+¹u:§¹{ĄCN-+¶™ ,-¹IW¹ƒš’Ž,°NRT!U)V1T;YO*=PQ=„…5†!lY‡ 5† ˆ®@<§/*“&¹=ĄŠĄŠM*,·>*,·6š š¬„*“&¹M”’Ź¬N"^_`a#b,c.^>fO4@PQ<UV„…‘’# “’Ž}[*+¶•M*+¶˜¹Mš§¬N jkO PQ„…†–q.|M*+¶•N6§N-¹=ĄCĄC:+¶›¹žš-» Y·”+¶›¶„:,Ē M§»§Y·Ø,¶¬M„-¹M”’­,Ē »(Y·)°» Y·”,¶°°N6 opqrs,t>uBvHxVqd|h}pOH|PQ|„…z±²t† YUV8XY>³²‡z±“>³“‹}ž4*+¶•M>§ ,¹=ĄCĄC:+¶·š¬„,¹M”’ܬN†‡ ˆ‰#Š%‡2O44PQ4„….†*UV XYø¹