Commit 7c3d517f authored by Sebastian Erdweg's avatar Sebastian Erdweg
Browse files

added 5-ary judgments and instances

parent 5f841a6f
......@@ -664,5 +664,15 @@
</node>
</node>
</node>
<node concept="1M2fIO" id="7kqDxo3jT1Z">
<property role="3GE5qa" value="judgment" />
<ref role="1M2myG" to="b83y:7kqDxo3jKhV" resolve="JudgmentInstance5" />
<node concept="1N5Pfh" id="7kqDxo3jT20" role="1Mr941">
<ref role="1N5Vy1" to="b83y:2U2uJPq4fo5" resolve="judgment" />
<node concept="1dDu$B" id="7kqDxo3jT21" role="1N6uqs">
<ref role="1dDu$A" to="b83y:7kqDxo3iXbt" resolve="JudgmentDeclaration5" />
</node>
</node>
</node>
</model>
......@@ -2376,5 +2376,363 @@
</node>
</node>
</node>
<node concept="24kQdi" id="7kqDxo3j0Dr">
<property role="3GE5qa" value="judgment" />
<ref role="1XX52x" to="b83y:7kqDxo3iXbt" resolve="JudgmentDeclaration5" />
<node concept="3EZMnI" id="7kqDxo3j0Ds" role="2wV5jI">
<node concept="3F0ifn" id="7kqDxo3j0Dt" role="3EZMnx">
<property role="3F0ifm" value="judgment" />
</node>
<node concept="3F0A7n" id="7kqDxo3j0Du" role="3EZMnx">
<ref role="1NtTu8" to="tpck:h0TrG11" resolve="name" />
</node>
<node concept="3F1sOY" id="7kqDxo3j0Dv" role="3EZMnx">
<ref role="1NtTu8" to="b83y:7kqDxo3iXbu" resolve="pre" />
<node concept="pVoyu" id="7kqDxo3j0Dw" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
<node concept="lj46D" id="7kqDxo3j0Dx" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
</node>
<node concept="3F1sOY" id="7kqDxo3j0Dy" role="3EZMnx">
<ref role="1NtTu8" to="b83y:7kqDxo3iXbv" resolve="sort1" />
</node>
<node concept="3F1sOY" id="7kqDxo3j0Dz" role="3EZMnx">
<ref role="1NtTu8" to="b83y:7kqDxo3iXbw" resolve="delimiter1" />
</node>
<node concept="3F1sOY" id="7kqDxo3j0D$" role="3EZMnx">
<ref role="1NtTu8" to="b83y:7kqDxo3iXbx" resolve="sort2" />
</node>
<node concept="3F1sOY" id="7kqDxo3j0D_" role="3EZMnx">
<ref role="1NtTu8" to="b83y:7kqDxo3iXby" resolve="delimiter2" />
</node>
<node concept="l2Vlx" id="7kqDxo3j0DA" role="2iSdaV" />
<node concept="3F1sOY" id="7kqDxo3j0DB" role="3EZMnx">
<ref role="1NtTu8" to="b83y:7kqDxo3iXbz" resolve="sort3" />
</node>
<node concept="3F1sOY" id="7kqDxo3j0DC" role="3EZMnx">
<ref role="1NtTu8" to="b83y:7kqDxo3iXb$" resolve="delimiter3" />
</node>
<node concept="3F1sOY" id="7kqDxo3j0DD" role="3EZMnx">
<ref role="1NtTu8" to="b83y:7kqDxo3iXb_" resolve="sort4" />
</node>
<node concept="3F1sOY" id="7kqDxo3j0DE" role="3EZMnx">
<ref role="1NtTu8" to="b83y:7kqDxo3iXbA" resolve="delimiter4" />
</node>
<node concept="3F1sOY" id="7kqDxo3j0XC" role="3EZMnx">
<ref role="1NtTu8" to="b83y:7kqDxo3iXci" resolve="sort5" />
</node>
<node concept="3F1sOY" id="7kqDxo3j18e" role="3EZMnx">
<ref role="1NtTu8" to="b83y:7kqDxo3iXcj" resolve="delimiter5" />
</node>
<node concept="3F0ifn" id="7kqDxo3j0DF" role="3EZMnx">
<property role="3F0ifm" value="report stuck derivations as errors" />
<node concept="pkWqt" id="7kqDxo3j0DG" role="pqm2j">
<node concept="3clFbS" id="7kqDxo3j0DH" role="2VODD2">
<node concept="3clFbF" id="7kqDxo3j0DI" role="3cqZAp">
<node concept="2OqwBi" id="7kqDxo3j0DJ" role="3clFbG">
<node concept="pncrf" id="7kqDxo3j0DK" role="2Oq$k0" />
<node concept="3TrcHB" id="7kqDxo3j0DL" role="2OqNvi">
<ref role="3TsBF5" to="b83y:4QidbFwia_k" resolve="reportStuck" />
</node>
</node>
</node>
</node>
</node>
<node concept="pVoyu" id="7kqDxo3j0DM" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
<node concept="lj46D" id="7kqDxo3j0DN" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
</node>
</node>
</node>
<node concept="24kQdi" id="7kqDxo3jMI1">
<property role="3GE5qa" value="judgment" />
<ref role="1XX52x" to="b83y:7kqDxo3jKhV" resolve="JudgmentInstance5" />
<node concept="3EZMnI" id="7kqDxo3jMI2" role="2wV5jI">
<node concept="1iCGBv" id="7kqDxo3jMI3" role="3EZMnx">
<ref role="1NtTu8" to="b83y:7kqDxo3jKhW" resolve="judgment" />
<node concept="1sVBvm" id="7kqDxo3jMI4" role="1sWHZn">
<node concept="3F1sOY" id="7kqDxo3jMI5" role="2wV5jI">
<ref role="1NtTu8" to="b83y:7kqDxo3iXbu" resolve="pre" />
<node concept="xShMh" id="7kqDxo3jMI6" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
<node concept="VPM3Z" id="7kqDxo3jMI7" role="3F10Kt">
<property role="VOm3f" value="false" />
</node>
</node>
</node>
<node concept="pkWqt" id="7kqDxo3jMI8" role="pqm2j">
<node concept="3clFbS" id="7kqDxo3jMI9" role="2VODD2">
<node concept="3clFbF" id="7kqDxo3jMIa" role="3cqZAp">
<node concept="2OqwBi" id="7kqDxo3jMIb" role="3clFbG">
<node concept="2OqwBi" id="7kqDxo3jMIc" role="2Oq$k0">
<node concept="2OqwBi" id="7kqDxo3jMId" role="2Oq$k0">
<node concept="2OqwBi" id="7kqDxo3jMIe" role="2Oq$k0">
<node concept="pncrf" id="7kqDxo3jMIf" role="2Oq$k0" />
<node concept="3TrEf2" id="7kqDxo3jMIg" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:7kqDxo3jKhW" resolve="judgment" />
</node>
</node>
<node concept="3TrEf2" id="7kqDxo3jMIh" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:7kqDxo3iXbu" resolve="pre" />
</node>
</node>
<node concept="3TrcHB" id="7kqDxo3jMIi" role="2OqNvi">
<ref role="3TsBF5" to="b83y:2_58u12cYDu" resolve="text" />
</node>
</node>
<node concept="17RvpY" id="7kqDxo3jMIj" role="2OqNvi" />
</node>
</node>
</node>
</node>
</node>
<node concept="l2Vlx" id="7kqDxo3jMIk" role="2iSdaV" />
<node concept="3F1sOY" id="7kqDxo3jMIl" role="3EZMnx">
<ref role="1NtTu8" to="b83y:7kqDxo3jKhX" resolve="arg1" />
</node>
<node concept="1iCGBv" id="7kqDxo3jMIm" role="3EZMnx">
<ref role="1NtTu8" to="b83y:7kqDxo3jKhW" resolve="judgment" />
<node concept="1sVBvm" id="7kqDxo3jMIn" role="1sWHZn">
<node concept="3F1sOY" id="7kqDxo3jMIo" role="2wV5jI">
<ref role="1NtTu8" to="b83y:7kqDxo3iXbw" resolve="delimiter1" />
<node concept="xShMh" id="7kqDxo3jMIp" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
<node concept="VPM3Z" id="7kqDxo3jMIq" role="3F10Kt">
<property role="VOm3f" value="false" />
</node>
</node>
</node>
<node concept="pkWqt" id="7kqDxo3jMIr" role="pqm2j">
<node concept="3clFbS" id="7kqDxo3jMIs" role="2VODD2">
<node concept="3clFbF" id="7kqDxo3jMIt" role="3cqZAp">
<node concept="2OqwBi" id="7kqDxo3jMIu" role="3clFbG">
<node concept="2OqwBi" id="7kqDxo3jMIv" role="2Oq$k0">
<node concept="2OqwBi" id="7kqDxo3jMIw" role="2Oq$k0">
<node concept="2OqwBi" id="7kqDxo3jMIx" role="2Oq$k0">
<node concept="pncrf" id="7kqDxo3jMIy" role="2Oq$k0" />
<node concept="3TrEf2" id="7kqDxo3jMIz" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:7kqDxo3jKhW" resolve="judgment" />
</node>
</node>
<node concept="3TrEf2" id="7kqDxo3jMI$" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:7kqDxo3iXbw" resolve="delimiter1" />
</node>
</node>
<node concept="3TrcHB" id="7kqDxo3jMI_" role="2OqNvi">
<ref role="3TsBF5" to="b83y:2_58u12cYDu" resolve="text" />
</node>
</node>
<node concept="17RvpY" id="7kqDxo3jMIA" role="2OqNvi" />
</node>
</node>
</node>
</node>
</node>
<node concept="3F1sOY" id="7kqDxo3jMIB" role="3EZMnx">
<ref role="1NtTu8" to="b83y:7kqDxo3jKhY" resolve="arg2" />
</node>
<node concept="1iCGBv" id="7kqDxo3jMIC" role="3EZMnx">
<ref role="1NtTu8" to="b83y:7kqDxo3jKhW" resolve="judgment" />
<node concept="1sVBvm" id="7kqDxo3jMID" role="1sWHZn">
<node concept="3F1sOY" id="7kqDxo3jMIE" role="2wV5jI">
<ref role="1NtTu8" to="b83y:7kqDxo3iXby" resolve="delimiter2" />
<node concept="xShMh" id="7kqDxo3jMIF" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
<node concept="VPM3Z" id="7kqDxo3jMIG" role="3F10Kt">
<property role="VOm3f" value="false" />
</node>
</node>
</node>
<node concept="pkWqt" id="7kqDxo3jMIH" role="pqm2j">
<node concept="3clFbS" id="7kqDxo3jMII" role="2VODD2">
<node concept="3clFbF" id="7kqDxo3jMIJ" role="3cqZAp">
<node concept="2OqwBi" id="7kqDxo3jMIK" role="3clFbG">
<node concept="2OqwBi" id="7kqDxo3jMIL" role="2Oq$k0">
<node concept="2OqwBi" id="7kqDxo3jMIM" role="2Oq$k0">
<node concept="2OqwBi" id="7kqDxo3jMIN" role="2Oq$k0">
<node concept="pncrf" id="7kqDxo3jMIO" role="2Oq$k0" />
<node concept="3TrEf2" id="7kqDxo3jMIP" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:7kqDxo3jKhW" resolve="judgment" />
</node>
</node>
<node concept="3TrEf2" id="7kqDxo3jMIQ" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:7kqDxo3iXby" resolve="delimiter2" />
</node>
</node>
<node concept="3TrcHB" id="7kqDxo3jMIR" role="2OqNvi">
<ref role="3TsBF5" to="b83y:2_58u12cYDu" resolve="text" />
</node>
</node>
<node concept="17RvpY" id="7kqDxo3jMIS" role="2OqNvi" />
</node>
</node>
</node>
</node>
</node>
<node concept="3F1sOY" id="7kqDxo3jMIT" role="3EZMnx">
<ref role="1NtTu8" to="b83y:7kqDxo3jKhZ" resolve="arg3" />
</node>
<node concept="1iCGBv" id="7kqDxo3jMIU" role="3EZMnx">
<ref role="1NtTu8" to="b83y:7kqDxo3jKhW" resolve="judgment" />
<node concept="1sVBvm" id="7kqDxo3jMIV" role="1sWHZn">
<node concept="3F1sOY" id="7kqDxo3jMIW" role="2wV5jI">
<ref role="1NtTu8" to="b83y:7kqDxo3iXb$" resolve="delimiter3" />
<node concept="xShMh" id="7kqDxo3jMIX" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
<node concept="VPM3Z" id="7kqDxo3jMIY" role="3F10Kt">
<property role="VOm3f" value="false" />
</node>
</node>
</node>
<node concept="pkWqt" id="7kqDxo3jMIZ" role="pqm2j">
<node concept="3clFbS" id="7kqDxo3jMJ0" role="2VODD2">
<node concept="3clFbF" id="7kqDxo3jMJ1" role="3cqZAp">
<node concept="2OqwBi" id="7kqDxo3jMJ2" role="3clFbG">
<node concept="2OqwBi" id="7kqDxo3jMJ3" role="2Oq$k0">
<node concept="2OqwBi" id="7kqDxo3jMJ4" role="2Oq$k0">
<node concept="2OqwBi" id="7kqDxo3jMJ5" role="2Oq$k0">
<node concept="pncrf" id="7kqDxo3jMJ6" role="2Oq$k0" />
<node concept="3TrEf2" id="7kqDxo3jMJ7" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:7kqDxo3jKhW" resolve="judgment" />
</node>
</node>
<node concept="3TrEf2" id="7kqDxo3jMJ8" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:7kqDxo3iXb$" resolve="delimiter3" />
</node>
</node>
<node concept="3TrcHB" id="7kqDxo3jMJ9" role="2OqNvi">
<ref role="3TsBF5" to="b83y:2_58u12cYDu" resolve="text" />
</node>
</node>
<node concept="17RvpY" id="7kqDxo3jMJa" role="2OqNvi" />
</node>
</node>
</node>
</node>
</node>
<node concept="3F1sOY" id="7kqDxo3jMJb" role="3EZMnx">
<ref role="1NtTu8" to="b83y:7kqDxo3jKi0" resolve="arg4" />
</node>
<node concept="1iCGBv" id="7kqDxo3jMJc" role="3EZMnx">
<ref role="1NtTu8" to="b83y:7kqDxo3jKhW" resolve="judgment" />
<node concept="1sVBvm" id="7kqDxo3jMJd" role="1sWHZn">
<node concept="3F1sOY" id="7kqDxo3jMJe" role="2wV5jI">
<ref role="1NtTu8" to="b83y:7kqDxo3iXbA" resolve="delimiter4" />
<node concept="xShMh" id="7kqDxo3jMJf" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
<node concept="VPM3Z" id="7kqDxo3jMJg" role="3F10Kt">
<property role="VOm3f" value="false" />
</node>
</node>
</node>
<node concept="pkWqt" id="7kqDxo3jMJh" role="pqm2j">
<node concept="3clFbS" id="7kqDxo3jMJi" role="2VODD2">
<node concept="3clFbF" id="7kqDxo3jMJj" role="3cqZAp">
<node concept="2OqwBi" id="7kqDxo3jMJk" role="3clFbG">
<node concept="2OqwBi" id="7kqDxo3jMJl" role="2Oq$k0">
<node concept="2OqwBi" id="7kqDxo3jMJm" role="2Oq$k0">
<node concept="2OqwBi" id="7kqDxo3jMJn" role="2Oq$k0">
<node concept="pncrf" id="7kqDxo3jMJo" role="2Oq$k0" />
<node concept="3TrEf2" id="7kqDxo3jMJp" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:7kqDxo3jKhW" resolve="judgment" />
</node>
</node>
<node concept="3TrEf2" id="7kqDxo3jMJq" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:7kqDxo3iXbA" resolve="delimiter4" />
</node>
</node>
<node concept="3TrcHB" id="7kqDxo3jMJr" role="2OqNvi">
<ref role="3TsBF5" to="b83y:2_58u12cYDu" resolve="text" />
</node>
</node>
<node concept="17RvpY" id="7kqDxo3jMJs" role="2OqNvi" />
</node>
</node>
</node>
</node>
</node>
<node concept="3F1sOY" id="7kqDxo3jOm3" role="3EZMnx">
<ref role="1NtTu8" to="b83y:7kqDxo3jKif" resolve="arg5" />
</node>
<node concept="1iCGBv" id="7kqDxo3jPaO" role="3EZMnx">
<ref role="1NtTu8" to="b83y:7kqDxo3jKhW" resolve="judgment" />
<node concept="1sVBvm" id="7kqDxo3jPaP" role="1sWHZn">
<node concept="3F1sOY" id="7kqDxo3jPaQ" role="2wV5jI">
<ref role="1NtTu8" to="b83y:7kqDxo3iXcj" resolve="delimiter5" />
<node concept="xShMh" id="7kqDxo3jPaR" role="3F10Kt">
<property role="VOm3f" value="true" />
</node>
<node concept="VPM3Z" id="7kqDxo3jPaS" role="3F10Kt">
<property role="VOm3f" value="false" />
</node>
</node>
</node>
<node concept="pkWqt" id="7kqDxo3jPaT" role="pqm2j">
<node concept="3clFbS" id="7kqDxo3jPaU" role="2VODD2">
<node concept="3clFbF" id="7kqDxo3jPaV" role="3cqZAp">
<node concept="2OqwBi" id="7kqDxo3jPaW" role="3clFbG">
<node concept="2OqwBi" id="7kqDxo3jPaX" role="2Oq$k0">
<node concept="2OqwBi" id="7kqDxo3jPaY" role="2Oq$k0">
<node concept="2OqwBi" id="7kqDxo3jPaZ" role="2Oq$k0">
<node concept="pncrf" id="7kqDxo3jPb0" role="2Oq$k0" />
<node concept="3TrEf2" id="7kqDxo3jPb1" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:7kqDxo3jKhW" resolve="judgment" />
</node>
</node>
<node concept="3TrEf2" id="7kqDxo3jPb2" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:7kqDxo3iXbA" resolve="delimiter4" />
</node>
</node>
<node concept="3TrcHB" id="7kqDxo3jPb3" role="2OqNvi">
<ref role="3TsBF5" to="b83y:2_58u12cYDu" resolve="text" />
</node>
</node>
<node concept="17RvpY" id="7kqDxo3jPb4" role="2OqNvi" />
</node>
</node>
</node>
</node>
</node>
<node concept="Veino" id="7kqDxo3jMJt" role="3F10Kt">
<node concept="3ZlJ5R" id="7kqDxo3jMJu" role="VblUZ">
<node concept="3clFbS" id="7kqDxo3jMJv" role="2VODD2">
<node concept="3clFbJ" id="7kqDxo3jMJw" role="3cqZAp">
<node concept="3clFbS" id="7kqDxo3jMJx" role="3clFbx">
<node concept="3cpWs6" id="7kqDxo3jMJy" role="3cqZAp">
<node concept="10M0yZ" id="7kqDxo3jMJz" role="3cqZAk">
<ref role="1PxDUh" to="z60i:~Color" resolve="Color" />
<ref role="3cqZAo" to="z60i:~Color.YELLOW" resolve="YELLOW" />
</node>
</node>
</node>
<node concept="2OqwBi" id="7kqDxo3jMJ$" role="3clFbw">
<node concept="pncrf" id="7kqDxo3jMJ_" role="2Oq$k0" />
<node concept="3TrcHB" id="7kqDxo3jMJA" role="2OqNvi">
<ref role="3TsBF5" to="b83y:4QidbFwe$5C" resolve="ignoreStuck" />
</node>
</node>
<node concept="9aQIb" id="7kqDxo3jMJB" role="9aQIa">
<node concept="3clFbS" id="7kqDxo3jMJC" role="9aQI4">
<node concept="3cpWs6" id="7kqDxo3jMJD" role="3cqZAp">
<node concept="10Nm6u" id="7kqDxo3jMJE" role="3cqZAk" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</model>
......@@ -935,5 +935,142 @@
<ref role="20lvS9" node="3bcKLJLiSiK" resolve="ICompilerOption" />
</node>
</node>
<node concept="1TIwiD" id="7kqDxo3iXbt">
<property role="EcuMT" value="8438239465306837725" />
<property role="TrG5h" value="JudgmentDeclaration5" />
<property role="3GE5qa" value="judgment" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="1TJgyj" id="7kqDxo3iXbu" role="1TKVEi">
<property role="IQ2ns" value="3351376301273366983" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="pre" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2_58u12cYDt" resolve="Delimiter" />
</node>
<node concept="1TJgyj" id="7kqDxo3iXbv" role="1TKVEi">
<property role="IQ2ns" value="3351376301273366984" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="sort1" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2U2uJPpd5x5" resolve="Sort" />
</node>
<node concept="1TJgyj" id="7kqDxo3iXbw" role="1TKVEi">
<property role="IQ2ns" value="3351376301273366985" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="delimiter1" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2_58u12cYDt" resolve="Delimiter" />
</node>
<node concept="1TJgyj" id="7kqDxo3iXbx" role="1TKVEi">
<property role="IQ2ns" value="3351376301273366986" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="sort2" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2U2uJPpd5x5" resolve="Sort" />
</node>
<node concept="1TJgyj" id="7kqDxo3iXby" role="1TKVEi">
<property role="IQ2ns" value="3351376301273366987" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="delimiter2" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2_58u12cYDt" resolve="Delimiter" />
</node>
<node concept="1TJgyj" id="7kqDxo3iXbz" role="1TKVEi">
<property role="IQ2ns" value="3351376301273366988" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="sort3" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2U2uJPpd5x5" resolve="Sort" />
</node>
<node concept="1TJgyj" id="7kqDxo3iXb$" role="1TKVEi">
<property role="IQ2ns" value="3351376301273366989" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="delimiter3" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2_58u12cYDt" resolve="Delimiter" />
</node>
<node concept="1TJgyj" id="7kqDxo3iXb_" role="1TKVEi">
<property role="IQ2ns" value="3351376301273366991" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="sort4" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2U2uJPpd5x5" resolve="Sort" />
</node>
<node concept="1TJgyj" id="7kqDxo3iXbA" role="1TKVEi">
<property role="IQ2ns" value="3351376301273366992" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="delimiter4" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2_58u12cYDt" resolve="Delimiter" />
</node>
<node concept="1TJgyj" id="7kqDxo3iXci" role="1TKVEi">
<property role="IQ2ns" value="8438239465306837778" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="sort5" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2U2uJPpd5x5" resolve="Sort" />
</node>
<node concept="1TJgyj" id="7kqDxo3iXcj" role="1TKVEi">
<property role="IQ2ns" value="8438239465306837779" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="delimiter5" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2_58u12cYDt" resolve="Delimiter" />
</node>
<node concept="PrWs8" id="7kqDxo3iXbB" role="PzmwI">
<ref role="PrY4T" node="2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
</node>
<node concept="1TIwiD" id="7kqDxo3jKhV">
<property role="EcuMT" value="8438239465307047035" />
<property role="TrG5h" value="JudgmentInstance5" />
<property role="3GE5qa" value="judgment" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="1TJgyj" id="7kqDxo3jKhW" role="1TKVEi">
<property role="IQ2ns" value="8438239465307047036" />
<property role="20lmBu" value="reference" />
<property role="20kJfa" value="judgment" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="7kqDxo3iXbt" resolve="JudgmentDeclaration5" />
</node>
<node concept="1TJgyj" id="7kqDxo3jKhX" role="1TKVEi">
<property role="IQ2ns" value="8438239465307047037" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="arg1" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2_58u12g7Tn" resolve="IMetaTerm" />
</node>
<node concept="1TJgyj" id="7kqDxo3jKhY" role="1TKVEi">
<property role="IQ2ns" value="8438239465307047038" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="arg2" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2_58u12g7Tn" resolve="IMetaTerm" />
</node>
<node concept="1TJgyj" id="7kqDxo3jKhZ" role="1TKVEi">
<property role="IQ2ns" value="8438239465307047039" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="arg3" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2_58u12g7Tn" resolve="IMetaTerm" />
</node>
<node concept="1TJgyj" id="7kqDxo3jKi0" role="1TKVEi">
<property role="IQ2ns" value="8438239465307047040" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="arg4" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2_58u12g7Tn" resolve="IMetaTerm" />
</node>
<node concept="1TJgyj" id="7kqDxo3jKif" role="1TKVEi">
<property role="IQ2ns" value="8438239465307047055" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="arg5" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2_58u12g7Tn" resolve="IMetaTerm" />
</node>
<node concept="PrWs8" id="7kqDxo3jKi1" role="PzmwI">
<ref role="PrY4T" node="677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
</node>
</node>
</model>
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment