Commit 09858359 authored by André Pacak's avatar André Pacak
Browse files

generate rules for context projection based on instances that use context

parent 35496da6
......@@ -416,219 +416,224 @@
<property role="3SKdUp" value="PRECONDITION: every input of computation in premise is output of computation of previous premise or input of conclusion" />
</node>
</node>
<node concept="Jncv_" id="2groWwYky0F" role="3cqZAp">
<ref role="JncvD" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
<node concept="37vLTw" id="2groWwYkzVt" role="JncvB">
<ref role="3cqZAo" node="2groWwY4ntU" resolve="criteria" />
</node>
<node concept="3clFbS" id="2groWwYky0J" role="Jncv$">
<node concept="3cpWs8" id="2groWwY9dhs" role="3cqZAp">
<node concept="3cpWsn" id="2groWwY9dht" role="3cpWs9">
<property role="TrG5h" value="collected" />
<node concept="2ShNRf" id="2groWwY9dhw" role="33vP2m">
<node concept="2T8Vx0" id="3DmllL5pQPa" role="2ShVmc">
<node concept="2I9FWS" id="3DmllL5pQPc" role="2T96Bj">
<ref role="2I9WkF" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
</node>
</node>
</node>
<node concept="2I9FWS" id="3DmllL5pMsh" role="1tU5fm">
<node concept="3cpWs8" id="2groWwY9dhs" role="3cqZAp">
<node concept="3cpWsn" id="2groWwY9dht" role="3cpWs9">
<property role="TrG5h" value="collected" />
<node concept="2ShNRf" id="2groWwY9dhw" role="33vP2m">
<node concept="2T8Vx0" id="3DmllL5pQPa" role="2ShVmc">
<node concept="2I9FWS" id="3DmllL5pQPc" role="2T96Bj">
<ref role="2I9WkF" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
</node>
</node>
</node>
<node concept="3cpWs8" id="3l1hjk$17fH" role="3cqZAp">
<node concept="3cpWsn" id="3l1hjk$17fI" role="3cpWs9">
<property role="TrG5h" value="variables" />
<node concept="3uibUv" id="3l1hjk$17fF" role="1tU5fm">
<ref role="3uigEE" to="33ny:~List" resolve="List" />
<node concept="3Tqbb2" id="3l1hjk$18nt" role="11_B2D">
<ref role="ehGHo" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
</node>
</node>
<node concept="2ShNRf" id="3l1hjk$18sw" role="33vP2m">
<node concept="1pGfFk" id="3l1hjk$18Wh" role="2ShVmc">
<ref role="37wK5l" to="33ny:~LinkedList.&lt;init&gt;()" resolve="LinkedList" />
<node concept="3Tqbb2" id="3l1hjk$19gn" role="1pMfVU">
<ref role="ehGHo" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
</node>
</node>
</node>
<node concept="2I9FWS" id="3DmllL5pMsh" role="1tU5fm">
<ref role="2I9WkF" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
</node>
</node>
</node>
<node concept="3cpWs8" id="3l1hjk$17fH" role="3cqZAp">
<node concept="3cpWsn" id="3l1hjk$17fI" role="3cpWs9">
<property role="TrG5h" value="variables" />
<node concept="3uibUv" id="3l1hjk$17fF" role="1tU5fm">
<ref role="3uigEE" to="33ny:~List" resolve="List" />
<node concept="3Tqbb2" id="3l1hjk$18nt" role="11_B2D">
<ref role="ehGHo" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
</node>
</node>
<node concept="3clFbF" id="3l1hjkzY3Wh" role="3cqZAp">
<node concept="2OqwBi" id="3l1hjkzY5iZ" role="3clFbG">
<node concept="37vLTw" id="3l1hjk$2yW0" role="2Oq$k0">
<ref role="3cqZAo" node="3l1hjk$17fI" resolve="variables" />
</node>
<node concept="liA8E" id="3l1hjkzY5QH" role="2OqNvi">
<ref role="37wK5l" to="33ny:~List.add(java.lang.Object):boolean" resolve="add" />
<node concept="Jnkvi" id="3l1hjkzY6bD" role="37wK5m">
<ref role="1M0zk5" node="2groWwYky0L" resolve="criteriavar" />
</node>
<node concept="2ShNRf" id="3l1hjk$18sw" role="33vP2m">
<node concept="1pGfFk" id="3l1hjk$18Wh" role="2ShVmc">
<ref role="37wK5l" to="33ny:~LinkedList.&lt;init&gt;()" resolve="LinkedList" />
<node concept="3Tqbb2" id="3l1hjk$19gn" role="1pMfVU">
<ref role="ehGHo" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
</node>
</node>
</node>
<node concept="2Gpval" id="2groWwY9tre" role="3cqZAp">
<node concept="2GrKxI" id="2groWwY9trg" role="2Gsz3X">
<property role="TrG5h" value="premise" />
</node>
<node concept="2OqwBi" id="2groWwY9xo_" role="2GsD0m">
<node concept="37vLTw" id="2groWwY9uqh" role="2Oq$k0">
<ref role="3cqZAo" node="2groWwY4mJR" resolve="premises" />
</node>
</node>
<node concept="1DcWWT" id="4RJJauctt2B" role="3cqZAp">
<node concept="3clFbS" id="4RJJauctt2D" role="2LFqv$">
<node concept="Jncv_" id="4RJJauct$Z7" role="3cqZAp">
<ref role="JncvD" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
<node concept="37vLTw" id="4RJJauct_3w" role="JncvB">
<ref role="3cqZAo" node="4RJJauctt2E" resolve="criteria" />
</node>
<node concept="3clFbS" id="4RJJauct$Zb" role="Jncv$">
<node concept="3clFbF" id="3l1hjkzY3Wh" role="3cqZAp">
<node concept="2OqwBi" id="3l1hjkzY5iZ" role="3clFbG">
<node concept="37vLTw" id="3l1hjk$2yW0" role="2Oq$k0">
<ref role="3cqZAo" node="3l1hjk$17fI" resolve="variables" />
</node>
<node concept="liA8E" id="3l1hjkzY5QH" role="2OqNvi">
<ref role="37wK5l" to="33ny:~List.add(java.lang.Object):boolean" resolve="add" />
<node concept="Jnkvi" id="3l1hjkzY6bD" role="37wK5m">
<ref role="1M0zk5" node="4RJJauct$Zd" resolve="criteriavar" />
</node>
</node>
</node>
</node>
<node concept="35Qw8J" id="2groWwY9zID" role="2OqNvi" />
</node>
<node concept="3clFbS" id="2groWwY9trk" role="2LFqv$">
<node concept="Jncv_" id="2groWwY9_CM" role="3cqZAp">
<ref role="JncvD" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
<node concept="2GrUjf" id="2groWwY9A6N" role="JncvB">
<ref role="2Gs0qQ" node="2groWwY9trg" resolve="premise" />
<node concept="JncvC" id="4RJJauct$Zd" role="JncvA">
<property role="TrG5h" value="criteriavar" />
<node concept="2jxLKc" id="4RJJauct$Ze" role="1tU5fm" />
</node>
</node>
</node>
<node concept="3cpWsn" id="4RJJauctt2E" role="1Duv9x">
<property role="TrG5h" value="criteria" />
<node concept="3Tqbb2" id="4RJJauctx9F" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
</node>
</node>
<node concept="37vLTw" id="4RJJauctxzU" role="1DdaDG">
<ref role="3cqZAo" node="4RJJaucth3p" resolve="criterias" />
</node>
</node>
<node concept="2Gpval" id="2groWwY9tre" role="3cqZAp">
<node concept="2GrKxI" id="2groWwY9trg" role="2Gsz3X">
<property role="TrG5h" value="premise" />
</node>
<node concept="2OqwBi" id="2groWwY9xo_" role="2GsD0m">
<node concept="37vLTw" id="2groWwY9uqh" role="2Oq$k0">
<ref role="3cqZAo" node="2groWwY4mJR" resolve="premises" />
</node>
<node concept="35Qw8J" id="2groWwY9zID" role="2OqNvi" />
</node>
<node concept="3clFbS" id="2groWwY9trk" role="2LFqv$">
<node concept="Jncv_" id="2groWwY9_CM" role="3cqZAp">
<ref role="JncvD" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
<node concept="2GrUjf" id="2groWwY9A6N" role="JncvB">
<ref role="2Gs0qQ" node="2groWwY9trg" resolve="premise" />
</node>
<node concept="3clFbS" id="2groWwY9_CQ" role="Jncv$">
<node concept="3cpWs8" id="3l1hjk$3KOT" role="3cqZAp">
<node concept="3cpWsn" id="3l1hjkzXzL9" role="3cpWs9">
<property role="TrG5h" value="variablesListIterator" />
<node concept="3uibUv" id="3l1hjkzXzKK" role="1tU5fm">
<ref role="3uigEE" to="33ny:~ListIterator" resolve="ListIterator" />
<node concept="3Tqbb2" id="3l1hjkzXzKN" role="11_B2D">
<ref role="ehGHo" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
</node>
</node>
<node concept="2OqwBi" id="3l1hjkzXzLa" role="33vP2m">
<node concept="37vLTw" id="3l1hjk$19x3" role="2Oq$k0">
<ref role="3cqZAo" node="3l1hjk$17fI" resolve="variables" />
</node>
<node concept="liA8E" id="3l1hjkzXzLc" role="2OqNvi">
<ref role="37wK5l" to="33ny:~List.listIterator():java.util.ListIterator" resolve="listIterator" />
</node>
</node>
</node>
<node concept="3clFbS" id="2groWwY9_CQ" role="Jncv$">
<node concept="3cpWs8" id="3l1hjk$3KOT" role="3cqZAp">
<node concept="3cpWsn" id="3l1hjkzXzL9" role="3cpWs9">
<property role="TrG5h" value="variablesListIterator" />
<node concept="3uibUv" id="3l1hjkzXzKK" role="1tU5fm">
<ref role="3uigEE" to="33ny:~ListIterator" resolve="ListIterator" />
<node concept="3Tqbb2" id="3l1hjkzXzKN" role="11_B2D">
<ref role="ehGHo" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
</node>
</node>
<node concept="2$JKZl" id="3l1hjkzXpAl" role="3cqZAp">
<node concept="3clFbS" id="3l1hjkzXpAn" role="2LFqv$">
<node concept="3cpWs8" id="3l1hjkzYbzJ" role="3cqZAp">
<node concept="3cpWsn" id="3l1hjkzYbzK" role="3cpWs9">
<property role="TrG5h" value="var" />
<node concept="3Tqbb2" id="3l1hjkzYbzh" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
</node>
<node concept="2OqwBi" id="3l1hjkzXzLa" role="33vP2m">
<node concept="37vLTw" id="3l1hjk$19x3" role="2Oq$k0">
<ref role="3cqZAo" node="3l1hjk$17fI" resolve="variables" />
<node concept="2OqwBi" id="3l1hjkzYbzL" role="33vP2m">
<node concept="37vLTw" id="3l1hjkzYbzM" role="2Oq$k0">
<ref role="3cqZAo" node="3l1hjkzXzL9" resolve="variablesListIterator" />
</node>
<node concept="liA8E" id="3l1hjkzXzLc" role="2OqNvi">
<ref role="37wK5l" to="33ny:~List.listIterator():java.util.ListIterator" resolve="listIterator" />
<node concept="liA8E" id="3l1hjkzYbzN" role="2OqNvi">
<ref role="37wK5l" to="33ny:~ListIterator.next():java.lang.Object" resolve="next" />
</node>
</node>
</node>
</node>
<node concept="2$JKZl" id="3l1hjkzXpAl" role="3cqZAp">
<node concept="3clFbS" id="3l1hjkzXpAn" role="2LFqv$">
<node concept="3cpWs8" id="3l1hjkzYbzJ" role="3cqZAp">
<node concept="3cpWsn" id="3l1hjkzYbzK" role="3cpWs9">
<property role="TrG5h" value="var" />
<node concept="3Tqbb2" id="3l1hjkzYbzh" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
<node concept="3clFbJ" id="2groWwY9K3n" role="3cqZAp">
<node concept="3clFbS" id="2groWwY9K3p" role="3clFbx">
<node concept="3cpWs8" id="2groWwYa54p" role="3cqZAp">
<node concept="3cpWsn" id="2groWwYa54q" role="3cpWs9">
<property role="TrG5h" value="inputs" />
<node concept="2I9FWS" id="2groWwYa53O" role="1tU5fm">
<ref role="2I9WkF" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
</node>
<node concept="2OqwBi" id="3l1hjkzYbzL" role="33vP2m">
<node concept="37vLTw" id="3l1hjkzYbzM" role="2Oq$k0">
<ref role="3cqZAo" node="3l1hjkzXzL9" resolve="variablesListIterator" />
</node>
<node concept="liA8E" id="3l1hjkzYbzN" role="2OqNvi">
<ref role="37wK5l" to="33ny:~ListIterator.next():java.lang.Object" resolve="next" />
<node concept="1rXfSq" id="2groWwYa54r" role="33vP2m">
<ref role="37wK5l" node="2groWwY9W7P" resolve="inputMetaVarsOfComputation" />
<node concept="Jnkvi" id="2groWwYa54s" role="37wK5m">
<ref role="1M0zk5" node="2groWwY9_CS" resolve="premisewd" />
</node>
</node>
</node>
</node>
<node concept="3clFbJ" id="2groWwY9K3n" role="3cqZAp">
<node concept="3clFbS" id="2groWwY9K3p" role="3clFbx">
<node concept="3cpWs8" id="2groWwYa54p" role="3cqZAp">
<node concept="3cpWsn" id="2groWwYa54q" role="3cpWs9">
<property role="TrG5h" value="inputs" />
<node concept="2I9FWS" id="2groWwYa53O" role="1tU5fm">
<ref role="2I9WkF" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
<node concept="2Gpval" id="3l1hjkzYjIR" role="3cqZAp">
<node concept="2GrKxI" id="3l1hjkzYjIT" role="2Gsz3X">
<property role="TrG5h" value="input" />
</node>
<node concept="37vLTw" id="3l1hjkzYlxP" role="2GsD0m">
<ref role="3cqZAo" node="2groWwYa54q" resolve="inputs" />
</node>
<node concept="3clFbS" id="3l1hjkzYjIX" role="2LFqv$">
<node concept="3clFbF" id="3l1hjkzYl$j" role="3cqZAp">
<node concept="2OqwBi" id="3l1hjkzYlO2" role="3clFbG">
<node concept="37vLTw" id="3l1hjkzYl$i" role="2Oq$k0">
<ref role="3cqZAo" node="3l1hjkzXzL9" resolve="variablesListIterator" />
</node>
<node concept="1rXfSq" id="2groWwYa54r" role="33vP2m">
<ref role="37wK5l" node="2groWwY9W7P" resolve="inputMetaVarsOfComputation" />
<node concept="Jnkvi" id="2groWwYa54s" role="37wK5m">
<ref role="1M0zk5" node="2groWwY9_CS" resolve="premisewd" />
<node concept="liA8E" id="3l1hjkzYuTK" role="2OqNvi">
<ref role="37wK5l" to="33ny:~ListIterator.add(java.lang.Object):void" resolve="add" />
<node concept="2GrUjf" id="3l1hjkzYuX7" role="37wK5m">
<ref role="2Gs0qQ" node="3l1hjkzYjIT" resolve="input" />
</node>
</node>
</node>
</node>
<node concept="2Gpval" id="3l1hjkzYjIR" role="3cqZAp">
<node concept="2GrKxI" id="3l1hjkzYjIT" role="2Gsz3X">
<property role="TrG5h" value="input" />
</node>
<node concept="37vLTw" id="3l1hjkzYlxP" role="2GsD0m">
<ref role="3cqZAo" node="2groWwYa54q" resolve="inputs" />
</node>
<node concept="3clFbS" id="3l1hjkzYjIX" role="2LFqv$">
<node concept="3clFbF" id="3l1hjkzYl$j" role="3cqZAp">
<node concept="2OqwBi" id="3l1hjkzYlO2" role="3clFbG">
<node concept="37vLTw" id="3l1hjkzYl$i" role="2Oq$k0">
<ref role="3cqZAo" node="3l1hjkzXzL9" resolve="variablesListIterator" />
</node>
<node concept="liA8E" id="3l1hjkzYuTK" role="2OqNvi">
<ref role="37wK5l" to="33ny:~ListIterator.add(java.lang.Object):void" resolve="add" />
<node concept="2GrUjf" id="3l1hjkzYuX7" role="37wK5m">
<ref role="2Gs0qQ" node="3l1hjkzYjIT" resolve="input" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="2groWwY9K72" role="3cqZAp">
<node concept="2OqwBi" id="3DmllL5pJW7" role="3clFbG">
<node concept="37vLTw" id="3DmllL5pJ8e" role="2Oq$k0">
<ref role="3cqZAo" node="2groWwY9dht" resolve="collected" />
</node>
<node concept="3clFbF" id="2groWwY9K72" role="3cqZAp">
<node concept="2OqwBi" id="3DmllL5pJW7" role="3clFbG">
<node concept="37vLTw" id="3DmllL5pJ8e" role="2Oq$k0">
<ref role="3cqZAo" node="2groWwY9dht" resolve="collected" />
</node>
<node concept="2Ke4WJ" id="3DmllL5pXkX" role="2OqNvi">
<node concept="2OqwBi" id="3DmllL5rviQ" role="25WWJ7">
<node concept="Jnkvi" id="3DmllL5pYfw" role="2Oq$k0">
<ref role="1M0zk5" node="2groWwY9_CS" resolve="premisewd" />
</node>
<node concept="1$rogu" id="3DmllL5rxPb" role="2OqNvi" />
</node>
<node concept="2Ke4WJ" id="3DmllL5pXkX" role="2OqNvi">
<node concept="2OqwBi" id="3DmllL5rviQ" role="25WWJ7">
<node concept="Jnkvi" id="3DmllL5pYfw" role="2Oq$k0">
<ref role="1M0zk5" node="2groWwY9_CS" resolve="premisewd" />
</node>
<node concept="1$rogu" id="3DmllL5rxPb" role="2OqNvi" />
</node>
</node>
</node>
<node concept="1rXfSq" id="2groWwY9Tya" role="3clFbw">
<ref role="37wK5l" node="2groWwY9D7e" resolve="isVarInOutput" />
<node concept="37vLTw" id="3l1hjkzYdLO" role="37wK5m">
<ref role="3cqZAo" node="3l1hjkzYbzK" resolve="var" />
</node>
<node concept="Jnkvi" id="2groWwY9TY5" role="37wK5m">
<ref role="1M0zk5" node="2groWwY9_CS" resolve="premisewd" />
</node>
</node>
</node>
</node>
<node concept="2OqwBi" id="3l1hjkzY74U" role="2$JKZa">
<node concept="37vLTw" id="3l1hjkzY6LB" role="2Oq$k0">
<ref role="3cqZAo" node="3l1hjkzXzL9" resolve="variablesListIterator" />
<node concept="1rXfSq" id="2groWwY9Tya" role="3clFbw">
<ref role="37wK5l" node="2groWwY9D7e" resolve="isVarInOutput" />
<node concept="37vLTw" id="3l1hjkzYdLO" role="37wK5m">
<ref role="3cqZAo" node="3l1hjkzYbzK" resolve="var" />
</node>
<node concept="liA8E" id="3l1hjkzY7no" role="2OqNvi">
<ref role="37wK5l" to="33ny:~ListIterator.hasNext():boolean" resolve="hasNext" />
<node concept="Jnkvi" id="2groWwY9TY5" role="37wK5m">
<ref role="1M0zk5" node="2groWwY9_CS" resolve="premisewd" />
</node>
</node>
</node>
</node>
<node concept="JncvC" id="2groWwY9_CS" role="JncvA">
<property role="TrG5h" value="premisewd" />
<node concept="2jxLKc" id="2groWwY9_CT" role="1tU5fm" />
<node concept="2OqwBi" id="3l1hjkzY74U" role="2$JKZa">
<node concept="37vLTw" id="3l1hjkzY6LB" role="2Oq$k0">
<ref role="3cqZAo" node="3l1hjkzXzL9" resolve="variablesListIterator" />
</node>
<node concept="liA8E" id="3l1hjkzY7no" role="2OqNvi">
<ref role="37wK5l" to="33ny:~ListIterator.hasNext():boolean" resolve="hasNext" />
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWs6" id="2groWwY9YVo" role="3cqZAp">
<node concept="2OqwBi" id="2groWwYa1bF" role="3cqZAk">
<node concept="37vLTw" id="2groWwYa001" role="2Oq$k0">
<ref role="3cqZAo" node="2groWwY9dht" resolve="collected" />
</node>
<node concept="ANE8D" id="2groWwYa4bw" role="2OqNvi" />
<node concept="JncvC" id="2groWwY9_CS" role="JncvA">
<property role="TrG5h" value="premisewd" />
<node concept="2jxLKc" id="2groWwY9_CT" role="1tU5fm" />
</node>
</node>
</node>
<node concept="JncvC" id="2groWwYky0L" role="JncvA">
<property role="TrG5h" value="criteriavar" />
<node concept="2jxLKc" id="2groWwYky0M" role="1tU5fm" />
</node>
</node>
<node concept="3cpWs6" id="2groWwYkEbP" role="3cqZAp">
<node concept="2ShNRf" id="2groWwYkF8Z" role="3cqZAk">
<node concept="2T8Vx0" id="2groWwYkF8k" role="2ShVmc">
<node concept="2I9FWS" id="2groWwYkF8l" role="2T96Bj">
<ref role="2I9WkF" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
</node>
<node concept="3cpWs6" id="2groWwY9YVo" role="3cqZAp">
<node concept="2OqwBi" id="2groWwYa1bF" role="3cqZAk">
<node concept="37vLTw" id="2groWwYa001" role="2Oq$k0">
<ref role="3cqZAo" node="2groWwY9dht" resolve="collected" />
</node>
<node concept="ANE8D" id="2groWwYa4bw" role="2OqNvi" />
</node>
</node>
<node concept="3clFbH" id="4RJJauctn0X" role="3cqZAp" />
</node>
<node concept="3Tm1VV" id="2groWwY4mJN" role="1B3o_S" />
<node concept="2I9FWS" id="2groWwY4mNW" role="3clF45">
......@@ -640,10 +645,10 @@
<ref role="2I9WkF" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
</node>
</node>
<node concept="37vLTG" id="2groWwY4ntU" role="3clF46">
<property role="TrG5h" value="criteria" />
<node concept="3Tqbb2" id="2groWwY4nuF" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
<node concept="37vLTG" id="4RJJaucth3p" role="3clF46">
<property role="TrG5h" value="criterias" />
<node concept="2I9FWS" id="4RJJaucti7_" role="1tU5fm">
<ref role="2I9WkF" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
</node>
</node>
</node>
......@@ -5138,6 +5143,33 @@
</node>
</node>
</node>
<node concept="3cpWs8" id="4RJJauctMkU" role="3cqZAp">
<node concept="3cpWsn" id="4RJJauctMkV" role="3cpWs9">
<property role="TrG5h" value="criterias" />
<node concept="2I9FWS" id="4RJJauctMkT" role="1tU5fm">
<ref role="2I9WkF" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
</node>
<node concept="2ShNRf" id="4RJJauctMkW" role="33vP2m">
<node concept="2T8Vx0" id="4RJJauctMkX" role="2ShVmc">
<node concept="2I9FWS" id="4RJJauctMkY" role="2T96Bj">
<ref role="2I9WkF" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="4RJJauctGGy" role="3cqZAp">
<node concept="2OqwBi" id="4RJJauctQZZ" role="3clFbG">
<node concept="37vLTw" id="4RJJauctMkZ" role="2Oq$k0">
<ref role="3cqZAo" node="4RJJauctMkV" resolve="criterias" />
</node>
<node concept="TSZUe" id="4RJJauctUQ4" role="2OqNvi">
<node concept="37vLTw" id="4RJJauctUXa" role="25WWJ7">
<ref role="3cqZAo" node="2groWwYfPSP" resolve="criteria" />
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="2groWwYeFOd" role="3cqZAp">
<node concept="3cpWsn" id="2groWwYeFOe" role="3cpWs9">
<property role="TrG5h" value="slice" />
......@@ -5163,8 +5195,8 @@
</node>
</node>
</node>
<node concept="37vLTw" id="2groWwYfT4Q" role="37wK5m">
<ref role="3cqZAo" node="2groWwYfPSP" resolve="criteria" />
<node concept="37vLTw" id="4RJJaucu1m6" role="37wK5m">
<ref role="3cqZAo" node="4RJJauctMkV" resolve="criterias" />
</node>
</node>
</node>
......@@ -5835,8 +5867,337 @@
<node concept="3clFb_" id="4RJJaubx95f" role="jymVt">
<property role="TrG5h" value="createContextProjectionRule" />
<node concept="3clFbS" id="4RJJaubx95i" role="3clF47">
<node concept="3cpWs6" id="4RJJaubyPOY" role="3cqZAp">
<node concept="10Nm6u" id="4RJJaub$toE" role="3cqZAk" />
<node concept="3cpWs8" id="4RJJauc9yKm" role="3cqZAp">
<node concept="3cpWsn" id="4RJJauc9yKn" role="3cpWs9">
<property role="TrG5h" value="rule" />
<node concept="3Tqbb2" id="4RJJauc9yKh" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12eCWN" resolve="Rule" />
</node>
<node concept="1PxgMI" id="4RJJauc9yKo" role="33vP2m">
<node concept="chp4Y" id="4RJJauc9yKp" role="3oSUPX">
<ref role="cht4Q" to="b83y:2_58u12eCWN" resolve="Rule" />
</node>
<node concept="2OqwBi" id="4RJJauc9yKq" role="1m5AlR">
<node concept="37vLTw" id="4RJJauc9yKr" role="2Oq$k0">
<ref role="3cqZAo" node="4RJJaubx9xm" resolve="instance" />
</node>
<node concept="1mfA1w" id="4RJJauc9yKs" role="2OqNvi" />
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="4RJJauc9kb4" role="3cqZAp">
<node concept="3cpWsn" id="4RJJauc9kb5" role="3cpWs9">
<property role="TrG5h" value="conclusion" />
<node concept="3Tqbb2" id="4RJJauc9kb3" role="1tU5fm">
<ref role="ehGHo" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
</node>
<node concept="2OqwBi" id="4RJJauc9kb6" role="33vP2m">
<node concept="37vLTw" id="4RJJauc9yKt" role="2Oq$k0">
<ref role="3cqZAo" node="4RJJauc9yKn" resolve="rule" />
</node>
<node concept="3TrEf2" id="4RJJauc9kbc" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:2_58u12eCXl" resolve="conclusion" />
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="4RJJauc9nwD" role="3cqZAp">
<node concept="3cpWsn" id="4RJJauc9nwE" role="3cpWs9">
<property role="TrG5h" value="contextOfConclusion" />
<node concept="3Tqbb2" id="4RJJauc9nwC" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
</node>
<node concept="2OqwBi" id="4RJJauc9nwF" role="33vP2m">
<node concept="37vLTw" id="4RJJauc9nwG" role="2Oq$k0">
<ref role="3cqZAo" node="4RJJauc9kb5" resolve="conclusion" />
</node>
<node concept="2qgKlT" id="4RJJauc9nwH" role="2OqNvi">
<ref role="37wK5l" to="pgas:1HuZxihg$ar" resolve="getArgumentBySortName" />
<node concept="Xl_RD" id="4RJJauc9nwI" role="37wK5m">
<property role="Xl_RC" value="Context" />
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="4RJJauc9tmg" role="3cqZAp">
<node concept="3cpWsn" id="4RJJauc9tmh" role="3cpWs9">
<property role="TrG5h" value="termOfConlusion" />
<node concept="3Tqbb2" id="4RJJauc9tm7" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
</node>
<node concept="2OqwBi" id="4RJJauc9tmi" role="33vP2m">
<node concept="37vLTw" id="4RJJauc9tmj" role="2Oq$k0">
<ref role="3cqZAo" node="4RJJauc9kb5" resolve="conclusion" />
</node>
<node concept="2qgKlT" id="4RJJauc9tmk" role="2OqNvi">
<ref role="37wK5l" to="pgas:1HuZxihg$ar" resolve="getArgumentBySortName" />
<node concept="Xl_RD" id="4RJJauc9tml" role="37wK5m">
<property role="Xl_RC" value="Term" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="4RJJauc9uGA" role="3cqZAp" />
<node concept="3cpWs8" id="4RJJauc9DZM" role="3cqZAp">
<node concept="3cpWsn" id="4RJJauc9DZN" role="3cpWs9">
<property role="TrG5h" value="contextOfInstance" />
<node concept="3Tqbb2" id="4RJJauc9DZL" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
</node>
<node concept="2OqwBi" id="4RJJauc9DZO" role="33vP2m">
<node concept="37vLTw" id="4RJJauc9DZP" role="2Oq$k0">
<ref role="3cqZAo" node="4RJJaubx9xm" resolve="instance" />
</node>
<node concept="2qgKlT" id="4RJJauc9DZQ" role="2OqNvi">
<ref role="37wK5l" to="pgas:1HuZxihg$ar" resolve="getArgumentBySortName" />
<node concept="Xl_RD" id="4RJJauc9DZR" role="37wK5m">
<property role="Xl_RC" value="Context" />
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="4RJJauc9BBp" role="3cqZAp">
<node concept="3cpWsn" id="4RJJauc9BBq" role="3cpWs9">
<property role="TrG5h" value="conclusionOfNewRule" />
<node concept="3Tqbb2" id="4RJJauc9BBo" role="1tU5fm">