natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix wrongly used logical item expression.

This commit is contained in:
Fedor Isakov 2020-04-13 14:59:25 +02:00
parent 5b1449fa82
commit 1336e82065
4 changed files with 1133 additions and 1157 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

152
samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps
View File

@ -271,28 +271,28 @@
<reference id="6097203247219331496" name="extends" index="3tg4Y$" />
<child id="1618328391714763070" name="macro" index="0oKgB" />
</concept>
<concept id="861509610434242029" name="" flags="ng" index="ns1u0">
<reference id="861509610434243078" name="" index="ns1xF" />
<child id="861509610434243076" name="" index="ns1xD" />
<concept id="861509610434242029" name="jetbrains.mps.lang.coderules.structure.DataFormConstructor" flags="ng" index="ns1u0">
<reference id="861509610434243078" name="decl" index="ns1xF" />
<child id="861509610434243076" name="override" index="ns1xD" />
</concept>
<concept id="861509610434243104" name="" flags="ng" index="ns1xd">
<child id="861509610434243105" name="" index="ns1xc" />
<concept id="861509610434243104" name="jetbrains.mps.lang.coderules.structure.DataFormTable" flags="ng" index="ns1xd">
<child id="861509610434243105" name="contents" index="ns1xc" />
</concept>
<concept id="861509610434243081" name="" flags="ng" index="ns1x$">
<child id="861509610434243084" name="" index="ns1xx" />
<concept id="861509610434243081" name="jetbrains.mps.lang.coderules.structure.DataFormDeclaration" flags="ng" index="ns1x$">
<child id="861509610434243084" name="template" index="ns1xx" />
</concept>
<concept id="861509610434305888" name="" flags="ng" index="nsiOd" />
<concept id="861509610434276453" name="" flags="ng" index="nspS8">
<property id="861509610434276456" name="" index="nspS5" />
<concept id="861509610434305888" name="jetbrains.mps.lang.coderules.structure.ListFeature" flags="ng" index="nsiOd" />
<concept id="861509610434276453" name="jetbrains.mps.lang.coderules.structure.DataFormFeature" flags="ng" index="nspS8">
<property id="861509610434276456" name="final" index="nspS5" />
</concept>
<concept id="861509610434276450" name="" flags="ng" index="nspSf">
<child id="861509610434276451" name="" index="nspSe" />
<concept id="861509610434276450" name="jetbrains.mps.lang.coderules.structure.DataFormTemplate" flags="ng" index="nspSf">
<child id="861509610434276451" name="feature" index="nspSe" />
</concept>
<concept id="861509610434294982" name="" flags="ng" index="nssqF" />
<concept id="861509610434289827" name="" flags="ng" index="nstbe" />
<concept id="861509610434435669" name="" flags="ng" index="nsMwS">
<reference id="861509610434435672" name="" index="nsMwP" />
<child id="861509610434435670" name="" index="nsMwV" />
<concept id="861509610434294982" name="jetbrains.mps.lang.coderules.structure.ValueFeature" flags="ng" index="nssqF" />
<concept id="861509610434289827" name="jetbrains.mps.lang.coderules.structure.ChildFeature" flags="ng" index="nstbe" />
<concept id="861509610434435669" name="jetbrains.mps.lang.coderules.structure.DataFormFeatureOverride" flags="ng" index="nsMwS">
<reference id="861509610434435672" name="feature" index="nsMwP" />
<child id="861509610434435670" name="getter" index="nsMwV" />
</concept>
<concept id="6691972578451976398" name="jetbrains.mps.lang.coderules.structure.RuleInputSpecification" flags="ng" index="2t___k">
<reference id="6691972578451990912" name="applicableConcept" index="2t_S0q" />
@ -302,7 +302,7 @@
<reference id="3541122455446356437" name="extends" index="2YbDB9" />
<child id="3575255234175157601" name="template" index="1nK1Vg" />
</concept>
<concept id="2381360340662937504" name="" flags="ng" index="32pEOW" />
<concept id="2381360340662937504" name="jetbrains.mps.lang.coderules.structure.TermType" flags="ig" index="32pEOW" />
<concept id="6097203247156088058" name="jetbrains.mps.lang.coderules.structure.ExpandMacroInputSpecification" flags="ng" index="3ixlbQ">
<reference id="6097203247156276310" name="applicableConcept" index="3ixz9q" />
<child id="6097203247156107501" name="input" index="3ix8rx" />
@ -437,9 +437,9 @@
</node>
</node>
<node concept="ns1u0" id="5itBwMa8vVc" role="3A8w4Q">
<ref role="ns1xF" node="7VBaGntKJ6Q" />
<ref role="ns1xF" node="7VBaGntKJ6Q" resolve="Forall" />
<node concept="nsMwS" id="5itBwMa8vVd" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ6S" />
<ref role="nsMwP" node="7VBaGntKJ6S" resolve="variable" />
<node concept="1nq8_$" id="5itBwMa8vVe" role="nsMwV">
<node concept="a7P8L" id="5itBwMa8vVf" role="1nq8_t">
<ref role="a7OzE" node="Vo$tzLEEJk" resolve="Var" />
@ -447,7 +447,7 @@
</node>
</node>
<node concept="nsMwS" id="5itBwMa8vVg" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ6T" />
<ref role="nsMwP" node="7VBaGntKJ6T" resolve="sentence" />
<node concept="1nq8_$" id="5itBwMa8vVh" role="nsMwV">
<node concept="37jhX" id="5itBwMa9DlH" role="1nq8_t">
<node concept="1nq8_$" id="5itBwMa9DlG" role="37jj2">
@ -529,9 +529,9 @@
</node>
</node>
<node concept="ns1u0" id="7VBaGntKJap" role="3A8w4Q">
<ref role="ns1xF" node="7VBaGntKJ6U" />
<ref role="ns1xF" node="7VBaGntKJ6U" resolve="Exists" />
<node concept="nsMwS" id="7VBaGntKJaq" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ6W" />
<ref role="nsMwP" node="7VBaGntKJ6W" resolve="variable" />
<node concept="1nq8_$" id="Vo$tzLEFM$" role="nsMwV">
<node concept="a7P8L" id="Vo$tzLEFM_" role="1nq8_t">
<ref role="a7OzE" node="Vo$tzLEFMH" resolve="Var" />
@ -539,7 +539,7 @@
</node>
</node>
<node concept="nsMwS" id="7VBaGntKJar" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ6X" />
<ref role="nsMwP" node="7VBaGntKJ6X" resolve="sentence" />
<node concept="1nq8_$" id="Vo$tzLEFME" role="nsMwV">
<node concept="a7P8L" id="Vo$tzLEFMF" role="1nq8_t">
<ref role="a7OzE" node="Vo$tzLEFMI" resolve="Body" />
@ -641,24 +641,20 @@
</node>
</node>
<node concept="ns1u0" id="7VBaGntKJav" role="3A8w4Q">
<ref role="ns1xF" node="7VBaGntKJ6Y" />
<ref role="ns1xF" node="7VBaGntKJ6Y" resolve="Relation" />
<node concept="nsMwS" id="7VBaGntKJaw" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ70" />
<node concept="1nq8_$" id="5itBwMa8D5Q" role="nsMwV">
<node concept="37jhX" id="5itBwMa8D5P" role="1nq8_t">
<node concept="2OqwBi" id="5itBwMa8DeG" role="37jj2">
<node concept="3j8tct" id="5itBwMa8D5N" role="2Oq$k0">
<ref role="3j8tcu" node="5itBwMa8_KQ" resolve="rel" />
</node>
<node concept="3TrcHB" id="5itBwMa8DxD" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
</node>
</node>
<ref role="nsMwP" node="7VBaGntKJ70" resolve="name" />
<node concept="2OqwBi" id="5itBwMa8DeG" role="nsMwV">
<node concept="3j8tct" id="5itBwMa8D5N" role="2Oq$k0">
<ref role="3j8tcu" node="5itBwMa8_KQ" resolve="rel" />
</node>
<node concept="3TrcHB" id="5itBwMa8DxD" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
</node>
</node>
</node>
<node concept="nsMwS" id="7VBaGntKJax" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ71" />
<ref role="nsMwP" node="7VBaGntKJ71" resolve="member" />
<node concept="1nq8_$" id="Vo$tzLIpZQ" role="nsMwV">
<node concept="a7P8L" id="Vo$tzLIpZR" role="1nq8_t">
<ref role="a7OzE" node="Vo$tzLIpZg" resolve="Memb" />
@ -712,19 +708,15 @@
</node>
</node>
<node concept="ns1u0" id="7VBaGntKJab" role="3A8w4Q">
<ref role="ns1xF" node="7VBaGntKJ72" />
<ref role="ns1xF" node="7VBaGntKJ72" resolve="Object" />
<node concept="nsMwS" id="7VBaGntKJac" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ74" />
<node concept="1nq8_$" id="5itBwMa8FtG" role="nsMwV">
<node concept="37jhX" id="5itBwMa8FtF" role="1nq8_t">
<node concept="2OqwBi" id="5itBwMa8FAq" role="37jj2">
<node concept="3j8tct" id="5itBwMa8FtD" role="2Oq$k0">
<ref role="3j8tcu" node="5itBwMa8EJ1" resolve="obj" />
</node>
<node concept="3TrcHB" id="5itBwMa8FSl" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
</node>
</node>
<ref role="nsMwP" node="7VBaGntKJ74" resolve="name" />
<node concept="2OqwBi" id="5itBwMa8FAq" role="nsMwV">
<node concept="3j8tct" id="5itBwMa8FtD" role="2Oq$k0">
<ref role="3j8tcu" node="5itBwMa8EJ1" resolve="obj" />
</node>
<node concept="3TrcHB" id="5itBwMa8FSl" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
</node>
</node>
</node>
@ -758,19 +750,15 @@
</node>
</node>
<node concept="ns1u0" id="7VBaGntKJay" role="3A8w4Q">
<ref role="ns1xF" node="7VBaGntKJ75" />
<ref role="ns1xF" node="7VBaGntKJ75" resolve="Variable" />
<node concept="nsMwS" id="7VBaGntKJaz" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ77" />
<node concept="1nq8_$" id="5itBwMa8I0J" role="nsMwV">
<node concept="37jhX" id="5itBwMa8I0I" role="1nq8_t">
<node concept="2OqwBi" id="5itBwMa8Idj" role="37jj2">
<node concept="3j8tct" id="5itBwMa8I0G" role="2Oq$k0">
<ref role="3j8tcu" node="5itBwMa8Gls" resolve="var" />
</node>
<node concept="3TrcHB" id="5itBwMa8Ive" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
</node>
</node>
<ref role="nsMwP" node="7VBaGntKJ77" resolve="name" />
<node concept="2OqwBi" id="5itBwMa8Idj" role="nsMwV">
<node concept="3j8tct" id="5itBwMa8I0G" role="2Oq$k0">
<ref role="3j8tcu" node="5itBwMa8Gls" resolve="var" />
</node>
<node concept="3TrcHB" id="5itBwMa8Ive" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
</node>
</node>
</node>
@ -866,9 +854,9 @@
</node>
</node>
<node concept="ns1u0" id="7VBaGntKJaB" role="3A8w4Q">
<ref role="ns1xF" node="7VBaGntKJ78" />
<ref role="ns1xF" node="7VBaGntKJ78" resolve="Function" />
<node concept="nsMwS" id="7VBaGntKJaC" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ7a" />
<ref role="nsMwP" node="7VBaGntKJ7a" resolve="name" />
<node concept="2OqwBi" id="5itBwMa8M0X" role="nsMwV">
<node concept="3j8tct" id="5itBwMa8M0Y" role="2Oq$k0">
<ref role="3j8tcu" node="5itBwMa8JC7" resolve="fun" />
@ -879,7 +867,7 @@
</node>
</node>
<node concept="nsMwS" id="7VBaGntKJaD" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ7b" />
<ref role="nsMwP" node="7VBaGntKJ7b" resolve="argument" />
<node concept="1nq8_$" id="Vo$tzLIpVG" role="nsMwV">
<node concept="a7P8L" id="Vo$tzLIpVF" role="1nq8_t">
<ref role="a7OzE" node="Vo$tzLIcAp" resolve="Arg" />
@ -1171,9 +1159,9 @@
<ref role="3AqCNq" to="6r1k:2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKINM" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJaE" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ6Q" />
<ref role="ns1xF" node="7VBaGntKJ6Q" resolve="Forall" />
<node concept="nsMwS" id="7VBaGntKJaF" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ6S" />
<ref role="nsMwP" node="7VBaGntKJ6S" resolve="variable" />
<node concept="1nq8_$" id="2oO2uzBXAqH" role="nsMwV">
<node concept="a7P8L" id="2oO2uzBXAqF" role="1nq8_t">
<ref role="a7OzE" node="2oO2uzBWTdP" resolve="Var" />
@ -1181,7 +1169,7 @@
</node>
</node>
<node concept="nsMwS" id="7VBaGntKJaG" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ6T" />
<ref role="nsMwP" node="7VBaGntKJ6T" resolve="sentence" />
<node concept="1nq8_$" id="2oO2uzBXAsU" role="nsMwV">
<node concept="a7P8L" id="2oO2uzBXAsT" role="1nq8_t">
<ref role="a7OzE" node="2oO2uzBWT6$" resolve="Prem" />
@ -1828,9 +1816,9 @@
<ref role="3AqCNq" to="6r1k:2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKINL" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJag" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ6Q" />
<ref role="ns1xF" node="7VBaGntKJ6Q" resolve="Forall" />
<node concept="nsMwS" id="7VBaGntKJah" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ6S" />
<ref role="nsMwP" node="7VBaGntKJ6S" resolve="variable" />
<node concept="1nq8_$" id="2CF5XF5oJvc" role="nsMwV">
<node concept="a7P8L" id="2CF5XF5oJvd" role="1nq8_t">
<ref role="a7OzE" node="2oO2uzBWNnU" resolve="Var" />
@ -1838,7 +1826,7 @@
</node>
</node>
<node concept="nsMwS" id="7VBaGntKJai" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ6T" />
<ref role="nsMwP" node="7VBaGntKJ6T" resolve="sentence" />
<node concept="1nq8_$" id="2CF5XF5oJvi" role="nsMwV">
<node concept="a7P8L" id="2CF5XF5oJvj" role="1nq8_t">
<ref role="a7OzE" node="2oO2uzBXx8g" resolve="Stc" />
@ -2065,9 +2053,9 @@
<ref role="3AqCNq" to="6r1k:2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKINN" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJaj" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ6U" />
<ref role="ns1xF" node="7VBaGntKJ6U" resolve="Exists" />
<node concept="nsMwS" id="7VBaGntKJak" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ6W" />
<ref role="nsMwP" node="7VBaGntKJ6W" resolve="variable" />
<node concept="1nq8_$" id="2CF5XF5qul1" role="nsMwV">
<node concept="a7P8L" id="2CF5XF5qul0" role="1nq8_t">
<ref role="a7OzE" node="2CF5XF5qukG" resolve="Var" />
@ -2075,7 +2063,7 @@
</node>
</node>
<node concept="nsMwS" id="7VBaGntKJal" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ6X" />
<ref role="nsMwP" node="7VBaGntKJ6X" resolve="sentence" />
<node concept="1nq8_$" id="2CF5XF5quA1" role="nsMwV">
<node concept="a7P8L" id="2CF5XF5quA0" role="1nq8_t">
<ref role="a7OzE" node="2CF5XF5quzw" resolve="Stc" />
@ -2344,9 +2332,9 @@
<ref role="3AqCNq" to="6r1k:2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKINO" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJa$" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ6U" />
<ref role="ns1xF" node="7VBaGntKJ6U" resolve="Exists" />
<node concept="nsMwS" id="7VBaGntKJa_" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ6W" />
<ref role="nsMwP" node="7VBaGntKJ6W" resolve="variable" />
<node concept="1nq8_$" id="2CF5XF5qAuj" role="nsMwV">
<node concept="a7P8L" id="2CF5XF5qAui" role="1nq8_t">
<ref role="a7OzE" node="2CF5XF5qAtH" resolve="ExVar" />
@ -2354,7 +2342,7 @@
</node>
</node>
<node concept="nsMwS" id="7VBaGntKJaA" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ6X" />
<ref role="nsMwP" node="7VBaGntKJ6X" resolve="sentence" />
<node concept="1nq8_$" id="2CF5XF5qAwy" role="nsMwV">
<node concept="a7P8L" id="2CF5XF5qODY" role="1nq8_t">
<ref role="a7OzE" node="2CF5XF5qOwG" resolve="ExStc" />
@ -2398,9 +2386,9 @@
<ref role="3AqCNq" to="6r1k:2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKINP" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJad" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ6Q" />
<ref role="ns1xF" node="7VBaGntKJ6Q" resolve="Forall" />
<node concept="nsMwS" id="7VBaGntKJae" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ6S" />
<ref role="nsMwP" node="7VBaGntKJ6S" resolve="variable" />
<node concept="1nq8_$" id="3dsgZcixZw2" role="nsMwV">
<node concept="a7P8L" id="3dsgZcixZw3" role="1nq8_t">
<ref role="a7OzE" node="2CF5XF5qNbA" resolve="UniVar" />
@ -2408,12 +2396,12 @@
</node>
</node>
<node concept="nsMwS" id="7VBaGntKJaf" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ6T" />
<ref role="nsMwP" node="7VBaGntKJ6T" resolve="sentence" />
<node concept="1nq8_$" id="3dsgZcixZw8" role="nsMwV">
<node concept="ns1u0" id="7VBaGntKJas" role="1nq8_t">
<ref role="ns1xF" to="6r1k:7VBaGntKJ89" />
<ref role="ns1xF" to="6r1k:7VBaGntKJ89" resolve="If" />
<node concept="nsMwS" id="7VBaGntKJat" role="ns1xD">
<ref role="nsMwP" to="6r1k:7VBaGntKJ8b" />
<ref role="nsMwP" to="6r1k:7VBaGntKJ8b" resolve="antecedent" />
<node concept="1nq8_$" id="3dsgZcixZwe" role="nsMwV">
<node concept="a7P8L" id="3dsgZcixZwf" role="1nq8_t">
<ref role="a7OzE" node="2CF5XF5qAtS" resolve="UniStc" />
@ -2421,7 +2409,7 @@
</node>
</node>
<node concept="nsMwS" id="7VBaGntKJau" role="ns1xD">
<ref role="nsMwP" to="6r1k:7VBaGntKJ8c" />
<ref role="nsMwP" to="6r1k:7VBaGntKJ8c" resolve="consequence" />
<node concept="1nq8_$" id="3dsgZcixZwk" role="nsMwV">
<node concept="a7P8L" id="3dsgZcixZwl" role="1nq8_t">
<ref role="a7OzE" node="2CF5XF5qF8v" resolve="Con" />

262
samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps
View File

@ -155,28 +155,28 @@
<child id="1618328391714763070" name="macro" index="0oKgB" />
<child id="6097203247162410403" name="prototype" index="3iTdIJ" />
</concept>
<concept id="861509610434242029" name="" flags="ng" index="ns1u0">
<reference id="861509610434243078" name="" index="ns1xF" />
<child id="861509610434243076" name="" index="ns1xD" />
<concept id="861509610434242029" name="jetbrains.mps.lang.coderules.structure.DataFormConstructor" flags="ng" index="ns1u0">
<reference id="861509610434243078" name="decl" index="ns1xF" />
<child id="861509610434243076" name="override" index="ns1xD" />
</concept>
<concept id="861509610434243104" name="" flags="ng" index="ns1xd">
<child id="861509610434243105" name="" index="ns1xc" />
<concept id="861509610434243104" name="jetbrains.mps.lang.coderules.structure.DataFormTable" flags="ng" index="ns1xd">
<child id="861509610434243105" name="contents" index="ns1xc" />
</concept>
<concept id="861509610434243081" name="" flags="ng" index="ns1x$">
<child id="861509610434243084" name="" index="ns1xx" />
<concept id="861509610434243081" name="jetbrains.mps.lang.coderules.structure.DataFormDeclaration" flags="ng" index="ns1x$">
<child id="861509610434243084" name="template" index="ns1xx" />
</concept>
<concept id="861509610434305888" name="" flags="ng" index="nsiOd" />
<concept id="861509610434276453" name="" flags="ng" index="nspS8">
<property id="861509610434276456" name="" index="nspS5" />
<concept id="861509610434305888" name="jetbrains.mps.lang.coderules.structure.ListFeature" flags="ng" index="nsiOd" />
<concept id="861509610434276453" name="jetbrains.mps.lang.coderules.structure.DataFormFeature" flags="ng" index="nspS8">
<property id="861509610434276456" name="final" index="nspS5" />
</concept>
<concept id="861509610434276450" name="" flags="ng" index="nspSf">
<child id="861509610434276451" name="" index="nspSe" />
<concept id="861509610434276450" name="jetbrains.mps.lang.coderules.structure.DataFormTemplate" flags="ng" index="nspSf">
<child id="861509610434276451" name="feature" index="nspSe" />
</concept>
<concept id="861509610434294982" name="" flags="ng" index="nssqF" />
<concept id="861509610434289827" name="" flags="ng" index="nstbe" />
<concept id="861509610434435669" name="" flags="ng" index="nsMwS">
<reference id="861509610434435672" name="" index="nsMwP" />
<child id="861509610434435670" name="" index="nsMwV" />
<concept id="861509610434294982" name="jetbrains.mps.lang.coderules.structure.ValueFeature" flags="ng" index="nssqF" />
<concept id="861509610434289827" name="jetbrains.mps.lang.coderules.structure.ChildFeature" flags="ng" index="nstbe" />
<concept id="861509610434435669" name="jetbrains.mps.lang.coderules.structure.DataFormFeatureOverride" flags="ng" index="nsMwS">
<reference id="861509610434435672" name="feature" index="nsMwP" />
<child id="861509610434435670" name="getter" index="nsMwV" />
</concept>
<concept id="6691972578451976398" name="jetbrains.mps.lang.coderules.structure.RuleInputSpecification" flags="ng" index="2t___k">
<reference id="6691972578451990912" name="applicableConcept" index="2t_S0q" />
@ -187,7 +187,7 @@
<child id="1980609059185345194" name="constraint" index="8PkJo" />
<child id="3575255234175157601" name="template" index="1nK1Vg" />
</concept>
<concept id="2381360340662937504" name="" flags="ng" index="32pEOW" />
<concept id="2381360340662937504" name="jetbrains.mps.lang.coderules.structure.TermType" flags="ig" index="32pEOW" />
<concept id="6097203247156088058" name="jetbrains.mps.lang.coderules.structure.ExpandMacroInputSpecification" flags="ng" index="3ixlbQ">
<reference id="6097203247156276310" name="applicableConcept" index="3ixz9q" />
<child id="6097203247156107501" name="input" index="3ix8rx" />
@ -297,19 +297,15 @@
<ref role="a7OzE" node="5itBwM9U0XA" resolve="Sent" />
</node>
<node concept="ns1u0" id="5itBwM9U1$0" role="3A8w4Q">
<ref role="ns1xF" node="7VBaGntKJ7X" />
<ref role="ns1xF" node="7VBaGntKJ7X" resolve="Const" />
<node concept="nsMwS" id="5itBwM9U1$2" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ7Z" />
<node concept="1nq8_$" id="5itBwM9U29D" role="nsMwV">
<node concept="37jhX" id="5itBwM9U29C" role="1nq8_t">
<node concept="2OqwBi" id="5itBwM9U2m7" role="37jj2">
<node concept="3j8tct" id="5itBwM9U29A" role="2Oq$k0">
<ref role="3j8tcu" node="5itBwM9U0o0" resolve="prop" />
</node>
<node concept="3TrcHB" id="5itBwM9U2CP" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
</node>
</node>
<ref role="nsMwP" node="7VBaGntKJ7Z" resolve="name" />
<node concept="2OqwBi" id="5itBwM9U2m7" role="nsMwV">
<node concept="3j8tct" id="5itBwM9U29A" role="2Oq$k0">
<ref role="3j8tcu" node="5itBwM9U0o0" resolve="prop" />
</node>
<node concept="3TrcHB" id="5itBwM9U2CP" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
</node>
</node>
</node>
@ -420,9 +416,9 @@
</node>
</node>
<node concept="ns1u0" id="5itBwM9YtBi" role="3A8w4Q">
<ref role="ns1xF" node="7VBaGntKJ80" />
<ref role="ns1xF" node="7VBaGntKJ80" resolve="And" />
<node concept="nsMwS" id="5itBwM9YtBj" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ82" />
<ref role="nsMwP" node="7VBaGntKJ82" resolve="conjuncts" />
<node concept="1nq8_$" id="5itBwM9YtBk" role="nsMwV">
<node concept="37jhX" id="5itBwMa4JBL" role="1nq8_t">
<node concept="1nq8_$" id="5itBwMa4JBK" role="37jj2">
@ -551,9 +547,9 @@
</node>
</node>
<node concept="ns1u0" id="5itBwMa4_iJ" role="3A8w4Q">
<ref role="ns1xF" node="7VBaGntKJ83" />
<ref role="ns1xF" node="7VBaGntKJ83" resolve="Or" />
<node concept="nsMwS" id="5itBwMa4_iK" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ85" />
<ref role="nsMwP" node="7VBaGntKJ85" resolve="disjuncts" />
<node concept="1nq8_$" id="5itBwMa4_iL" role="nsMwV">
<node concept="37jhX" id="5itBwMa4Kv$" role="1nq8_t">
<node concept="1nq8_$" id="5itBwMa4Kvz" role="37jj2">
@ -638,9 +634,9 @@
</node>
</node>
<node concept="ns1u0" id="5itBwMa4F78" role="3A8w4Q">
<ref role="ns1xF" node="7VBaGntKJ86" />
<ref role="ns1xF" node="7VBaGntKJ86" resolve="Not" />
<node concept="nsMwS" id="5itBwMa4F79" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ88" />
<ref role="nsMwP" node="7VBaGntKJ88" resolve="target" />
<node concept="1nq8_$" id="5itBwMa4F7a" role="nsMwV">
<node concept="a7P8L" id="5itBwMa4F7b" role="1nq8_t">
<ref role="a7OzE" node="5itBwMa4CQK" resolve="Target" />
@ -715,9 +711,9 @@
</node>
</node>
<node concept="ns1u0" id="5itBwMa5UrK" role="3A8w4Q">
<ref role="ns1xF" node="7VBaGntKJ89" />
<ref role="ns1xF" node="7VBaGntKJ89" resolve="If" />
<node concept="nsMwS" id="5itBwMa5UrL" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8b" />
<ref role="nsMwP" node="7VBaGntKJ8b" resolve="antecedent" />
<node concept="1nq8_$" id="5itBwMa5UrM" role="nsMwV">
<node concept="a7P8L" id="5itBwMa5UrN" role="1nq8_t">
<ref role="a7OzE" node="5itBwMa5SHO" resolve="Atcd" />
@ -725,7 +721,7 @@
</node>
</node>
<node concept="nsMwS" id="5itBwMa5UrO" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8c" />
<ref role="nsMwP" node="7VBaGntKJ8c" resolve="consequence" />
<node concept="1nq8_$" id="5itBwMa5UrP" role="nsMwV">
<node concept="a7P8L" id="5itBwMa5UrQ" role="1nq8_t">
<ref role="a7OzE" node="5itBwMa5STx" resolve="Csqt" />
@ -803,9 +799,9 @@
</node>
</node>
<node concept="ns1u0" id="5itBwMa5UZh" role="3A8w4Q">
<ref role="ns1xF" node="7VBaGntKJ8d" />
<ref role="ns1xF" node="7VBaGntKJ8d" resolve="Iff" />
<node concept="nsMwS" id="5itBwMa5UZi" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8f" />
<ref role="nsMwP" node="7VBaGntKJ8f" resolve="antecedent" />
<node concept="1nq8_$" id="5itBwMa5UZj" role="nsMwV">
<node concept="a7P8L" id="5itBwMa5UZk" role="1nq8_t">
<ref role="a7OzE" node="5itBwMa5UZp" resolve="Atcd" />
@ -813,7 +809,7 @@
</node>
</node>
<node concept="nsMwS" id="5itBwMa5UZl" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8g" />
<ref role="nsMwP" node="7VBaGntKJ8g" resolve="consequence" />
<node concept="1nq8_$" id="5itBwMa5UZm" role="nsMwV">
<node concept="a7P8L" id="5itBwMa5UZn" role="1nq8_t">
<ref role="a7OzE" node="5itBwMa5UZq" resolve="Csqt" />
@ -1268,9 +1264,9 @@
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKIR1" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJef" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ80" />
<ref role="ns1xF" node="7VBaGntKJ80" resolve="And" />
<node concept="nsMwS" id="7VBaGntKJeg" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ82" />
<ref role="nsMwP" node="7VBaGntKJ82" resolve="conjuncts" />
<node concept="1oi1Uc" id="2AfSc6JvNjG" role="nsMwV">
<node concept="KCUsM" id="2AfSc6JvNm_" role="1oi0x0">
<node concept="3wAshV" id="3zXFZnUhsMC" role="KCVpo">
@ -1482,9 +1478,9 @@
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKIRb" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJfe" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ80" />
<ref role="ns1xF" node="7VBaGntKJ80" resolve="And" />
<node concept="nsMwS" id="7VBaGntKJff" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ82" />
<ref role="nsMwP" node="7VBaGntKJ82" resolve="conjuncts" />
<node concept="1oi1Uc" id="2AfSc6JvO6C" role="nsMwV">
<node concept="KCUsM" id="2AfSc6JvO6D" role="1oi0x0">
<node concept="3wAshV" id="3zXFZnUhsME" role="KCVpo">
@ -1653,9 +1649,9 @@
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKIRo" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJf1" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ80" />
<ref role="ns1xF" node="7VBaGntKJ80" resolve="And" />
<node concept="nsMwS" id="7VBaGntKJf2" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ82" />
<ref role="nsMwP" node="7VBaGntKJ82" resolve="conjuncts" />
<node concept="1oi1Uc" id="2AfSc6Jwgqh" role="nsMwV">
<node concept="KCUsM" id="2AfSc6Jwgta" role="1oi0x0">
<node concept="3wAshV" id="3zXFZnUhsMG" role="KCVpo">
@ -1803,9 +1799,9 @@
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKIR8" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJf9" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ80" />
<ref role="ns1xF" node="7VBaGntKJ80" resolve="And" />
<node concept="nsMwS" id="7VBaGntKJfa" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ82" />
<ref role="nsMwP" node="7VBaGntKJ82" resolve="conjuncts" />
<node concept="1oi1Uc" id="2AfSc6Jw_SP" role="nsMwV">
<node concept="KCUsM" id="2AfSc6Jw_SQ" role="1oi0x0">
<node concept="2IllgU" id="2AfSc6Jw_SV" role="KCVpo" />
@ -1966,9 +1962,9 @@
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKIRj" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJer" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ83" />
<ref role="ns1xF" node="7VBaGntKJ83" resolve="Or" />
<node concept="nsMwS" id="7VBaGntKJes" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ85" />
<ref role="nsMwP" node="7VBaGntKJ85" resolve="disjuncts" />
<node concept="1oi1Uc" id="2YqrT$P4bbQ" role="nsMwV">
<node concept="KCUsM" id="2YqrT$P4beJ" role="1oi0x0">
<node concept="3wAshV" id="3zXFZnUhsMI" role="KCVpo">
@ -2111,9 +2107,9 @@
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKIRl" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJdV" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ83" />
<ref role="ns1xF" node="7VBaGntKJ83" resolve="Or" />
<node concept="nsMwS" id="7VBaGntKJdW" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ85" />
<ref role="nsMwP" node="7VBaGntKJ85" resolve="disjuncts" />
<node concept="1oi1Uc" id="2YqrT$P4hvt" role="nsMwV">
<node concept="KCUsM" id="2YqrT$P4hvu" role="1oi0x0">
<node concept="2IllgU" id="2YqrT$P4hvz" role="KCVpo" />
@ -2243,9 +2239,9 @@
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKIQV" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJeo" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ89" />
<ref role="ns1xF" node="7VBaGntKJ89" resolve="If" />
<node concept="nsMwS" id="7VBaGntKJep" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8b" />
<ref role="nsMwP" node="7VBaGntKJ8b" resolve="antecedent" />
<node concept="1nq8_$" id="3l440nVnr0E" role="nsMwV">
<node concept="a7P8L" id="3l440nVnr0D" role="1nq8_t">
<ref role="a7OzE" node="3l440nVnmQi" resolve="Disj1" />
@ -2253,7 +2249,7 @@
</node>
</node>
<node concept="nsMwS" id="7VBaGntKJeq" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8c" />
<ref role="nsMwP" node="7VBaGntKJ8c" resolve="consequence" />
<node concept="1nq8_$" id="2AfSc6JyU7k" role="nsMwV">
<node concept="a7P8L" id="2AfSc6JyU7j" role="1nq8_t">
<ref role="a7OzE" node="2AfSc6JyU4R" resolve="Con" />
@ -2292,9 +2288,9 @@
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKIRe" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJfg" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ89" />
<ref role="ns1xF" node="7VBaGntKJ89" resolve="If" />
<node concept="nsMwS" id="7VBaGntKJfh" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8b" />
<ref role="nsMwP" node="7VBaGntKJ8b" resolve="antecedent" />
<node concept="1nq8_$" id="3l440nVnrk5" role="nsMwV">
<node concept="a7P8L" id="3l440nVnrk4" role="1nq8_t">
<ref role="a7OzE" node="3l440nVnmVa" resolve="Disj2" />
@ -2302,7 +2298,7 @@
</node>
</node>
<node concept="nsMwS" id="7VBaGntKJfi" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8c" />
<ref role="nsMwP" node="7VBaGntKJ8c" resolve="consequence" />
<node concept="1nq8_$" id="3l440nVnrhp" role="nsMwV">
<node concept="a7P8L" id="3l440nVnrsh" role="1nq8_t">
<ref role="a7OzE" node="2AfSc6JyU4R" resolve="Con" />
@ -2341,9 +2337,9 @@
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKIR6" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJf7" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ83" />
<ref role="ns1xF" node="7VBaGntKJ83" resolve="Or" />
<node concept="nsMwS" id="7VBaGntKJf8" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ85" />
<ref role="nsMwP" node="7VBaGntKJ85" resolve="disjuncts" />
<node concept="1oi1Uc" id="3l440nVnqu3" role="nsMwV">
<node concept="KCUsM" id="3l440nVnqx4" role="1oi0x0">
<node concept="3wAshV" id="3zXFZnUhsMK" role="KCVpo">
@ -2561,9 +2557,9 @@
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKIR5" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJeV" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ89" />
<ref role="ns1xF" node="7VBaGntKJ89" resolve="If" />
<node concept="nsMwS" id="7VBaGntKJeW" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8b" />
<ref role="nsMwP" node="7VBaGntKJ8b" resolve="antecedent" />
<node concept="1nq8_$" id="3l440nVo7SD" role="nsMwV">
<node concept="a7P8L" id="3l440nVo7SE" role="1nq8_t">
<ref role="a7OzE" node="3l440nVo7Tl" resolve="Disj1" />
@ -2571,7 +2567,7 @@
</node>
</node>
<node concept="nsMwS" id="7VBaGntKJeX" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8c" />
<ref role="nsMwP" node="7VBaGntKJ8c" resolve="consequence" />
<node concept="1nq8_$" id="3l440nVo7SJ" role="nsMwV">
<node concept="a7P8L" id="3l440nVo7SK" role="1nq8_t">
<ref role="a7OzE" node="3l440nVo7Tj" resolve="Con" />
@ -2610,9 +2606,9 @@
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKIQX" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJe4" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ89" />
<ref role="ns1xF" node="7VBaGntKJ89" resolve="If" />
<node concept="nsMwS" id="7VBaGntKJe5" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8b" />
<ref role="nsMwP" node="7VBaGntKJ8b" resolve="antecedent" />
<node concept="1nq8_$" id="3l440nVo7T2" role="nsMwV">
<node concept="a7P8L" id="3l440nVo7T3" role="1nq8_t">
<ref role="a7OzE" node="3l440nVo7Tm" resolve="Disj2" />
@ -2620,7 +2616,7 @@
</node>
</node>
<node concept="nsMwS" id="7VBaGntKJe6" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8c" />
<ref role="nsMwP" node="7VBaGntKJ8c" resolve="consequence" />
<node concept="1nq8_$" id="3l440nVo7T8" role="nsMwV">
<node concept="a7P8L" id="3l440nVo7T9" role="1nq8_t">
<ref role="a7OzE" node="3l440nVo7Tj" resolve="Con" />
@ -2659,9 +2655,9 @@
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKIR2" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJfm" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ83" />
<ref role="ns1xF" node="7VBaGntKJ83" resolve="Or" />
<node concept="nsMwS" id="7VBaGntKJfn" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ85" />
<ref role="nsMwP" node="7VBaGntKJ85" resolve="disjuncts" />
<node concept="1oi1Uc" id="3l440nVo7Sk" role="nsMwV">
<node concept="KCUsM" id="3l440nVo7Sl" role="1oi0x0">
<node concept="3wAshV" id="3zXFZnUhsMM" role="KCVpo">
@ -2866,9 +2862,9 @@
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKIQY" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJe7" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ86" />
<ref role="ns1xF" node="7VBaGntKJ86" resolve="Not" />
<node concept="nsMwS" id="7VBaGntKJe8" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ88" />
<ref role="nsMwP" node="7VBaGntKJ88" resolve="target" />
<node concept="1nq8_$" id="2YqrT$P4Dek" role="nsMwV">
<node concept="a7P8L" id="2YqrT$P4Dej" role="1nq8_t">
<ref role="a7OzE" node="2YqrT$P4CCk" resolve="PremAtcd" />
@ -2891,9 +2887,9 @@
<node concept="3Aqt3T" id="2YqrT$P4CCM" role="3I6s78">
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="ns1u0" id="7VBaGntKJel" role="3AunhB">
<ref role="ns1xF" node="7VBaGntKJ89" />
<ref role="ns1xF" node="7VBaGntKJ89" resolve="If" />
<node concept="nsMwS" id="7VBaGntKJem" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8b" />
<ref role="nsMwP" node="7VBaGntKJ8b" resolve="antecedent" />
<node concept="1nq8_$" id="2YqrT$P4CDm" role="nsMwV">
<node concept="a7P8L" id="2YqrT$P4CDl" role="1nq8_t">
<ref role="a7OzE" node="2YqrT$P4CCk" resolve="PremAtcd" />
@ -2901,7 +2897,7 @@
</node>
</node>
<node concept="nsMwS" id="7VBaGntKJen" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8c" />
<ref role="nsMwP" node="7VBaGntKJ8c" resolve="consequence" />
<node concept="1nq8_$" id="2YqrT$P4CLS" role="nsMwV">
<node concept="a7P8L" id="2YqrT$P4CLR" role="1nq8_t">
<ref role="a7OzE" node="2YqrT$P4CCw" resolve="PremCsq" />
@ -2935,9 +2931,9 @@
<node concept="3Aqt3T" id="2YqrT$P4I0G" role="3I6s78">
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="ns1u0" id="7VBaGntKJdP" role="3AunhB">
<ref role="ns1xF" node="7VBaGntKJ89" />
<ref role="ns1xF" node="7VBaGntKJ89" resolve="If" />
<node concept="nsMwS" id="7VBaGntKJdQ" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8b" />
<ref role="nsMwP" node="7VBaGntKJ8b" resolve="antecedent" />
<node concept="1nq8_$" id="2YqrT$P4I0M" role="nsMwV">
<node concept="a7P8L" id="2YqrT$P4I0N" role="1nq8_t">
<ref role="a7OzE" node="2YqrT$P4CCk" resolve="PremAtcd" />
@ -2945,12 +2941,12 @@
</node>
</node>
<node concept="nsMwS" id="7VBaGntKJdR" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8c" />
<ref role="nsMwP" node="7VBaGntKJ8c" resolve="consequence" />
<node concept="1nq8_$" id="2YqrT$P4If5" role="nsMwV">
<node concept="ns1u0" id="7VBaGntKJet" role="1nq8_t">
<ref role="ns1xF" node="7VBaGntKJ86" />
<ref role="ns1xF" node="7VBaGntKJ86" resolve="Not" />
<node concept="nsMwS" id="7VBaGntKJeu" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ88" />
<ref role="nsMwP" node="7VBaGntKJ88" resolve="target" />
<node concept="1nq8_$" id="2YqrT$P4IjJ" role="nsMwV">
<node concept="a7P8L" id="2YqrT$P4IjI" role="1nq8_t">
<ref role="a7OzE" node="2YqrT$P4CCw" resolve="PremCsq" />
@ -3111,9 +3107,9 @@
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKIRd" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJex" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ86" />
<ref role="ns1xF" node="7VBaGntKJ86" resolve="Not" />
<node concept="nsMwS" id="7VBaGntKJey" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ88" />
<ref role="nsMwP" node="7VBaGntKJ88" resolve="target" />
<node concept="1nq8_$" id="2YqrT$P4IqB" role="nsMwV">
<node concept="a7P8L" id="2YqrT$P4IqC" role="1nq8_t">
<ref role="a7OzE" node="2YqrT$P4Irx" resolve="PremAtcd" />
@ -3136,9 +3132,9 @@
<node concept="3Aqt3T" id="2YqrT$P4Ir3" role="3I6s78">
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="ns1u0" id="7VBaGntKJeY" role="3AunhB">
<ref role="ns1xF" node="7VBaGntKJ89" />
<ref role="ns1xF" node="7VBaGntKJ89" resolve="If" />
<node concept="nsMwS" id="7VBaGntKJeZ" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8b" />
<ref role="nsMwP" node="7VBaGntKJ8b" resolve="antecedent" />
<node concept="1nq8_$" id="2YqrT$P4Ir9" role="nsMwV">
<node concept="a7P8L" id="2YqrT$P4Ira" role="1nq8_t">
<ref role="a7OzE" node="2YqrT$P4Irx" resolve="PremAtcd" />
@ -3146,12 +3142,12 @@
</node>
</node>
<node concept="nsMwS" id="7VBaGntKJf0" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8c" />
<ref role="nsMwP" node="7VBaGntKJ8c" resolve="consequence" />
<node concept="1nq8_$" id="2YqrT$P4Irf" role="nsMwV">
<node concept="ns1u0" id="7VBaGntKJev" role="1nq8_t">
<ref role="ns1xF" node="7VBaGntKJ86" />
<ref role="ns1xF" node="7VBaGntKJ86" resolve="Not" />
<node concept="nsMwS" id="7VBaGntKJew" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ88" />
<ref role="nsMwP" node="7VBaGntKJ88" resolve="target" />
<node concept="1nq8_$" id="2YqrT$P4Irl" role="nsMwV">
<node concept="a7P8L" id="2YqrT$P4Irm" role="1nq8_t">
<ref role="a7OzE" node="2YqrT$P4Iry" resolve="PremCsq" />
@ -3188,9 +3184,9 @@
<node concept="3Aqt3T" id="2YqrT$P4IqG" role="3I6s78">
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="ns1u0" id="7VBaGntKJdZ" role="3AunhB">
<ref role="ns1xF" node="7VBaGntKJ89" />
<ref role="ns1xF" node="7VBaGntKJ89" resolve="If" />
<node concept="nsMwS" id="7VBaGntKJe0" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8b" />
<ref role="nsMwP" node="7VBaGntKJ8b" resolve="antecedent" />
<node concept="1nq8_$" id="2YqrT$P4IqM" role="nsMwV">
<node concept="a7P8L" id="2YqrT$P4IqN" role="1nq8_t">
<ref role="a7OzE" node="2YqrT$P4Irx" resolve="PremAtcd" />
@ -3198,7 +3194,7 @@
</node>
</node>
<node concept="nsMwS" id="7VBaGntKJe1" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8c" />
<ref role="nsMwP" node="7VBaGntKJ8c" resolve="consequence" />
<node concept="1nq8_$" id="2YqrT$P4IqS" role="nsMwV">
<node concept="a7P8L" id="2YqrT$P4IqT" role="1nq8_t">
<ref role="a7OzE" node="2YqrT$P4Iry" resolve="PremCsq" />
@ -3369,14 +3365,14 @@
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKIRn" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJdX" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ86" />
<ref role="ns1xF" node="7VBaGntKJ86" resolve="Not" />
<node concept="nsMwS" id="7VBaGntKJdY" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ88" />
<ref role="nsMwP" node="7VBaGntKJ88" resolve="target" />
<node concept="1nq8_$" id="2YqrT$P5jLb" role="nsMwV">
<node concept="ns1u0" id="7VBaGntKJf5" role="1nq8_t">
<ref role="ns1xF" node="7VBaGntKJ86" />
<ref role="ns1xF" node="7VBaGntKJ86" resolve="Not" />
<node concept="nsMwS" id="7VBaGntKJf6" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ88" />
<ref role="nsMwP" node="7VBaGntKJ88" resolve="target" />
<node concept="1nq8_$" id="2YqrT$P5jNi" role="nsMwV">
<node concept="a7P8L" id="2YqrT$P5rMC" role="1nq8_t">
<ref role="a7OzE" node="2YqrT$P4S09" resolve="Con" />
@ -3517,9 +3513,9 @@
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKIRf" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJdM" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ89" />
<ref role="ns1xF" node="7VBaGntKJ89" resolve="If" />
<node concept="nsMwS" id="7VBaGntKJdN" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8b" />
<ref role="nsMwP" node="7VBaGntKJ8b" resolve="antecedent" />
<node concept="1nq8_$" id="2YqrT$P64tX" role="nsMwV">
<node concept="a7P8L" id="2YqrT$P64tW" role="1nq8_t">
<ref role="a7OzE" node="2YqrT$P64s7" resolve="Atcd" />
@ -3527,7 +3523,7 @@
</node>
</node>
<node concept="nsMwS" id="7VBaGntKJdO" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8c" />
<ref role="nsMwP" node="7VBaGntKJ8c" resolve="consequence" />
<node concept="1nq8_$" id="2YqrT$P64EJ" role="nsMwV">
<node concept="a7P8L" id="2YqrT$P64EI" role="1nq8_t">
<ref role="a7OzE" node="2YqrT$P64tc" resolve="Csqt" />
@ -3778,9 +3774,9 @@
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKIQW" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJeS" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ89" />
<ref role="ns1xF" node="7VBaGntKJ89" resolve="If" />
<node concept="nsMwS" id="7VBaGntKJeT" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8b" />
<ref role="nsMwP" node="7VBaGntKJ8b" resolve="antecedent" />
<node concept="1nq8_$" id="2AfSc6JxXJm" role="nsMwV">
<node concept="a7P8L" id="2AfSc6JxXJn" role="1nq8_t">
<ref role="a7OzE" node="2AfSc6JxXK4" resolve="Ass" />
@ -3788,7 +3784,7 @@
</node>
</node>
<node concept="nsMwS" id="7VBaGntKJeU" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8c" />
<ref role="nsMwP" node="7VBaGntKJ8c" resolve="consequence" />
<node concept="1nq8_$" id="2AfSc6JxXJs" role="nsMwV">
<node concept="a7P8L" id="2AfSc6JxYMg" role="1nq8_t">
<ref role="a7OzE" node="2AfSc6JxXK4" resolve="Ass" />
@ -4009,9 +4005,9 @@
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKIRc" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJeD" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ89" />
<ref role="ns1xF" node="7VBaGntKJ89" resolve="If" />
<node concept="nsMwS" id="7VBaGntKJeE" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8b" />
<ref role="nsMwP" node="7VBaGntKJ8b" resolve="antecedent" />
<node concept="1nq8_$" id="2AfSc6JuArn" role="nsMwV">
<node concept="a7P8L" id="2AfSc6JuArm" role="1nq8_t">
<ref role="a7OzE" node="2AfSc6JuA9o" resolve="AtcdPrem" />
@ -4019,7 +4015,7 @@
</node>
</node>
<node concept="nsMwS" id="7VBaGntKJeF" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8c" />
<ref role="nsMwP" node="7VBaGntKJ8c" resolve="consequence" />
<node concept="1nq8_$" id="2AfSc6Juz2J" role="nsMwV">
<node concept="a7P8L" id="2AfSc6Juz2I" role="1nq8_t">
<ref role="a7OzE" node="2AfSc6JuwUs" resolve="Con" />
@ -4209,9 +4205,9 @@
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKIRk" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJdS" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ89" />
<ref role="ns1xF" node="7VBaGntKJ89" resolve="If" />
<node concept="nsMwS" id="7VBaGntKJdT" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8b" />
<ref role="nsMwP" node="7VBaGntKJ8b" resolve="antecedent" />
<node concept="1nq8_$" id="3l440nVrMxP" role="nsMwV">
<node concept="a7P8L" id="3l440nVrMxO" role="1nq8_t">
<ref role="a7OzE" node="3l440nVrMcp" resolve="Atcd" />
@ -4219,7 +4215,7 @@
</node>
</node>
<node concept="nsMwS" id="7VBaGntKJdU" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8c" />
<ref role="nsMwP" node="7VBaGntKJ8c" resolve="consequence" />
<node concept="1nq8_$" id="3l440nVrM$p" role="nsMwV">
<node concept="a7P8L" id="3l440nVrM$o" role="1nq8_t">
<ref role="a7OzE" node="3l440nVrMcF" resolve="Csqt" />
@ -4258,9 +4254,9 @@
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKIR9" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJdJ" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ89" />
<ref role="ns1xF" node="7VBaGntKJ89" resolve="If" />
<node concept="nsMwS" id="7VBaGntKJdK" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8b" />
<ref role="nsMwP" node="7VBaGntKJ8b" resolve="antecedent" />
<node concept="1nq8_$" id="3l440nVrQu5" role="nsMwV">
<node concept="a7P8L" id="3l440nVsmqS" role="1nq8_t">
<ref role="a7OzE" node="3l440nVrMcF" resolve="Csqt" />
@ -4268,7 +4264,7 @@
</node>
</node>
<node concept="nsMwS" id="7VBaGntKJdL" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8c" />
<ref role="nsMwP" node="7VBaGntKJ8c" resolve="consequence" />
<node concept="1nq8_$" id="3l440nVrQub" role="nsMwV">
<node concept="a7P8L" id="3l440nVsmEY" role="1nq8_t">
<ref role="a7OzE" node="3l440nVrMcp" resolve="Atcd" />
@ -4307,9 +4303,9 @@
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKIRi" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJec" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ8d" />
<ref role="ns1xF" node="7VBaGntKJ8d" resolve="Iff" />
<node concept="nsMwS" id="7VBaGntKJed" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8f" />
<ref role="nsMwP" node="7VBaGntKJ8f" resolve="antecedent" />
<node concept="1nq8_$" id="3l440nVrMgT" role="nsMwV">
<node concept="a7P8L" id="3l440nVrMgS" role="1nq8_t">
<ref role="a7OzE" node="3l440nVrMcp" resolve="Atcd" />
@ -4317,7 +4313,7 @@
</node>
</node>
<node concept="nsMwS" id="7VBaGntKJee" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8g" />
<ref role="nsMwP" node="7VBaGntKJ8g" resolve="consequence" />
<node concept="1nq8_$" id="3l440nVrMnH" role="nsMwV">
<node concept="a7P8L" id="3l440nVrMnG" role="1nq8_t">
<ref role="a7OzE" node="3l440nVrMcF" resolve="Csqt" />
@ -4470,9 +4466,9 @@
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKIQZ" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJeJ" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ89" />
<ref role="ns1xF" node="7VBaGntKJ89" resolve="If" />
<node concept="nsMwS" id="7VBaGntKJeK" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8b" />
<ref role="nsMwP" node="7VBaGntKJ8b" resolve="antecedent" />
<node concept="1nq8_$" id="3l440nVrS7l" role="nsMwV">
<node concept="a7P8L" id="3l440nVrS7m" role="1nq8_t">
<ref role="a7OzE" node="3l440nVrS8j" resolve="Atcd" />
@ -4480,7 +4476,7 @@
</node>
</node>
<node concept="nsMwS" id="7VBaGntKJeL" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8c" />
<ref role="nsMwP" node="7VBaGntKJ8c" resolve="consequence" />
<node concept="1nq8_$" id="3l440nVrS7r" role="nsMwV">
<node concept="a7P8L" id="3l440nVrS7s" role="1nq8_t">
<ref role="a7OzE" node="3l440nVrS8k" resolve="Csqt" />
@ -4519,9 +4515,9 @@
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKIRa" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJe9" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ89" />
<ref role="ns1xF" node="7VBaGntKJ89" resolve="If" />
<node concept="nsMwS" id="7VBaGntKJea" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8b" />
<ref role="nsMwP" node="7VBaGntKJ8b" resolve="antecedent" />
<node concept="1nq8_$" id="3l440nVrS7I" role="nsMwV">
<node concept="a7P8L" id="3l440nVsmO_" role="1nq8_t">
<ref role="a7OzE" node="3l440nVrS8k" resolve="Csqt" />
@ -4529,7 +4525,7 @@
</node>
</node>
<node concept="nsMwS" id="7VBaGntKJeb" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8c" />
<ref role="nsMwP" node="7VBaGntKJ8c" resolve="consequence" />
<node concept="1nq8_$" id="3l440nVrS7O" role="nsMwV">
<node concept="a7P8L" id="3l440nVsmYc" role="1nq8_t">
<ref role="a7OzE" node="3l440nVrS8j" resolve="Atcd" />
@ -4568,9 +4564,9 @@
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKIR3" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJfj" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ8d" />
<ref role="ns1xF" node="7VBaGntKJ8d" resolve="Iff" />
<node concept="nsMwS" id="7VBaGntKJfk" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8f" />
<ref role="nsMwP" node="7VBaGntKJ8f" resolve="antecedent" />
<node concept="1nq8_$" id="3l440nVrS87" role="nsMwV">
<node concept="a7P8L" id="3l440nVrT6x" role="1nq8_t">
<ref role="a7OzE" node="3l440nVrS8k" resolve="Csqt" />
@ -4578,7 +4574,7 @@
</node>
</node>
<node concept="nsMwS" id="7VBaGntKJfl" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8g" />
<ref role="nsMwP" node="7VBaGntKJ8g" resolve="consequence" />
<node concept="1nq8_$" id="3l440nVrS8d" role="nsMwV">
<node concept="a7P8L" id="3l440nVrTfl" role="1nq8_t">
<ref role="a7OzE" node="3l440nVrS8j" resolve="Atcd" />
@ -4676,9 +4672,9 @@
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKIRg" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJfb" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ89" />
<ref role="ns1xF" node="7VBaGntKJ89" resolve="If" />
<node concept="nsMwS" id="7VBaGntKJfc" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8b" />
<ref role="nsMwP" node="7VBaGntKJ8b" resolve="antecedent" />
<node concept="1nq8_$" id="3l440nVqBjm" role="nsMwV">
<node concept="a7P8L" id="3l440nVqBjl" role="1nq8_t">
<ref role="a7OzE" node="3l440nVqBii" resolve="Acdt" />
@ -4686,7 +4682,7 @@
</node>
</node>
<node concept="nsMwS" id="7VBaGntKJfd" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8c" />
<ref role="nsMwP" node="7VBaGntKJ8c" resolve="consequence" />
<node concept="1nq8_$" id="3l440nVqBA6" role="nsMwV">
<node concept="a7P8L" id="3l440nVqBA5" role="1nq8_t">
<ref role="a7OzE" node="3l440nVqBiE" resolve="Csqt" />
@ -4710,9 +4706,9 @@
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKIRh" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJez" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ8d" />
<ref role="ns1xF" node="7VBaGntKJ8d" resolve="Iff" />
<node concept="nsMwS" id="7VBaGntKJe$" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8f" />
<ref role="nsMwP" node="7VBaGntKJ8f" resolve="antecedent" />
<node concept="1nq8_$" id="3l440nVqBK4" role="nsMwV">
<node concept="a7P8L" id="3l440nVqBK5" role="1nq8_t">
<ref role="a7OzE" node="3l440nVqBii" resolve="Acdt" />
@ -4720,7 +4716,7 @@
</node>
</node>
<node concept="nsMwS" id="7VBaGntKJe_" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8g" />
<ref role="nsMwP" node="7VBaGntKJ8g" resolve="consequence" />
<node concept="1nq8_$" id="3l440nVqBKa" role="nsMwV">
<node concept="a7P8L" id="3l440nVqBKb" role="1nq8_t">
<ref role="a7OzE" node="3l440nVqBiE" resolve="Csqt" />
@ -4856,9 +4852,9 @@
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKIRm" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJeM" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ89" />
<ref role="ns1xF" node="7VBaGntKJ89" resolve="If" />
<node concept="nsMwS" id="7VBaGntKJeN" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8b" />
<ref role="nsMwP" node="7VBaGntKJ8b" resolve="antecedent" />
<node concept="1nq8_$" id="3l440nVqJkR" role="nsMwV">
<node concept="a7P8L" id="3l440nVqJkS" role="1nq8_t">
<ref role="a7OzE" node="3l440nVqJlt" resolve="Acdt" />
@ -4866,7 +4862,7 @@
</node>
</node>
<node concept="nsMwS" id="7VBaGntKJeO" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8c" />
<ref role="nsMwP" node="7VBaGntKJ8c" resolve="consequence" />
<node concept="1nq8_$" id="3l440nVqJkX" role="nsMwV">
<node concept="a7P8L" id="3l440nVqJkY" role="1nq8_t">
<ref role="a7OzE" node="3l440nVqJlu" resolve="Csqt" />
@ -4890,9 +4886,9 @@
<ref role="3AqCNq" node="2aBGSFgfwNi" resolve="conclusion" />
<node concept="1HFMs5" id="7VBaGntKIR7" role="3AunhB">
<node concept="ns1u0" id="7VBaGntKJeA" role="1uarlW">
<ref role="ns1xF" node="7VBaGntKJ8d" />
<ref role="ns1xF" node="7VBaGntKJ8d" resolve="Iff" />
<node concept="nsMwS" id="7VBaGntKJeB" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8f" />
<ref role="nsMwP" node="7VBaGntKJ8f" resolve="antecedent" />
<node concept="1nq8_$" id="3l440nVqJla" role="nsMwV">
<node concept="a7P8L" id="3l440nVqKhl" role="1nq8_t">
<ref role="a7OzE" node="3l440nVqJlu" resolve="Csqt" />
@ -4900,7 +4896,7 @@
</node>
</node>
<node concept="nsMwS" id="7VBaGntKJeC" role="ns1xD">
<ref role="nsMwP" node="7VBaGntKJ8g" />
<ref role="nsMwP" node="7VBaGntKJ8g" resolve="consequence" />
<node concept="1nq8_$" id="3l440nVqJlg" role="nsMwV">
<node concept="a7P8L" id="3l440nVqKpT" role="1nq8_t">
<ref role="a7OzE" node="3l440nVqJlt" resolve="Acdt" />

488
samples/lambdacalc/languages/samples.lambdacalc/models/types.mps
View File

File diff suppressed because it is too large Load Diff

1388
samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
View File

File diff suppressed because it is too large Load Diff