From d09373eaa94bd66fb809bb61cab9a10801dc442d Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Tue, 14 Nov 2017 14:13:20 +0100
Subject: [PATCH] Initial import

---
 samples/fitch/.gitignore                      |    9 +
 samples/fitch/.mps/.name                      |    1 +
 samples/fitch/.mps/encodings.xml              |    6 +
 samples/fitch/.mps/migration.xml              |    6 +
 samples/fitch/.mps/misc.xml                   |    6 +
 samples/fitch/.mps/modules.xml                |    9 +
 samples/fitch/.mps/version.xml                |    6 +
 .../generator/template/main@generator.mps     |   24 +
 .../jetbrains.mps.fitch.mpl                   |  100 +
 .../jetbrains.mps.fitch/models/behavior.mps   |   13 +
 .../models/constraints.mps                    |  401 ++++
 .../jetbrains.mps.fitch/models/editor.mps     | 1853 +++++++++++++++++
 .../jetbrains.mps.fitch/models/structure.mps  |  426 ++++
 .../jetbrains.mps.fitch/models/typesystem.mps |   11 +
 .../sandbox/jetbrains.mps.fitch.sandbox.msd   |   17 +
 .../models/jetbrains.mps.fitch.sandbox.mps    |  399 ++++
 16 files changed, 3287 insertions(+)
 create mode 100644 samples/fitch/.gitignore
 create mode 100644 samples/fitch/.mps/.name
 create mode 100644 samples/fitch/.mps/encodings.xml
 create mode 100644 samples/fitch/.mps/migration.xml
 create mode 100644 samples/fitch/.mps/misc.xml
 create mode 100644 samples/fitch/.mps/modules.xml
 create mode 100644 samples/fitch/.mps/version.xml
 create mode 100644 samples/fitch/languages/jetbrains.mps.fitch/generator/template/main@generator.mps
 create mode 100644 samples/fitch/languages/jetbrains.mps.fitch/jetbrains.mps.fitch.mpl
 create mode 100644 samples/fitch/languages/jetbrains.mps.fitch/models/behavior.mps
 create mode 100644 samples/fitch/languages/jetbrains.mps.fitch/models/constraints.mps
 create mode 100644 samples/fitch/languages/jetbrains.mps.fitch/models/editor.mps
 create mode 100644 samples/fitch/languages/jetbrains.mps.fitch/models/structure.mps
 create mode 100644 samples/fitch/languages/jetbrains.mps.fitch/models/typesystem.mps
 create mode 100644 samples/fitch/languages/jetbrains.mps.fitch/sandbox/jetbrains.mps.fitch.sandbox.msd
 create mode 100644 samples/fitch/languages/jetbrains.mps.fitch/sandbox/models/jetbrains.mps.fitch.sandbox.mps

diff --git a/samples/fitch/.gitignore b/samples/fitch/.gitignore
new file mode 100644
index 00000000..3902f893
--- /dev/null
+++ b/samples/fitch/.gitignore
@@ -0,0 +1,9 @@
+**/source_gen/*
+**/source_gen.caches/*
+**/test_gen/*
+**/test_gen.caches/*
+**/classes_gen/*
+.mps/workspace.xml
+.idea/workspace.xml
+out
+build/*
diff --git a/samples/fitch/.mps/.name b/samples/fitch/.mps/.name
new file mode 100644
index 00000000..0716d867
--- /dev/null
+++ b/samples/fitch/.mps/.name
@@ -0,0 +1 @@
+FitchProof
\ No newline at end of file
diff --git a/samples/fitch/.mps/encodings.xml b/samples/fitch/.mps/encodings.xml
new file mode 100644
index 00000000..97626ba4
--- /dev/null
+++ b/samples/fitch/.mps/encodings.xml
@@ -0,0 +1,6 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="Encoding">
+    <file url="PROJECT" charset="UTF-8" />
+  </component>
+</project>
\ No newline at end of file
diff --git a/samples/fitch/.mps/migration.xml b/samples/fitch/.mps/migration.xml
new file mode 100644
index 00000000..f5b58e7f
--- /dev/null
+++ b/samples/fitch/.mps/migration.xml
@@ -0,0 +1,6 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="MigrationProperties">
+    <entry key="jetbrains.mps.ide.mpsmigration.v172.JUnitLibsRepackaging" value="executed" />
+  </component>
+</project>
\ No newline at end of file
diff --git a/samples/fitch/.mps/misc.xml b/samples/fitch/.mps/misc.xml
new file mode 100644
index 00000000..8e3bf350
--- /dev/null
+++ b/samples/fitch/.mps/misc.xml
@@ -0,0 +1,6 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="MPSFavoritesManager">
+    <option name="keepMe" value="true" />
+  </component>
+</project>
\ No newline at end of file
diff --git a/samples/fitch/.mps/modules.xml b/samples/fitch/.mps/modules.xml
new file mode 100644
index 00000000..93ab66e6
--- /dev/null
+++ b/samples/fitch/.mps/modules.xml
@@ -0,0 +1,9 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="MPSProject">
+    <projectModules>
+      <modulePath path="$PROJECT_DIR$/languages/jetbrains.mps.fitch/jetbrains.mps.fitch.mpl" folder="" />
+      <modulePath path="$PROJECT_DIR$/languages/jetbrains.mps.fitch/sandbox/jetbrains.mps.fitch.sandbox.msd" folder="" />
+    </projectModules>
+  </component>
+</project>
\ No newline at end of file
diff --git a/samples/fitch/.mps/version.xml b/samples/fitch/.mps/version.xml
new file mode 100644
index 00000000..48d71a1e
--- /dev/null
+++ b/samples/fitch/.mps/version.xml
@@ -0,0 +1,6 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="ProjectVersion">
+    <option name="version" value="3.1" />
+  </component>
+</project>
\ No newline at end of file
diff --git a/samples/fitch/languages/jetbrains.mps.fitch/generator/template/main@generator.mps b/samples/fitch/languages/jetbrains.mps.fitch/generator/template/main@generator.mps
new file mode 100644
index 00000000..151bf772
--- /dev/null
+++ b/samples/fitch/languages/jetbrains.mps.fitch/generator/template/main@generator.mps
@@ -0,0 +1,24 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<model ref="r:83cd7034-af65-4765-8816-3821037e04b7(main@generator)">
+  <persistence version="9" />
+  <languages>
+    <devkit ref="a2eb3a43-fcc2-4200-80dc-c60110c4862d(jetbrains.mps.devkit.templates)" />
+  </languages>
+  <imports>
+    <import index="jfgh" ref="r:2003997c-f9a6-418f-99d4-03e1285a3e13(jetbrains.mps.fitch.structure)" />
+  </imports>
+  <registry>
+    <language id="b401a680-8325-4110-8fd3-84331ff25bef" name="jetbrains.mps.lang.generator">
+      <concept id="1095416546421" name="jetbrains.mps.lang.generator.structure.MappingConfiguration" flags="ig" index="bUwia" />
+    </language>
+    <language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
+      <concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
+        <property id="1169194664001" name="name" index="TrG5h" />
+      </concept>
+    </language>
+  </registry>
+  <node concept="bUwia" id="3JXBM6C3Cmb">
+    <property role="TrG5h" value="main" />
+  </node>
+</model>
+
diff --git a/samples/fitch/languages/jetbrains.mps.fitch/jetbrains.mps.fitch.mpl b/samples/fitch/languages/jetbrains.mps.fitch/jetbrains.mps.fitch.mpl
new file mode 100644
index 00000000..222a7010
--- /dev/null
+++ b/samples/fitch/languages/jetbrains.mps.fitch/jetbrains.mps.fitch.mpl
@@ -0,0 +1,100 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<language namespace="jetbrains.mps.fitch" uuid="06b7c5c7-e359-4f4b-a581-5d0c9323af39" languageVersion="0" moduleVersion="0">
+  <models>
+    <modelRoot contentPath="${module}" type="default">
+      <sourceRoot location="models" />
+    </modelRoot>
+  </models>
+  <accessoryModels />
+  <generators>
+    <generator alias="main" namespace="jetbrains.mps.fitch#4322786184247805322" uuid="65b2d9d2-5a92-4dd0-abf5-f3a1bd399bec" reflective-queries="true">
+      <models>
+        <modelRoot contentPath="${module}/generator/template" type="default">
+          <sourceRoot location="." />
+        </modelRoot>
+      </models>
+      <external-templates />
+      <languageVersions>
+        <language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="5" />
+        <language slang="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" version="0" />
+        <language slang="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" version="0" />
+        <language slang="l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc" version="2" />
+        <language slang="l:760a0a8c-eabb-4521-8bfd-65db761a9ba3:jetbrains.mps.baseLanguage.logging" version="0" />
+        <language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
+        <language slang="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" version="1" />
+        <language slang="l:b401a680-8325-4110-8fd3-84331ff25bef:jetbrains.mps.lang.generator" version="0" />
+        <language slang="l:d7706f63-9be2-479c-a3da-ae92af1e64d5:jetbrains.mps.lang.generator.generationContext" version="0" />
+        <language slang="l:289fcc83-6543-41e8-a5ca-768235715ce4:jetbrains.mps.lang.generator.generationParameters" version="0" />
+        <language slang="l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation" version="0" />
+        <language slang="l:13744753-c81f-424a-9c1b-cf8943bf4e86:jetbrains.mps.lang.sharedConcepts" version="0" />
+        <language slang="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" version="8" />
+        <language slang="l:9ded098b-ad6a-4657-bfd9-48636cfe8bc3:jetbrains.mps.lang.traceable" version="0" />
+      </languageVersions>
+      <dependencyVersions>
+        <module reference="3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations)" version="0" />
+        <module reference="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" version="0" />
+        <module reference="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" version="0" />
+        <module reference="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" version="0" />
+        <module reference="06b7c5c7-e359-4f4b-a581-5d0c9323af39(jetbrains.mps.fitch)" version="0" />
+        <module reference="65b2d9d2-5a92-4dd0-abf5-f3a1bd399bec(jetbrains.mps.fitch#4322786184247805322)" version="0" />
+        <module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
+        <module reference="d7eb0a2a-bd50-4576-beae-e4a89db35f20(jetbrains.mps.lang.scopes.runtime)" version="0" />
+        <module reference="c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure)" version="0" />
+      </dependencyVersions>
+      <mapping-priorities />
+    </generator>
+  </generators>
+  <sourcePath />
+  <dependencies>
+    <dependency reexport="false">06b7c5c7-e359-4f4b-a581-5d0c9323af39(jetbrains.mps.fitch)</dependency>
+  </dependencies>
+  <languageVersions>
+    <language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="5" />
+    <language slang="l:443f4c36-fcf5-4eb6-9500-8d06ed259e3e:jetbrains.mps.baseLanguage.classifiers" version="0" />
+    <language slang="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" version="0" />
+    <language slang="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" version="0" />
+    <language slang="l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc" version="2" />
+    <language slang="l:c7d5b9dd-a05f-4be2-bc73-f2e16994cc67:jetbrains.mps.baseLanguage.lightweightdsl" version="1" />
+    <language slang="l:760a0a8c-eabb-4521-8bfd-65db761a9ba3:jetbrains.mps.baseLanguage.logging" version="0" />
+    <language slang="l:daafa647-f1f7-4b0b-b096-69cd7c8408c0:jetbrains.mps.baseLanguage.regexp" version="0" />
+    <language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
+    <language slang="l:df345b11-b8c7-4213-ac66-48d2a9b75d88:jetbrains.mps.baseLanguageInternal" version="0" />
+    <language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
+    <language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="1" />
+    <language slang="l:fe9d76d7-5809-45c9-ae28-a40915b4d6ff:jetbrains.mps.lang.checkedName" version="0" />
+    <language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="4" />
+    <language slang="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" version="1" />
+    <language slang="l:7fa12e9c-b949-4976-b4fa-19accbc320b4:jetbrains.mps.lang.dataFlow" version="1" />
+    <language slang="l:f4ad079d-bc71-4ffb-9600-9328705cf998:jetbrains.mps.lang.descriptor" version="0" />
+    <language slang="l:18bc6592-03a6-4e29-a83a-7ff23bde13ba:jetbrains.mps.lang.editor" version="11" />
+    <language slang="l:0272d3b4-4cc8-481e-9e2f-07793fbfcb41:jetbrains.mps.lang.editor.table" version="0" />
+    <language slang="l:64d34fcd-ad02-4e73-aff8-a581124c2e30:jetbrains.mps.lang.findUsages" version="0" />
+    <language slang="l:b401a680-8325-4110-8fd3-84331ff25bef:jetbrains.mps.lang.generator" version="0" />
+    <language slang="l:d7706f63-9be2-479c-a3da-ae92af1e64d5:jetbrains.mps.lang.generator.generationContext" version="0" />
+    <language slang="l:d7a92d38-f7db-40d0-8431-763b0c3c9f20:jetbrains.mps.lang.intentions" version="0" />
+    <language slang="l:d4615e3b-d671-4ba9-af01-2b78369b0ba7:jetbrains.mps.lang.pattern" version="1" />
+    <language slang="l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation" version="0" />
+    <language slang="l:3ecd7c84-cde3-45de-886c-135ecc69b742:jetbrains.mps.lang.refactoring" version="0" />
+    <language slang="l:982eb8df-2c96-4bd7-9963-11712ea622e5:jetbrains.mps.lang.resources" version="2" />
+    <language slang="l:0eddeefa-c2d6-4437-bc2c-de50fd4ce470:jetbrains.mps.lang.script" version="0" />
+    <language slang="l:13744753-c81f-424a-9c1b-cf8943bf4e86:jetbrains.mps.lang.sharedConcepts" version="0" />
+    <language slang="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" version="8" />
+    <language slang="l:c72da2b9-7cce-4447-8389-f407dc1158b7:jetbrains.mps.lang.structure" version="5" />
+    <language slang="l:b83431fe-5c8f-40bc-8a36-65e25f4dd253:jetbrains.mps.lang.textGen" version="1" />
+    <language slang="l:9ded098b-ad6a-4657-bfd9-48636cfe8bc3:jetbrains.mps.lang.traceable" version="0" />
+    <language slang="l:7a5dda62-9140-4668-ab76-d5ed1746f2b2:jetbrains.mps.lang.typesystem" version="1" />
+  </languageVersions>
+  <dependencyVersions>
+    <module reference="3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations)" version="0" />
+    <module reference="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" version="0" />
+    <module reference="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" version="0" />
+    <module reference="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" version="0" />
+    <module reference="06b7c5c7-e359-4f4b-a581-5d0c9323af39(jetbrains.mps.fitch)" version="0" />
+    <module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
+    <module reference="a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)" version="0" />
+    <module reference="d7eb0a2a-bd50-4576-beae-e4a89db35f20(jetbrains.mps.lang.scopes.runtime)" version="0" />
+    <module reference="c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure)" version="0" />
+  </dependencyVersions>
+  <extendedLanguages />
+</language>
+
diff --git a/samples/fitch/languages/jetbrains.mps.fitch/models/behavior.mps b/samples/fitch/languages/jetbrains.mps.fitch/models/behavior.mps
new file mode 100644
index 00000000..f0bca7ae
--- /dev/null
+++ b/samples/fitch/languages/jetbrains.mps.fitch/models/behavior.mps
@@ -0,0 +1,13 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<model ref="r:6e0181fc-40ea-4aea-a8b0-3ba2d104ddef(jetbrains.mps.fitch.behavior)">
+  <persistence version="9" />
+  <languages>
+    <use id="af65afd8-f0dd-4942-87d9-63a55f2a9db1" name="jetbrains.mps.lang.behavior" version="1" />
+    <devkit ref="2677cb18-f558-4e33-bc38-a5139cee06dc(jetbrains.mps.devkit.language-design)" />
+  </languages>
+  <imports>
+    <import index="jfgh" ref="r:2003997c-f9a6-418f-99d4-03e1285a3e13(jetbrains.mps.fitch.structure)" />
+  </imports>
+  <registry />
+</model>
+
diff --git a/samples/fitch/languages/jetbrains.mps.fitch/models/constraints.mps b/samples/fitch/languages/jetbrains.mps.fitch/models/constraints.mps
new file mode 100644
index 00000000..708ccad7
--- /dev/null
+++ b/samples/fitch/languages/jetbrains.mps.fitch/models/constraints.mps
@@ -0,0 +1,401 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<model ref="r:3e3289bd-0103-48e0-beb3-89796cdeaf7c(jetbrains.mps.fitch.constraints)">
+  <persistence version="9" />
+  <languages>
+    <use id="3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1" name="jetbrains.mps.lang.constraints" version="4" />
+    <use id="daafa647-f1f7-4b0b-b096-69cd7c8408c0" name="jetbrains.mps.baseLanguage.regexp" version="0" />
+    <devkit ref="00000000-0000-4000-0000-5604ebd4f22c(jetbrains.mps.devkit.aspect.constraints)" />
+  </languages>
+  <imports>
+    <import index="jfgh" ref="r:2003997c-f9a6-418f-99d4-03e1285a3e13(jetbrains.mps.fitch.structure)" />
+    <import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" implicit="true" />
+    <import index="tpfp" ref="r:00000000-0000-4000-0000-011c89590519(jetbrains.mps.baseLanguage.regexp.jetbrains.mps.regexp.accessory)" implicit="true" />
+  </imports>
+  <registry>
+    <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
+      <concept id="4836112446988635817" name="jetbrains.mps.baseLanguage.structure.UndefinedType" flags="in" index="2jxLKc" />
+      <concept id="1197027756228" name="jetbrains.mps.baseLanguage.structure.DotExpression" flags="nn" index="2OqwBi">
+        <child id="1197027771414" name="operand" index="2Oq$k0" />
+        <child id="1197027833540" name="operation" index="2OqNvi" />
+      </concept>
+      <concept id="1137021947720" name="jetbrains.mps.baseLanguage.structure.ConceptFunction" flags="in" index="2VMwT0">
+        <child id="1137022507850" name="body" index="2VODD2" />
+      </concept>
+      <concept id="1070534370425" name="jetbrains.mps.baseLanguage.structure.IntegerType" flags="in" index="10Oyi0" />
+      <concept id="1068431474542" name="jetbrains.mps.baseLanguage.structure.VariableDeclaration" flags="ng" index="33uBYm">
+        <child id="1068431790190" name="initializer" index="33vP2m" />
+      </concept>
+      <concept id="1068498886296" name="jetbrains.mps.baseLanguage.structure.VariableReference" flags="nn" index="37vLTw">
+        <reference id="1068581517664" name="variableDeclaration" index="3cqZAo" />
+      </concept>
+      <concept id="1068498886292" name="jetbrains.mps.baseLanguage.structure.ParameterDeclaration" flags="ir" index="37vLTG" />
+      <concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
+        <child id="5680397130376446158" name="type" index="1tU5fm" />
+      </concept>
+      <concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
+        <child id="1068580123156" name="expression" index="3clFbG" />
+      </concept>
+      <concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
+        <child id="1068581517665" name="statement" index="3cqZAp" />
+      </concept>
+      <concept id="1068580123137" name="jetbrains.mps.baseLanguage.structure.BooleanConstant" flags="nn" index="3clFbT">
+        <property id="1068580123138" name="value" index="3clFbU" />
+      </concept>
+      <concept id="1068580320020" name="jetbrains.mps.baseLanguage.structure.IntegerConstant" flags="nn" index="3cmrfG">
+        <property id="1068580320021" name="value" index="3cmrfH" />
+      </concept>
+      <concept id="1068581242875" name="jetbrains.mps.baseLanguage.structure.PlusExpression" flags="nn" index="3cpWs3" />
+      <concept id="1068581242878" name="jetbrains.mps.baseLanguage.structure.ReturnStatement" flags="nn" index="3cpWs6">
+        <child id="1068581517676" name="expression" index="3cqZAk" />
+      </concept>
+      <concept id="1068581242864" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclarationStatement" flags="nn" index="3cpWs8">
+        <child id="1068581242865" name="localVariableDeclaration" index="3cpWs9" />
+      </concept>
+      <concept id="1068581242863" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclaration" flags="nr" index="3cpWsn" />
+      <concept id="1081773326031" name="jetbrains.mps.baseLanguage.structure.BinaryOperation" flags="nn" index="3uHJSO">
+        <child id="1081773367579" name="rightExpression" index="3uHU7w" />
+        <child id="1081773367580" name="leftExpression" index="3uHU7B" />
+      </concept>
+      <concept id="1163668896201" name="jetbrains.mps.baseLanguage.structure.TernaryOperatorExpression" flags="nn" index="3K4zz7">
+        <child id="1163668914799" name="condition" index="3K4Cdx" />
+        <child id="1163668922816" name="ifTrue" index="3K4E3e" />
+        <child id="1163668934364" name="ifFalse" index="3K4GZi" />
+      </concept>
+    </language>
+    <language id="3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1" name="jetbrains.mps.lang.constraints">
+      <concept id="1147467115080" name="jetbrains.mps.lang.constraints.structure.NodePropertyConstraint" flags="ng" index="EnEH3">
+        <reference id="1147467295099" name="applicableProperty" index="EomxK" />
+        <child id="1147468630220" name="propertyGetter" index="EtsB7" />
+        <child id="1212097481299" name="propertyValidator" index="QCWH9" />
+      </concept>
+      <concept id="1147467790433" name="jetbrains.mps.lang.constraints.structure.ConstraintFunction_PropertyGetter" flags="in" index="Eqf_E" />
+      <concept id="1147468365020" name="jetbrains.mps.lang.constraints.structure.ConstraintsFunctionParameter_node" flags="nn" index="EsrRn" />
+      <concept id="1212096972063" name="jetbrains.mps.lang.constraints.structure.ConstraintFunction_PropertyValidator" flags="in" index="QB0g5" />
+      <concept id="1213093968558" name="jetbrains.mps.lang.constraints.structure.ConceptConstraints" flags="ng" index="1M2fIO">
+        <reference id="1213093996982" name="concept" index="1M2myG" />
+        <child id="1213098023997" name="property" index="1MhHOB" />
+      </concept>
+      <concept id="1153138554286" name="jetbrains.mps.lang.constraints.structure.ConstraintsFunctionParameter_propertyValue" flags="nn" index="1Wqviy" />
+    </language>
+    <language id="fd392034-7849-419d-9071-12563d152375" name="jetbrains.mps.baseLanguage.closures">
+      <concept id="1199569711397" name="jetbrains.mps.baseLanguage.closures.structure.ClosureLiteral" flags="nn" index="1bVj0M">
+        <child id="1199569906740" name="parameter" index="1bW2Oz" />
+        <child id="1199569916463" name="body" index="1bW5cS" />
+      </concept>
+    </language>
+    <language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
+      <concept id="1177026924588" name="jetbrains.mps.lang.smodel.structure.RefConcept_Reference" flags="nn" index="chp4Y">
+        <reference id="1177026940964" name="conceptDeclaration" index="cht4Q" />
+      </concept>
+      <concept id="2396822768958367367" name="jetbrains.mps.lang.smodel.structure.AbstractTypeCastExpression" flags="nn" index="$5XWr">
+        <child id="6733348108486823193" name="leftExpression" index="1m5AlR" />
+        <child id="3906496115198199033" name="conceptArgument" index="3oSUPX" />
+      </concept>
+      <concept id="1145572800087" name="jetbrains.mps.lang.smodel.structure.Node_GetPrevSiblingsOperation" flags="nn" index="2Ttrtt" />
+      <concept id="1139613262185" name="jetbrains.mps.lang.smodel.structure.Node_GetParentOperation" flags="nn" index="1mfA1w" />
+      <concept id="1139621453865" name="jetbrains.mps.lang.smodel.structure.Node_IsInstanceOfOperation" flags="nn" index="1mIQ4w">
+        <child id="1177027386292" name="conceptArgument" index="cj9EA" />
+      </concept>
+      <concept id="1140137987495" name="jetbrains.mps.lang.smodel.structure.SNodeTypeCastExpression" flags="nn" index="1PxgMI">
+        <property id="1238684351431" name="asCast" index="1BlNFB" />
+      </concept>
+      <concept id="1138056022639" name="jetbrains.mps.lang.smodel.structure.SPropertyAccess" flags="nn" index="3TrcHB">
+        <reference id="1138056395725" name="property" index="3TsBF5" />
+      </concept>
+      <concept id="1138056282393" name="jetbrains.mps.lang.smodel.structure.SLinkListAccess" flags="nn" index="3Tsc0h">
+        <reference id="1138056546658" name="link" index="3TtcxE" />
+      </concept>
+    </language>
+    <language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
+      <concept id="1133920641626" name="jetbrains.mps.lang.core.structure.BaseConcept" flags="ng" index="2VYdi">
+        <property id="1193676396447" name="virtualPackage" index="3GE5qa" />
+      </concept>
+      <concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
+        <property id="1169194664001" name="name" index="TrG5h" />
+      </concept>
+    </language>
+    <language id="daafa647-f1f7-4b0b-b096-69cd7c8408c0" name="jetbrains.mps.baseLanguage.regexp">
+      <concept id="1174482804200" name="jetbrains.mps.baseLanguage.regexp.structure.PlusRegexp" flags="ng" index="1OClNT" />
+      <concept id="1174485235885" name="jetbrains.mps.baseLanguage.regexp.structure.UnaryRegexp" flags="ng" index="1OLBAW">
+        <child id="1174485243418" name="regexp" index="1OLDsb" />
+      </concept>
+      <concept id="1174510540317" name="jetbrains.mps.baseLanguage.regexp.structure.InlineRegexpExpression" flags="nn" index="1Qi9sc">
+        <child id="1174510571016" name="regexp" index="1QigWp" />
+      </concept>
+      <concept id="1174512414484" name="jetbrains.mps.baseLanguage.regexp.structure.MatchRegexpStatement" flags="nn" index="1QpiS5">
+        <child id="1174512427594" name="body" index="1Qpmdr" />
+        <child id="1174512569438" name="expr" index="1QpSPf" />
+      </concept>
+      <concept id="1174555732504" name="jetbrains.mps.baseLanguage.regexp.structure.PredefinedSymbolClassRegexp" flags="ng" index="1SYyG9">
+        <reference id="1174555843709" name="symbolClass" index="1SYXPG" />
+      </concept>
+      <concept id="1174653354106" name="jetbrains.mps.baseLanguage.regexp.structure.RegexpUsingConstruction" flags="ng" index="1YMW5F">
+        <child id="1174653387388" name="regexp" index="1YN4dH" />
+      </concept>
+    </language>
+    <language id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections">
+      <concept id="1204796164442" name="jetbrains.mps.baseLanguage.collections.structure.InternalSequenceOperation" flags="nn" index="23sCx2">
+        <child id="1204796294226" name="closure" index="23t8la" />
+      </concept>
+      <concept id="1203518072036" name="jetbrains.mps.baseLanguage.collections.structure.SmartClosureParameterDeclaration" flags="ig" index="Rh6nW" />
+      <concept id="1522217801069396578" name="jetbrains.mps.baseLanguage.collections.structure.FoldLeftOperation" flags="nn" index="1MD8d$">
+        <child id="1522217801069421796" name="seed" index="1MDeny" />
+      </concept>
+    </language>
+  </registry>
+  <node concept="1M2fIO" id="3JXBM6C4nv1">
+    <property role="3GE5qa" value="proof" />
+    <ref role="1M2myG" to="jfgh:3JXBM6C3UQB" resolve="Node" />
+    <node concept="EnEH3" id="3JXBM6C54BH" role="1MhHOB">
+      <ref role="EomxK" to="jfgh:3JXBM6C54BE" resolve="sequenceNum" />
+      <node concept="Eqf_E" id="3JXBM6C54BJ" role="EtsB7">
+        <node concept="3clFbS" id="3JXBM6C54BK" role="2VODD2">
+          <node concept="3cpWs8" id="3JXBM6C5wNe" role="3cqZAp">
+            <node concept="3cpWsn" id="3JXBM6C5wNf" role="3cpWs9">
+              <property role="TrG5h" value="siblingsSize" />
+              <node concept="10Oyi0" id="3JXBM6C5wN1" role="1tU5fm" />
+              <node concept="2OqwBi" id="3JXBM6C5wNg" role="33vP2m">
+                <node concept="2OqwBi" id="3JXBM6C5wNh" role="2Oq$k0">
+                  <node concept="EsrRn" id="3JXBM6C5wNi" role="2Oq$k0" />
+                  <node concept="2Ttrtt" id="3JXBM6C5wNj" role="2OqNvi" />
+                </node>
+                <node concept="1MD8d$" id="3JXBM6C5wNk" role="2OqNvi">
+                  <node concept="1bVj0M" id="3JXBM6C5wNl" role="23t8la">
+                    <node concept="3clFbS" id="3JXBM6C5wNm" role="1bW5cS">
+                      <node concept="3clFbF" id="3JXBM6C5wNn" role="3cqZAp">
+                        <node concept="3cpWs3" id="3JXBM6C5wNo" role="3clFbG">
+                          <node concept="37vLTw" id="3JXBM6C5wNp" role="3uHU7B">
+                            <ref role="3cqZAo" node="3JXBM6C5wNv" resolve="s" />
+                          </node>
+                          <node concept="2OqwBi" id="3JXBM6C5wNq" role="3uHU7w">
+                            <node concept="1PxgMI" id="3JXBM6C5wNr" role="2Oq$k0">
+                              <property role="1BlNFB" value="true" />
+                              <node concept="chp4Y" id="3JXBM6C5wNs" role="3oSUPX">
+                                <ref role="cht4Q" to="jfgh:3JXBM6C3UQB" resolve="Node" />
+                              </node>
+                              <node concept="37vLTw" id="3JXBM6C5wNt" role="1m5AlR">
+                                <ref role="3cqZAo" node="3JXBM6C5wNx" resolve="it" />
+                              </node>
+                            </node>
+                            <node concept="3TrcHB" id="3JXBM6C5wNu" role="2OqNvi">
+                              <ref role="3TsBF5" to="jfgh:3JXBM6C4nuA" resolve="contentSize" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="37vLTG" id="3JXBM6C5wNv" role="1bW2Oz">
+                      <property role="TrG5h" value="s" />
+                      <node concept="10Oyi0" id="3JXBM6C5wNw" role="1tU5fm" />
+                    </node>
+                    <node concept="Rh6nW" id="3JXBM6C5wNx" role="1bW2Oz">
+                      <property role="TrG5h" value="it" />
+                      <node concept="2jxLKc" id="3JXBM6C5wNy" role="1tU5fm" />
+                    </node>
+                  </node>
+                  <node concept="3cmrfG" id="3JXBM6C5wNz" role="1MDeny">
+                    <property role="3cmrfH" value="0" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbF" id="3JXBM6C5E1D" role="3cqZAp">
+            <node concept="3K4zz7" id="3JXBM6C5F0l" role="3clFbG">
+              <node concept="37vLTw" id="3JXBM6C5FAv" role="3K4E3e">
+                <ref role="3cqZAo" node="3JXBM6C5wNf" resolve="siblingsSize" />
+              </node>
+              <node concept="3cpWs3" id="3JXBM6C5Niw" role="3K4GZi">
+                <node concept="37vLTw" id="3JXBM6C5NT7" role="3uHU7B">
+                  <ref role="3cqZAo" node="3JXBM6C5wNf" resolve="siblingsSize" />
+                </node>
+                <node concept="2OqwBi" id="3JXBM6C5LSR" role="3uHU7w">
+                  <node concept="1PxgMI" id="3JXBM6C5JQc" role="2Oq$k0">
+                    <property role="1BlNFB" value="true" />
+                    <node concept="chp4Y" id="3JXBM6C5Ksw" role="3oSUPX">
+                      <ref role="cht4Q" to="jfgh:3JXBM6C3UQB" resolve="Node" />
+                    </node>
+                    <node concept="2OqwBi" id="3JXBM6C5HCt" role="1m5AlR">
+                      <node concept="EsrRn" id="3JXBM6C5Gcn" role="2Oq$k0" />
+                      <node concept="1mfA1w" id="3JXBM6C5I7Z" role="2OqNvi" />
+                    </node>
+                  </node>
+                  <node concept="3TrcHB" id="3JXBM6C5MFT" role="2OqNvi">
+                    <ref role="3TsBF5" to="jfgh:3JXBM6C54BE" resolve="sequenceNum" />
+                  </node>
+                </node>
+              </node>
+              <node concept="2OqwBi" id="3JXBM6C5E1F" role="3K4Cdx">
+                <node concept="2OqwBi" id="3JXBM6C5E1G" role="2Oq$k0">
+                  <node concept="EsrRn" id="3JXBM6C5E1H" role="2Oq$k0" />
+                  <node concept="1mfA1w" id="3JXBM6C5E1I" role="2OqNvi" />
+                </node>
+                <node concept="1mIQ4w" id="3JXBM6C5E1J" role="2OqNvi">
+                  <node concept="chp4Y" id="3JXBM6C5E1K" role="cj9EA">
+                    <ref role="cht4Q" to="jfgh:3JXBM6C5urr" resolve="Root" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="1M2fIO" id="3JXBM6C4nvv">
+    <property role="3GE5qa" value="proof" />
+    <ref role="1M2myG" to="jfgh:3JXBM6C4ntZ" resolve="Leaf" />
+    <node concept="EnEH3" id="3JXBM6C4nvw" role="1MhHOB">
+      <ref role="EomxK" to="jfgh:3JXBM6C4nuA" resolve="contentSize" />
+      <node concept="Eqf_E" id="3JXBM6C4nvy" role="EtsB7">
+        <node concept="3clFbS" id="3JXBM6C4nvz" role="2VODD2">
+          <node concept="3clFbF" id="3JXBM6C4nKA" role="3cqZAp">
+            <node concept="3cmrfG" id="3JXBM6C4nK_" role="3clFbG">
+              <property role="3cmrfH" value="1" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="1M2fIO" id="3JXBM6C4zzT">
+    <property role="3GE5qa" value="proof" />
+    <ref role="1M2myG" to="jfgh:3JXBM6C3UQ$" resolve="SubProof" />
+    <node concept="EnEH3" id="3JXBM6C4zzU" role="1MhHOB">
+      <ref role="EomxK" to="jfgh:3JXBM6C4nuA" resolve="contentSize" />
+      <node concept="Eqf_E" id="3JXBM6C4zzW" role="EtsB7">
+        <node concept="3clFbS" id="3JXBM6C4zzX" role="2VODD2">
+          <node concept="3clFbF" id="3JXBM6C4zP0" role="3cqZAp">
+            <node concept="2OqwBi" id="3JXBM6C4AoV" role="3clFbG">
+              <node concept="2OqwBi" id="3JXBM6C4$6U" role="2Oq$k0">
+                <node concept="EsrRn" id="3JXBM6C4zOZ" role="2Oq$k0" />
+                <node concept="3Tsc0h" id="3JXBM6C4$AH" role="2OqNvi">
+                  <ref role="3TtcxE" to="jfgh:3JXBM6C3UQ_" resolve="content" />
+                </node>
+              </node>
+              <node concept="1MD8d$" id="3JXBM6C4Dvf" role="2OqNvi">
+                <node concept="1bVj0M" id="3JXBM6C4Dvh" role="23t8la">
+                  <node concept="3clFbS" id="3JXBM6C4Dvi" role="1bW5cS">
+                    <node concept="3clFbF" id="3JXBM6C4EM9" role="3cqZAp">
+                      <node concept="3cpWs3" id="3JXBM6C4GzK" role="3clFbG">
+                        <node concept="2OqwBi" id="3JXBM6C4H4O" role="3uHU7w">
+                          <node concept="37vLTw" id="3JXBM6C4GzU" role="2Oq$k0">
+                            <ref role="3cqZAo" node="3JXBM6C4Dvl" resolve="it" />
+                          </node>
+                          <node concept="3TrcHB" id="3JXBM6C4Hw1" role="2OqNvi">
+                            <ref role="3TsBF5" to="jfgh:3JXBM6C4nuA" resolve="contentSize" />
+                          </node>
+                        </node>
+                        <node concept="37vLTw" id="3JXBM6C4EM8" role="3uHU7B">
+                          <ref role="3cqZAo" node="3JXBM6C4Dvj" resolve="s" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="37vLTG" id="3JXBM6C4Dvj" role="1bW2Oz">
+                    <property role="TrG5h" value="s" />
+                    <node concept="10Oyi0" id="3JXBM6C4Ej7" role="1tU5fm" />
+                  </node>
+                  <node concept="Rh6nW" id="3JXBM6C4Dvl" role="1bW2Oz">
+                    <property role="TrG5h" value="it" />
+                    <node concept="2jxLKc" id="3JXBM6C4Dvm" role="1tU5fm" />
+                  </node>
+                </node>
+                <node concept="3cmrfG" id="3JXBM6C4DOa" role="1MDeny">
+                  <property role="3cmrfH" value="0" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="1M2fIO" id="3JXBM6C4VbD">
+    <property role="3GE5qa" value="proof" />
+    <ref role="1M2myG" to="jfgh:3JXBM6C3Fs$" resolve="Proof" />
+    <node concept="EnEH3" id="3JXBM6C4VbE" role="1MhHOB">
+      <ref role="EomxK" to="jfgh:3JXBM6C4nuA" resolve="contentSize" />
+      <node concept="Eqf_E" id="3JXBM6C4VbG" role="EtsB7">
+        <node concept="3clFbS" id="3JXBM6C4VbH" role="2VODD2">
+          <node concept="3clFbF" id="3JXBM6C4VsJ" role="3cqZAp">
+            <node concept="2OqwBi" id="3JXBM6C4VsQ" role="3clFbG">
+              <node concept="2OqwBi" id="3JXBM6C4VsR" role="2Oq$k0">
+                <node concept="EsrRn" id="3JXBM6C4VsS" role="2Oq$k0" />
+                <node concept="3Tsc0h" id="3JXBM6C4VsT" role="2OqNvi">
+                  <ref role="3TtcxE" to="jfgh:3JXBM6C4wQA" resolve="content" />
+                </node>
+              </node>
+              <node concept="1MD8d$" id="3JXBM6C4VsU" role="2OqNvi">
+                <node concept="1bVj0M" id="3JXBM6C4VsV" role="23t8la">
+                  <node concept="3clFbS" id="3JXBM6C4VsW" role="1bW5cS">
+                    <node concept="3clFbF" id="3JXBM6C4VsX" role="3cqZAp">
+                      <node concept="3cpWs3" id="3JXBM6C4VsY" role="3clFbG">
+                        <node concept="2OqwBi" id="3JXBM6C4VsZ" role="3uHU7w">
+                          <node concept="37vLTw" id="3JXBM6C4Vt0" role="2Oq$k0">
+                            <ref role="3cqZAo" node="3JXBM6C4Vt5" resolve="it" />
+                          </node>
+                          <node concept="3TrcHB" id="3JXBM6C4Vt1" role="2OqNvi">
+                            <ref role="3TsBF5" to="jfgh:3JXBM6C4nuA" resolve="contentSize" />
+                          </node>
+                        </node>
+                        <node concept="37vLTw" id="3JXBM6C4Vt2" role="3uHU7B">
+                          <ref role="3cqZAo" node="3JXBM6C4Vt3" resolve="s" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="37vLTG" id="3JXBM6C4Vt3" role="1bW2Oz">
+                    <property role="TrG5h" value="s" />
+                    <node concept="10Oyi0" id="3JXBM6C4Vt4" role="1tU5fm" />
+                  </node>
+                  <node concept="Rh6nW" id="3JXBM6C4Vt5" role="1bW2Oz">
+                    <property role="TrG5h" value="it" />
+                    <node concept="2jxLKc" id="3JXBM6C4Vt6" role="1tU5fm" />
+                  </node>
+                </node>
+                <node concept="3cmrfG" id="3JXBM6C4Vt7" role="1MDeny">
+                  <property role="3cmrfH" value="0" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="1M2fIO" id="3JXBM6C7aaV">
+    <property role="3GE5qa" value="sentence" />
+    <ref role="1M2myG" to="jfgh:3JXBM6C3Cn8" resolve="Constant" />
+    <node concept="EnEH3" id="3JXBM6C7aaW" role="1MhHOB">
+      <ref role="EomxK" to="tpck:h0TrG11" resolve="name" />
+      <node concept="QB0g5" id="3JXBM6C7aaY" role="QCWH9">
+        <node concept="3clFbS" id="3JXBM6C7aaZ" role="2VODD2">
+          <node concept="1QpiS5" id="3JXBM6C7ai7" role="3cqZAp">
+            <node concept="1Qi9sc" id="3JXBM6C7ai8" role="1YN4dH">
+              <node concept="1OClNT" id="3JXBM6C7eeD" role="1QigWp">
+                <node concept="1SYyG9" id="3JXBM6C7emg" role="1OLDsb">
+                  <ref role="1SYXPG" to="tpfp:h5SUJUw" resolve="\w" />
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbS" id="3JXBM6C7aia" role="1Qpmdr">
+              <node concept="3cpWs6" id="3JXBM6C7aBY" role="3cqZAp">
+                <node concept="3clFbT" id="3JXBM6C7aJi" role="3cqZAk">
+                  <property role="3clFbU" value="true" />
+                </node>
+              </node>
+            </node>
+            <node concept="1Wqviy" id="3JXBM6C7apv" role="1QpSPf" />
+          </node>
+          <node concept="3cpWs6" id="3JXBM6C7aYb" role="3cqZAp">
+            <node concept="3clFbT" id="3JXBM6C7bdg" role="3cqZAk">
+              <property role="3clFbU" value="false" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+  </node>
+</model>
+
diff --git a/samples/fitch/languages/jetbrains.mps.fitch/models/editor.mps b/samples/fitch/languages/jetbrains.mps.fitch/models/editor.mps
new file mode 100644
index 00000000..25037f59
--- /dev/null
+++ b/samples/fitch/languages/jetbrains.mps.fitch/models/editor.mps
@@ -0,0 +1,1853 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<model ref="r:873e37f0-b045-47b9-ae9e-db79c2628975(jetbrains.mps.fitch.editor)">
+  <persistence version="9" />
+  <languages>
+    <use id="18bc6592-03a6-4e29-a83a-7ff23bde13ba" name="jetbrains.mps.lang.editor" version="11" />
+    <use id="daafa647-f1f7-4b0b-b096-69cd7c8408c0" name="jetbrains.mps.baseLanguage.regexp" version="0" />
+    <use id="0272d3b4-4cc8-481e-9e2f-07793fbfcb41" name="jetbrains.mps.lang.editor.table" version="0" />
+    <devkit ref="2677cb18-f558-4e33-bc38-a5139cee06dc(jetbrains.mps.devkit.language-design)" />
+  </languages>
+  <imports>
+    <import index="jfgh" ref="r:2003997c-f9a6-418f-99d4-03e1285a3e13(jetbrains.mps.fitch.structure)" />
+    <import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" implicit="true" />
+    <import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
+    <import index="tpfp" ref="r:00000000-0000-4000-0000-011c89590519(jetbrains.mps.baseLanguage.regexp.jetbrains.mps.regexp.accessory)" implicit="true" />
+    <import index="tpco" ref="r:00000000-0000-4000-0000-011c89590284(jetbrains.mps.lang.core.editor)" implicit="true" />
+  </imports>
+  <registry>
+    <language id="18bc6592-03a6-4e29-a83a-7ff23bde13ba" name="jetbrains.mps.lang.editor">
+      <concept id="1402906326895675325" name="jetbrains.mps.lang.editor.structure.CellActionMap_FunctionParm_selectedNode" flags="nn" index="0IXxy" />
+      <concept id="2000375450116454183" name="jetbrains.mps.lang.editor.structure.ISubstituteMenu" flags="ng" index="22mbnS">
+        <child id="414384289274416996" name="parts" index="3ft7WO" />
+      </concept>
+      <concept id="1071666914219" name="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" flags="ig" index="24kQdi">
+        <child id="2597348684684069742" name="contextHints" index="CpUAK" />
+      </concept>
+      <concept id="1597643335227097138" name="jetbrains.mps.lang.editor.structure.QueryFunctionParameter_TransformationMenu_node" flags="ng" index="7Obwk" />
+      <concept id="6822301196700715228" name="jetbrains.mps.lang.editor.structure.ConceptEditorHintDeclarationReference" flags="ig" index="2aJ2om">
+        <reference id="5944657839026714445" name="hint" index="2$4xQ3" />
+      </concept>
+      <concept id="1140524381322" name="jetbrains.mps.lang.editor.structure.CellModel_ListWithRole" flags="ng" index="2czfm3">
+        <property id="1140524450557" name="separatorText" index="2czwfO" />
+        <child id="1140524464360" name="cellLayout" index="2czzBx" />
+        <child id="1140524464359" name="emptyCellModel" index="2czzBI" />
+        <child id="1233141163694" name="separatorStyle" index="sWeuL" />
+      </concept>
+      <concept id="1196434649611" name="jetbrains.mps.lang.editor.structure.SubstituteMenu_SimpleString" flags="ng" index="2h3Zct">
+        <property id="1196434851095" name="text" index="2h4Kg1" />
+      </concept>
+      <concept id="1106270549637" name="jetbrains.mps.lang.editor.structure.CellLayout_Horizontal" flags="nn" index="2iRfu4" />
+      <concept id="1106270571710" name="jetbrains.mps.lang.editor.structure.CellLayout_Vertical" flags="nn" index="2iRkQZ" />
+      <concept id="3459162043708467089" name="jetbrains.mps.lang.editor.structure.CellActionMap_CanExecuteFunction" flags="in" index="jK8Ss" />
+      <concept id="1237303669825" name="jetbrains.mps.lang.editor.structure.CellLayout_Indent" flags="nn" index="l2Vlx" />
+      <concept id="1237307900041" name="jetbrains.mps.lang.editor.structure.IndentLayoutIndentStyleClassItem" flags="ln" index="lj46D" />
+      <concept id="1237308012275" name="jetbrains.mps.lang.editor.structure.IndentLayoutNewLineStyleClassItem" flags="ln" index="ljvvj" />
+      <concept id="1142886811589" name="jetbrains.mps.lang.editor.structure.ConceptFunctionParameter_node" flags="nn" index="pncrf" />
+      <concept id="1233148810477" name="jetbrains.mps.lang.editor.structure.InlineStyleDeclaration" flags="ng" index="tppnM" />
+      <concept id="1177327274449" name="jetbrains.mps.lang.editor.structure.QueryFunctionParameter_pattern" flags="nn" index="ub8z3" />
+      <concept id="1177327570013" name="jetbrains.mps.lang.editor.structure.QueryFunction_SubstituteMenu_Substitute" flags="in" index="ucgPf" />
+      <concept id="8478191136883534237" name="jetbrains.mps.lang.editor.structure.IExtensibleSubstituteMenuPart" flags="ng" index="upBLQ">
+        <child id="8478191136883534238" name="features" index="upBLP" />
+      </concept>
+      <concept id="1177335944525" name="jetbrains.mps.lang.editor.structure.QueryFunction_SubstituteMenu_SubstituteString" flags="in" index="uGdhv" />
+      <concept id="4242538589859161874" name="jetbrains.mps.lang.editor.structure.ExplicitHintsSpecification" flags="ng" index="2w$q5c">
+        <child id="4242538589859162459" name="hints" index="2w$qW5" />
+      </concept>
+      <concept id="1080736578640" name="jetbrains.mps.lang.editor.structure.BaseEditorComponent" flags="ig" index="2wURMF">
+        <child id="1080736633877" name="cellModel" index="2wV5jI" />
+      </concept>
+      <concept id="8329266386016608055" name="jetbrains.mps.lang.editor.structure.ApproveDelete_Operation" flags="ng" index="2xy62i">
+        <child id="8329266386016685951" name="editorContext" index="2xHN3q" />
+      </concept>
+      <concept id="5944657839000868711" name="jetbrains.mps.lang.editor.structure.ConceptEditorContextHints" flags="ig" index="2ABfQD">
+        <child id="5944657839000877563" name="hints" index="2ABdcP" />
+      </concept>
+      <concept id="5944657839003601246" name="jetbrains.mps.lang.editor.structure.ConceptEditorHintDeclaration" flags="ig" index="2BsEeg">
+        <property id="168363875802087287" name="showInUI" index="2gpH_U" />
+      </concept>
+      <concept id="3473224453637651916" name="jetbrains.mps.lang.editor.structure.TransformationLocation_SideTransform_PlaceInCellHolder" flags="ng" index="CtIbL">
+        <property id="3473224453637651917" name="placeInCell" index="CtIbK" />
+      </concept>
+      <concept id="1638911550608571617" name="jetbrains.mps.lang.editor.structure.TransformationMenu_Default" flags="ng" index="IW6AY" />
+      <concept id="1638911550608610798" name="jetbrains.mps.lang.editor.structure.QueryFunction_TransformationMenu_Execute" flags="ig" index="IWg2L" />
+      <concept id="1638911550608610278" name="jetbrains.mps.lang.editor.structure.TransformationMenuPart_Action" flags="ng" index="IWgqT">
+        <child id="1638911550608610281" name="executeFunction" index="IWgqQ" />
+        <child id="5692353713941573325" name="textFunction" index="1hCUd6" />
+      </concept>
+      <concept id="1078939183254" name="jetbrains.mps.lang.editor.structure.CellModel_Component" flags="sg" stub="3162947552742194261" index="PMmxH">
+        <reference id="1078939183255" name="editorComponent" index="PMmxG" />
+      </concept>
+      <concept id="1186414536763" name="jetbrains.mps.lang.editor.structure.BooleanStyleSheetItem" flags="ln" index="VOi$J">
+        <property id="1186414551515" name="flag" index="VOm3f" />
+      </concept>
+      <concept id="1186414928363" name="jetbrains.mps.lang.editor.structure.SelectableStyleSheetItem" flags="ln" index="VPM3Z" />
+      <concept id="1630016958697344083" name="jetbrains.mps.lang.editor.structure.IMenu_Concept" flags="ng" index="2ZABuq">
+        <reference id="6591946374543067572" name="conceptDeclaration" index="aqKnT" />
+      </concept>
+      <concept id="1233758997495" name="jetbrains.mps.lang.editor.structure.PunctuationLeftStyleClassItem" flags="ln" index="11L4FC" />
+      <concept id="1233759184865" name="jetbrains.mps.lang.editor.structure.PunctuationRightStyleClassItem" flags="ln" index="11LMrY" />
+      <concept id="8998492695583125082" name="jetbrains.mps.lang.editor.structure.SubstituteFeature_MatchingText" flags="ng" index="16NfWO">
+        <child id="8998492695583129244" name="query" index="16NeZM" />
+      </concept>
+      <concept id="8998492695583129971" name="jetbrains.mps.lang.editor.structure.SubstituteFeature_DescriptionText" flags="ng" index="16NL0t">
+        <child id="8998492695583129972" name="query" index="16NL0q" />
+      </concept>
+      <concept id="2896773699153795590" name="jetbrains.mps.lang.editor.structure.TransformationLocation_SideTransform" flags="ng" index="3cWJ9i">
+        <child id="3473224453637651919" name="placeInCell" index="CtIbM" />
+      </concept>
+      <concept id="7342352913006985483" name="jetbrains.mps.lang.editor.structure.SubstituteMenuPart_Action" flags="ng" index="3eGOop">
+        <child id="8612453216082699922" name="substituteHandler" index="3aKz83" />
+      </concept>
+      <concept id="1139535219966" name="jetbrains.mps.lang.editor.structure.CellActionMapDeclaration" flags="ig" index="1h_SRR">
+        <reference id="1139535219968" name="applicableConcept" index="1h_SK9" />
+        <child id="1139535219969" name="item" index="1h_SK8" />
+      </concept>
+      <concept id="1139535280617" name="jetbrains.mps.lang.editor.structure.CellActionMapItem" flags="lg" index="1hA7zw">
+        <property id="1139535298778" name="actionId" index="1hAc7j" />
+        <child id="3459162043708468028" name="canExecuteFunction" index="jK8aL" />
+        <child id="1139535280620" name="executeFunction" index="1hA7z_" />
+      </concept>
+      <concept id="1139535439104" name="jetbrains.mps.lang.editor.structure.CellActionMap_ExecuteFunction" flags="in" index="1hAIg9" />
+      <concept id="5692353713941573329" name="jetbrains.mps.lang.editor.structure.QueryFunction_TransformationMenu_ActionLabelText" flags="ig" index="1hCUdq" />
+      <concept id="1088013125922" name="jetbrains.mps.lang.editor.structure.CellModel_RefCell" flags="sg" stub="730538219795941030" index="1iCGBv">
+        <child id="1088186146602" name="editorComponent" index="1sWHZn" />
+      </concept>
+      <concept id="3308396621974580100" name="jetbrains.mps.lang.editor.structure.SubstituteMenu_Default" flags="ng" index="3p36aQ" />
+      <concept id="1088185857835" name="jetbrains.mps.lang.editor.structure.InlineEditorComponent" flags="ig" index="1sVBvm" />
+      <concept id="1219226236603" name="jetbrains.mps.lang.editor.structure.DrawBracketsStyleClassItem" flags="ln" index="3vyZuw" />
+      <concept id="1139848536355" name="jetbrains.mps.lang.editor.structure.CellModel_WithRole" flags="ng" index="1$h60E">
+        <property id="1139852716018" name="noTargetText" index="1$x2rV" />
+        <reference id="1140103550593" name="relationDeclaration" index="1NtTu8" />
+      </concept>
+      <concept id="7667708318090725848" name="jetbrains.mps.lang.editor.structure.IndentLayoutIndentAnchorStyleClassItem" flags="ln" index="1Bsynf" />
+      <concept id="7991336459489871999" name="jetbrains.mps.lang.editor.structure.IOutputConceptSubstituteMenuPart" flags="ng" index="3EoQpk">
+        <reference id="7991336459489872009" name="outputConcept" index="3EoQqy" />
+      </concept>
+      <concept id="1073389214265" name="jetbrains.mps.lang.editor.structure.EditorCellModel" flags="ng" index="3EYTF0">
+        <reference id="1139959269582" name="actionMap" index="1ERwB7" />
+      </concept>
+      <concept id="1073389446423" name="jetbrains.mps.lang.editor.structure.CellModel_Collection" flags="sn" stub="3013115976261988961" index="3EZMnI">
+        <child id="1106270802874" name="cellLayout" index="2iSdaV" />
+        <child id="4242538589862653897" name="addHints" index="2whIAn" />
+        <child id="1073389446424" name="childCellModel" index="3EZMnx" />
+      </concept>
+      <concept id="1073389577006" name="jetbrains.mps.lang.editor.structure.CellModel_Constant" flags="sn" stub="3610246225209162225" index="3F0ifn">
+        <property id="1082639509531" name="nullText" index="ilYzB" />
+        <property id="1073389577007" name="text" index="3F0ifm" />
+      </concept>
+      <concept id="1073389658414" name="jetbrains.mps.lang.editor.structure.CellModel_Property" flags="sg" stub="730538219796134133" index="3F0A7n" />
+      <concept id="1219418625346" name="jetbrains.mps.lang.editor.structure.IStyleContainer" flags="ng" index="3F0Thp">
+        <child id="1219418656006" name="styleItem" index="3F10Kt" />
+      </concept>
+      <concept id="1073389882823" name="jetbrains.mps.lang.editor.structure.CellModel_RefNode" flags="sg" stub="730538219795960754" index="3F1sOY" />
+      <concept id="1073390211982" name="jetbrains.mps.lang.editor.structure.CellModel_RefNodeList" flags="sg" stub="2794558372793454595" index="3F2HdR">
+        <child id="7279578193766667846" name="addHints" index="78xua" />
+      </concept>
+      <concept id="1225898583838" name="jetbrains.mps.lang.editor.structure.ReadOnlyModelAccessor" flags="ng" index="1HfYo3">
+        <child id="1225898971709" name="getter" index="1Hhtcw" />
+      </concept>
+      <concept id="1225900081164" name="jetbrains.mps.lang.editor.structure.CellModel_ReadOnlyModelAccessor" flags="sg" stub="3708815482283559694" index="1HlG4h">
+        <child id="1225900141900" name="modelAccessor" index="1HlULh" />
+      </concept>
+      <concept id="5624877018228267058" name="jetbrains.mps.lang.editor.structure.ITransformationMenu" flags="ng" index="3INCJE">
+        <child id="1638911550608572412" name="sections" index="IW6Ez" />
+      </concept>
+      <concept id="1161622981231" name="jetbrains.mps.lang.editor.structure.ConceptFunctionParameter_editorContext" flags="nn" index="1Q80Hx" />
+      <concept id="7980428675268276156" name="jetbrains.mps.lang.editor.structure.TransformationMenuSection" flags="ng" index="1Qtc8_">
+        <child id="7980428675268276157" name="locations" index="1Qtc8$" />
+        <child id="7980428675268276159" name="parts" index="1Qtc8A" />
+      </concept>
+      <concept id="1176717841777" name="jetbrains.mps.lang.editor.structure.QueryFunction_ModelAccess_Getter" flags="in" index="3TQlhw" />
+      <concept id="4307758654696938365" name="jetbrains.mps.lang.editor.structure.QueryFunction_SubstituteMenu_RefPresentation" flags="ig" index="1WAQ3h" />
+      <concept id="4307758654696952957" name="jetbrains.mps.lang.editor.structure.QueryFunctionParameter_SubstituteMenu_ReferencedNode" flags="ng" index="1WAUZh" />
+      <concept id="8428109087107030357" name="jetbrains.mps.lang.editor.structure.SubstituteMenuPart_ReferenceScope" flags="ng" index="3XHNnq">
+        <reference id="8428109087107339113" name="reference" index="3XGfJA" />
+        <child id="4307758654694904293" name="matchingTextFunction" index="1WZ6D9" />
+      </concept>
+      <concept id="1166049232041" name="jetbrains.mps.lang.editor.structure.AbstractComponent" flags="ng" index="1XWOmA">
+        <reference id="1166049300910" name="conceptDeclaration" index="1XX52x" />
+      </concept>
+    </language>
+    <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
+      <concept id="1197027756228" name="jetbrains.mps.baseLanguage.structure.DotExpression" flags="nn" index="2OqwBi">
+        <child id="1197027771414" name="operand" index="2Oq$k0" />
+        <child id="1197027833540" name="operation" index="2OqNvi" />
+      </concept>
+      <concept id="1145552977093" name="jetbrains.mps.baseLanguage.structure.GenericNewExpression" flags="nn" index="2ShNRf">
+        <child id="1145553007750" name="creator" index="2ShVmc" />
+      </concept>
+      <concept id="1137021947720" name="jetbrains.mps.baseLanguage.structure.ConceptFunction" flags="in" index="2VMwT0">
+        <child id="1137022507850" name="body" index="2VODD2" />
+      </concept>
+      <concept id="1070475926800" name="jetbrains.mps.baseLanguage.structure.StringLiteral" flags="nn" index="Xl_RD">
+        <property id="1070475926801" name="value" index="Xl_RC" />
+      </concept>
+      <concept id="1081236700937" name="jetbrains.mps.baseLanguage.structure.StaticMethodCall" flags="nn" index="2YIFZM">
+        <reference id="1144433194310" name="classConcept" index="1Pybhc" />
+      </concept>
+      <concept id="1068431474542" name="jetbrains.mps.baseLanguage.structure.VariableDeclaration" flags="ng" index="33uBYm">
+        <child id="1068431790190" name="initializer" index="33vP2m" />
+      </concept>
+      <concept id="1068498886296" name="jetbrains.mps.baseLanguage.structure.VariableReference" flags="nn" index="37vLTw">
+        <reference id="1068581517664" name="variableDeclaration" index="3cqZAo" />
+      </concept>
+      <concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
+        <child id="5680397130376446158" name="type" index="1tU5fm" />
+      </concept>
+      <concept id="1068580123152" name="jetbrains.mps.baseLanguage.structure.EqualsExpression" flags="nn" index="3clFbC" />
+      <concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
+        <child id="1068580123156" name="expression" index="3clFbG" />
+      </concept>
+      <concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
+        <child id="1068581517665" name="statement" index="3cqZAp" />
+      </concept>
+      <concept id="1068580320020" name="jetbrains.mps.baseLanguage.structure.IntegerConstant" flags="nn" index="3cmrfG">
+        <property id="1068580320021" name="value" index="3cmrfH" />
+      </concept>
+      <concept id="1068581242878" name="jetbrains.mps.baseLanguage.structure.ReturnStatement" flags="nn" index="3cpWs6">
+        <child id="1068581517676" name="expression" index="3cqZAk" />
+      </concept>
+      <concept id="1068581242864" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclarationStatement" flags="nn" index="3cpWs8">
+        <child id="1068581242865" name="localVariableDeclaration" index="3cpWs9" />
+      </concept>
+      <concept id="1068581242863" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclaration" flags="nr" index="3cpWsn" />
+      <concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ng" index="1ndlxa">
+        <reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
+        <child id="1068499141038" name="actualArgument" index="37wK5m" />
+      </concept>
+      <concept id="1081773326031" name="jetbrains.mps.baseLanguage.structure.BinaryOperation" flags="nn" index="3uHJSO">
+        <child id="1081773367579" name="rightExpression" index="3uHU7w" />
+        <child id="1081773367580" name="leftExpression" index="3uHU7B" />
+      </concept>
+    </language>
+    <language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
+      <concept id="1140725362528" name="jetbrains.mps.lang.smodel.structure.Link_SetTargetOperation" flags="nn" index="2oxUTD">
+        <child id="1140725362529" name="linkTarget" index="2oxUTC" />
+      </concept>
+      <concept id="1138661924179" name="jetbrains.mps.lang.smodel.structure.Property_SetOperation" flags="nn" index="tyxLq">
+        <child id="1138662048170" name="value" index="tz02z" />
+      </concept>
+      <concept id="1138757581985" name="jetbrains.mps.lang.smodel.structure.Link_SetNewChildOperation" flags="nn" index="zfrQC" />
+      <concept id="1139184414036" name="jetbrains.mps.lang.smodel.structure.LinkList_AddNewChildOperation" flags="nn" index="WFELt">
+        <reference id="1139877738879" name="concept" index="1A0vxQ" />
+      </concept>
+      <concept id="1180636770613" name="jetbrains.mps.lang.smodel.structure.SNodeCreator" flags="nn" index="3zrR0B">
+        <child id="1180636770616" name="createdType" index="3zrR0E" />
+      </concept>
+      <concept id="1139867745658" name="jetbrains.mps.lang.smodel.structure.Node_ReplaceWithNewOperation" flags="nn" index="1_qnLN">
+        <reference id="1139867957129" name="concept" index="1_rbq0" />
+      </concept>
+      <concept id="1140131837776" name="jetbrains.mps.lang.smodel.structure.Node_ReplaceWithAnotherOperation" flags="nn" index="1P9Npp">
+        <child id="1140131861877" name="replacementNode" index="1P9ThW" />
+      </concept>
+      <concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2">
+        <reference id="1138405853777" name="concept" index="ehGHo" />
+      </concept>
+      <concept id="1138056022639" name="jetbrains.mps.lang.smodel.structure.SPropertyAccess" flags="nn" index="3TrcHB">
+        <reference id="1138056395725" name="property" index="3TsBF5" />
+      </concept>
+      <concept id="1138056143562" name="jetbrains.mps.lang.smodel.structure.SLinkAccess" flags="nn" index="3TrEf2">
+        <reference id="1138056516764" name="link" index="3Tt5mk" />
+      </concept>
+      <concept id="1138056282393" name="jetbrains.mps.lang.smodel.structure.SLinkListAccess" flags="nn" index="3Tsc0h">
+        <reference id="1138056546658" name="link" index="3TtcxE" />
+      </concept>
+      <concept id="1228341669568" name="jetbrains.mps.lang.smodel.structure.Node_DetachOperation" flags="nn" index="3YRAZt" />
+    </language>
+    <language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
+      <concept id="1133920641626" name="jetbrains.mps.lang.core.structure.BaseConcept" flags="ng" index="2VYdi">
+        <property id="1193676396447" name="virtualPackage" index="3GE5qa" />
+      </concept>
+      <concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
+        <property id="1169194664001" name="name" index="TrG5h" />
+      </concept>
+    </language>
+    <language id="daafa647-f1f7-4b0b-b096-69cd7c8408c0" name="jetbrains.mps.baseLanguage.regexp">
+      <concept id="1174482804200" name="jetbrains.mps.baseLanguage.regexp.structure.PlusRegexp" flags="ng" index="1OClNT" />
+      <concept id="1174485235885" name="jetbrains.mps.baseLanguage.regexp.structure.UnaryRegexp" flags="ng" index="1OLBAW">
+        <child id="1174485243418" name="regexp" index="1OLDsb" />
+      </concept>
+      <concept id="1174510540317" name="jetbrains.mps.baseLanguage.regexp.structure.InlineRegexpExpression" flags="nn" index="1Qi9sc">
+        <child id="1174510571016" name="regexp" index="1QigWp" />
+      </concept>
+      <concept id="1174512414484" name="jetbrains.mps.baseLanguage.regexp.structure.MatchRegexpStatement" flags="nn" index="1QpiS5">
+        <child id="1174512427594" name="body" index="1Qpmdr" />
+        <child id="1174512569438" name="expr" index="1QpSPf" />
+      </concept>
+      <concept id="1174555732504" name="jetbrains.mps.baseLanguage.regexp.structure.PredefinedSymbolClassRegexp" flags="ng" index="1SYyG9">
+        <reference id="1174555843709" name="symbolClass" index="1SYXPG" />
+      </concept>
+      <concept id="1174653354106" name="jetbrains.mps.baseLanguage.regexp.structure.RegexpUsingConstruction" flags="ng" index="1YMW5F">
+        <child id="1174653387388" name="regexp" index="1YN4dH" />
+      </concept>
+    </language>
+    <language id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections">
+      <concept id="540871147943773365" name="jetbrains.mps.baseLanguage.collections.structure.SingleArgumentSequenceOperation" flags="nn" index="25WWJ4">
+        <child id="540871147943773366" name="argument" index="25WWJ7" />
+      </concept>
+      <concept id="1160612413312" name="jetbrains.mps.baseLanguage.collections.structure.AddElementOperation" flags="nn" index="TSZUe" />
+      <concept id="1162935959151" name="jetbrains.mps.baseLanguage.collections.structure.GetSizeOperation" flags="nn" index="34oBXx" />
+      <concept id="1165525191778" name="jetbrains.mps.baseLanguage.collections.structure.GetFirstOperation" flags="nn" index="1uHKPH" />
+    </language>
+  </registry>
+  <node concept="24kQdi" id="3JXBM6C3Cnb">
+    <property role="3GE5qa" value="sentence" />
+    <ref role="1XX52x" to="jfgh:3JXBM6C3Cn8" resolve="Constant" />
+    <node concept="3EZMnI" id="3JXBM6C3Cnd" role="2wV5jI">
+      <node concept="3F0A7n" id="3JXBM6C3Cnk" role="3EZMnx">
+        <ref role="1NtTu8" to="tpck:h0TrG11" resolve="name" />
+      </node>
+      <node concept="l2Vlx" id="3JXBM6C3Cng" role="2iSdaV" />
+    </node>
+  </node>
+  <node concept="24kQdi" id="3JXBM6C3Cnr">
+    <property role="3GE5qa" value="sentence" />
+    <ref role="1XX52x" to="jfgh:3JXBM6C3Cnn" resolve="Not" />
+    <node concept="3EZMnI" id="3JXBM6C3Cnt" role="2wV5jI">
+      <node concept="3F0ifn" id="3JXBM6C3Cn$" role="3EZMnx">
+        <property role="3F0ifm" value="~" />
+        <ref role="1ERwB7" node="3JXBM6C86ij" resolve="Not_Actions" />
+        <node concept="11LMrY" id="3JXBM6C3FnT" role="3F10Kt">
+          <property role="VOm3f" value="true" />
+        </node>
+      </node>
+      <node concept="3F1sOY" id="3JXBM6C3CnE" role="3EZMnx">
+        <ref role="1NtTu8" to="jfgh:3JXBM6C3Cno" resolve="target" />
+      </node>
+      <node concept="l2Vlx" id="3JXBM6C3Cnw" role="2iSdaV" />
+    </node>
+  </node>
+  <node concept="24kQdi" id="3JXBM6C3FnY">
+    <property role="3GE5qa" value="sentence" />
+    <ref role="1XX52x" to="jfgh:3JXBM6C3FnV" resolve="And" />
+    <node concept="3EZMnI" id="3JXBM6C3Fo0" role="2wV5jI">
+      <node concept="3F0ifn" id="3JXBM6C3Fo7" role="3EZMnx">
+        <property role="3F0ifm" value="(" />
+        <ref role="1ERwB7" node="3JXBM6C8NIn" resolve="And_Actions" />
+        <node concept="11LMrY" id="3JXBM6C3Foh" role="3F10Kt">
+          <property role="VOm3f" value="true" />
+        </node>
+      </node>
+      <node concept="3F2HdR" id="3JXBM6C3For" role="3EZMnx">
+        <property role="2czwfO" value="&amp;" />
+        <ref role="1NtTu8" to="jfgh:3JXBM6C3FnW" resolve="conjunct" />
+        <node concept="l2Vlx" id="3JXBM6C3Fot" role="2czzBx" />
+        <node concept="3F0ifn" id="3JXBM6C3Fo$" role="2czzBI">
+          <property role="3F0ifm" value="" />
+          <property role="ilYzB" value="&lt;no conjuncts&gt;" />
+        </node>
+        <node concept="tppnM" id="3JXBM6C4jyP" role="sWeuL">
+          <node concept="VPM3Z" id="3JXBM6C8qcZ" role="3F10Kt">
+            <property role="VOm3f" value="true" />
+          </node>
+          <node concept="11L4FC" id="3JXBM6C4jyQ" role="3F10Kt">
+            <property role="VOm3f" value="false" />
+          </node>
+          <node concept="11LMrY" id="3JXBM6C4jyR" role="3F10Kt">
+            <property role="VOm3f" value="false" />
+          </node>
+        </node>
+      </node>
+      <node concept="3F0ifn" id="3JXBM6C3Fod" role="3EZMnx">
+        <property role="3F0ifm" value=")" />
+        <ref role="1ERwB7" node="3JXBM6C8NIn" resolve="And_Actions" />
+        <node concept="11L4FC" id="3JXBM6C3Foj" role="3F10Kt">
+          <property role="VOm3f" value="true" />
+        </node>
+      </node>
+      <node concept="l2Vlx" id="3JXBM6C3Fo3" role="2iSdaV" />
+    </node>
+  </node>
+  <node concept="24kQdi" id="3JXBM6C3FoB">
+    <property role="3GE5qa" value="sentence" />
+    <ref role="1XX52x" to="jfgh:3JXBM6C3FoA" resolve="Or" />
+    <node concept="3EZMnI" id="3JXBM6C3FoD" role="2wV5jI">
+      <node concept="3F0ifn" id="3JXBM6C3FoK" role="3EZMnx">
+        <property role="3F0ifm" value="(" />
+        <ref role="1ERwB7" node="3JXBM6C8ul8" resolve="Or_Actions" />
+        <node concept="11LMrY" id="3JXBM6C3FoU" role="3F10Kt">
+          <property role="VOm3f" value="true" />
+        </node>
+      </node>
+      <node concept="3F2HdR" id="3JXBM6C3Fp6" role="3EZMnx">
+        <property role="2czwfO" value="|" />
+        <ref role="1NtTu8" to="jfgh:3JXBM6C3Fp4" resolve="disjunct" />
+        <node concept="l2Vlx" id="3JXBM6C3Fp8" role="2czzBx" />
+        <node concept="3F0ifn" id="3JXBM6C3Fpf" role="2czzBI">
+          <property role="3F0ifm" value="" />
+          <property role="ilYzB" value="&lt;no disjuncts&gt;" />
+        </node>
+        <node concept="tppnM" id="3JXBM6C4jyE" role="sWeuL">
+          <node concept="VPM3Z" id="3JXBM6C8qd8" role="3F10Kt">
+            <property role="VOm3f" value="true" />
+          </node>
+          <node concept="11L4FC" id="3JXBM6C4jyG" role="3F10Kt">
+            <property role="VOm3f" value="false" />
+          </node>
+          <node concept="11LMrY" id="3JXBM6C4jyL" role="3F10Kt">
+            <property role="VOm3f" value="false" />
+          </node>
+        </node>
+      </node>
+      <node concept="3F0ifn" id="3JXBM6C3FoQ" role="3EZMnx">
+        <property role="3F0ifm" value=")" />
+        <ref role="1ERwB7" node="3JXBM6C8ul8" resolve="Or_Actions" />
+        <node concept="11L4FC" id="3JXBM6C3FoW" role="3F10Kt">
+          <property role="VOm3f" value="true" />
+        </node>
+      </node>
+      <node concept="l2Vlx" id="3JXBM6C3FoG" role="2iSdaV" />
+    </node>
+  </node>
+  <node concept="24kQdi" id="3JXBM6C3Fpn">
+    <property role="3GE5qa" value="sentence" />
+    <ref role="1XX52x" to="jfgh:3JXBM6C3Fph" resolve="If" />
+    <node concept="3EZMnI" id="3JXBM6C3Fpp" role="2wV5jI">
+      <node concept="3F0ifn" id="3JXBM6C3FqW" role="3EZMnx">
+        <property role="3F0ifm" value="(" />
+        <node concept="11LMrY" id="3JXBM6C3Fr2" role="3F10Kt">
+          <property role="VOm3f" value="true" />
+        </node>
+      </node>
+      <node concept="3F1sOY" id="3JXBM6C3Fpw" role="3EZMnx">
+        <ref role="1NtTu8" to="jfgh:3JXBM6C3Fpi" resolve="antecedent" />
+      </node>
+      <node concept="3F0ifn" id="3JXBM6C3FpA" role="3EZMnx">
+        <property role="3F0ifm" value="=&gt;" />
+        <ref role="1ERwB7" node="3JXBM6C9alP" resolve="If_Actions" />
+      </node>
+      <node concept="3F1sOY" id="3JXBM6C3FpN" role="3EZMnx">
+        <ref role="1NtTu8" to="jfgh:3JXBM6C3Fpk" resolve="consequent" />
+        <ref role="1ERwB7" node="3JXBM6C9alP" resolve="If_Actions" />
+      </node>
+      <node concept="3F0ifn" id="3JXBM6C3Frn" role="3EZMnx">
+        <property role="3F0ifm" value=")" />
+        <node concept="11L4FC" id="3JXBM6C3Frv" role="3F10Kt">
+          <property role="VOm3f" value="true" />
+        </node>
+      </node>
+      <node concept="l2Vlx" id="3JXBM6C3Fps" role="2iSdaV" />
+    </node>
+  </node>
+  <node concept="24kQdi" id="3JXBM6C3Fry">
+    <property role="3GE5qa" value="sentence" />
+    <ref role="1XX52x" to="jfgh:3JXBM6C3Frx" resolve="Iff" />
+    <node concept="3EZMnI" id="3JXBM6C3Fs1" role="2wV5jI">
+      <node concept="3F0ifn" id="3JXBM6C3Fs2" role="3EZMnx">
+        <property role="3F0ifm" value="(" />
+        <node concept="11LMrY" id="3JXBM6C3Fs3" role="3F10Kt">
+          <property role="VOm3f" value="true" />
+        </node>
+      </node>
+      <node concept="3F1sOY" id="3JXBM6C3Fs4" role="3EZMnx">
+        <ref role="1NtTu8" to="jfgh:3JXBM6C3FrF" resolve="antecedent" />
+      </node>
+      <node concept="3F0ifn" id="3JXBM6C3Fs5" role="3EZMnx">
+        <property role="3F0ifm" value="&lt;=&gt;" />
+        <ref role="1ERwB7" node="3JXBM6C9dQk" resolve="Iff_Actions" />
+      </node>
+      <node concept="3F1sOY" id="3JXBM6C3Fs6" role="3EZMnx">
+        <ref role="1NtTu8" to="jfgh:3JXBM6C3FrG" resolve="consequent" />
+        <ref role="1ERwB7" node="3JXBM6C9dQk" resolve="Iff_Actions" />
+      </node>
+      <node concept="3F0ifn" id="3JXBM6C3Fs7" role="3EZMnx">
+        <property role="3F0ifm" value=")" />
+        <node concept="11L4FC" id="3JXBM6C3Fs8" role="3F10Kt">
+          <property role="VOm3f" value="true" />
+        </node>
+      </node>
+      <node concept="l2Vlx" id="3JXBM6C3Fs9" role="2iSdaV" />
+    </node>
+  </node>
+  <node concept="24kQdi" id="3JXBM6C3FsQ">
+    <property role="3GE5qa" value="proof" />
+    <ref role="1XX52x" to="jfgh:3JXBM6C3FsN" resolve="Basis" />
+    <node concept="3EZMnI" id="3JXBM6C3FsS" role="2wV5jI">
+      <node concept="l2Vlx" id="3JXBM6C3FsV" role="2iSdaV" />
+      <node concept="1iCGBv" id="3JXBM6C3FuJ" role="3EZMnx">
+        <ref role="1NtTu8" to="jfgh:3JXBM6C3FuH" resolve="reasoning" />
+        <node concept="1sVBvm" id="3JXBM6C3FuK" role="1sWHZn">
+          <node concept="1HlG4h" id="3JXBM6C3FuS" role="2wV5jI">
+            <node concept="1HfYo3" id="3JXBM6C3FuU" role="1HlULh">
+              <node concept="3TQlhw" id="3JXBM6C3FuW" role="1Hhtcw">
+                <node concept="3clFbS" id="3JXBM6C3FuY" role="2VODD2">
+                  <node concept="3clFbF" id="3JXBM6C3Sn7" role="3cqZAp">
+                    <node concept="2YIFZM" id="3JXBM6C5W$o" role="3clFbG">
+                      <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
+                      <ref role="37wK5l" to="wyt6:~String.valueOf(int):java.lang.String" resolve="valueOf" />
+                      <node concept="2OqwBi" id="3JXBM6C5W$p" role="37wK5m">
+                        <node concept="pncrf" id="3JXBM6C5W$q" role="2Oq$k0" />
+                        <node concept="3TrcHB" id="3JXBM6C5W$r" role="2OqNvi">
+                          <ref role="3TsBF5" to="jfgh:3JXBM6C54BE" resolve="sequenceNum" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="24kQdi" id="3JXBM6C3MQ3">
+    <property role="3GE5qa" value="proof" />
+    <ref role="1XX52x" to="jfgh:3JXBM6C3FsA" resolve="Judgement" />
+    <node concept="3EZMnI" id="3JXBM6C3MQ5" role="2wV5jI">
+      <node concept="3F1sOY" id="3JXBM6C3MQc" role="3EZMnx">
+        <ref role="1NtTu8" to="jfgh:3JXBM6C3FsB" resolve="conclusion" />
+      </node>
+      <node concept="l2Vlx" id="3JXBM6C3MQ8" role="2iSdaV" />
+    </node>
+  </node>
+  <node concept="24kQdi" id="3JXBM6C3Pwn">
+    <property role="3GE5qa" value="proof" />
+    <ref role="1XX52x" to="jfgh:3JXBM6C3Pwi" resolve="Assumption" />
+    <node concept="3EZMnI" id="3JXBM6C3Pwp" role="2wV5jI">
+      <node concept="3F1sOY" id="3JXBM6C3Pww" role="3EZMnx">
+        <ref role="1NtTu8" to="jfgh:3JXBM6C3Pwl" resolve="sentence" />
+      </node>
+      <node concept="l2Vlx" id="3JXBM6C3Pws" role="2iSdaV" />
+    </node>
+  </node>
+  <node concept="24kQdi" id="3JXBM6C3UQE">
+    <property role="3GE5qa" value="proof" />
+    <ref role="1XX52x" to="jfgh:3JXBM6C3UQ$" resolve="SubProof" />
+    <node concept="3EZMnI" id="3JXBM6C3UQG" role="2wV5jI">
+      <node concept="3F0ifn" id="3JXBM6C61T_" role="3EZMnx">
+        <property role="3F0ifm" value=" " />
+        <node concept="VPM3Z" id="$u9BK_$0wk" role="3F10Kt">
+          <property role="VOm3f" value="false" />
+        </node>
+      </node>
+      <node concept="3EZMnI" id="3JXBM6C63X3" role="3EZMnx">
+        <node concept="VPM3Z" id="3JXBM6C63X5" role="3F10Kt">
+          <property role="VOm3f" value="false" />
+        </node>
+        <node concept="lj46D" id="3JXBM6C660x" role="3F10Kt">
+          <property role="VOm3f" value="true" />
+        </node>
+        <node concept="l2Vlx" id="3JXBM6C63X8" role="2iSdaV" />
+        <node concept="3F2HdR" id="3JXBM6C3UQN" role="3EZMnx">
+          <property role="2czwfO" value=" " />
+          <ref role="1NtTu8" to="jfgh:3JXBM6C3UQ_" resolve="content" />
+          <node concept="l2Vlx" id="3JXBM6C3UQP" role="2czzBx" />
+          <node concept="tppnM" id="3JXBM6C3UQS" role="sWeuL">
+            <node concept="lj46D" id="3JXBM6C6l4L" role="3F10Kt">
+              <property role="VOm3f" value="true" />
+            </node>
+            <node concept="ljvvj" id="3JXBM6C3UQY" role="3F10Kt">
+              <property role="VOm3f" value="true" />
+            </node>
+          </node>
+          <node concept="3F0ifn" id="3JXBM6C3URA" role="2czzBI">
+            <property role="3F0ifm" value="" />
+            <property role="ilYzB" value="&lt;no steps&gt;" />
+          </node>
+          <node concept="1Bsynf" id="3JXBM6C63Xo" role="3F10Kt">
+            <property role="VOm3f" value="true" />
+          </node>
+          <node concept="lj46D" id="3JXBM6C6832" role="3F10Kt">
+            <property role="VOm3f" value="false" />
+          </node>
+        </node>
+      </node>
+      <node concept="3F0ifn" id="3JXBM6C6zuf" role="3EZMnx">
+        <property role="3F0ifm" value=" " />
+        <node concept="VPM3Z" id="$u9BK_$0wm" role="3F10Kt">
+          <property role="VOm3f" value="false" />
+        </node>
+      </node>
+      <node concept="l2Vlx" id="3JXBM6C3UQJ" role="2iSdaV" />
+      <node concept="3vyZuw" id="3JXBM6C5ZS6" role="3F10Kt">
+        <property role="VOm3f" value="true" />
+      </node>
+    </node>
+  </node>
+  <node concept="24kQdi" id="3JXBM6C3URg">
+    <property role="3GE5qa" value="proof" />
+    <ref role="1XX52x" to="jfgh:3JXBM6C3Fs$" resolve="Proof" />
+    <node concept="3EZMnI" id="3JXBM6C3URi" role="2wV5jI">
+      <node concept="3F0A7n" id="3JXBM6C4h$I" role="3EZMnx">
+        <ref role="1NtTu8" to="tpck:h0TrG11" resolve="name" />
+        <node concept="ljvvj" id="3JXBM6C4h$R" role="3F10Kt">
+          <property role="VOm3f" value="true" />
+        </node>
+      </node>
+      <node concept="3F0ifn" id="$u9BK__SIy" role="3EZMnx">
+        <property role="3F0ifm" value="" />
+        <node concept="ljvvj" id="$u9BK__SJr" role="3F10Kt">
+          <property role="VOm3f" value="true" />
+        </node>
+      </node>
+      <node concept="3EZMnI" id="$u9BK__SDZ" role="3EZMnx">
+        <node concept="ljvvj" id="$u9BK__SHA" role="3F10Kt">
+          <property role="VOm3f" value="true" />
+        </node>
+        <node concept="VPM3Z" id="$u9BK__SE1" role="3F10Kt">
+          <property role="VOm3f" value="false" />
+        </node>
+        <node concept="3F0ifn" id="$u9BK__SFC" role="3EZMnx">
+          <property role="3F0ifm" value="Goal:" />
+        </node>
+        <node concept="l2Vlx" id="$u9BK__SE4" role="2iSdaV" />
+        <node concept="3F1sOY" id="$u9BK__SCz" role="3EZMnx">
+          <property role="1$x2rV" value="&lt;no goal&gt;" />
+          <ref role="1NtTu8" to="jfgh:$u9BK__SAr" resolve="goal" />
+        </node>
+      </node>
+      <node concept="3EZMnI" id="$u9BK__SGu" role="3EZMnx">
+        <node concept="VPM3Z" id="$u9BK__SGw" role="3F10Kt">
+          <property role="VOm3f" value="false" />
+        </node>
+        <node concept="ljvvj" id="$u9BK__SHv" role="3F10Kt">
+          <property role="VOm3f" value="true" />
+        </node>
+        <node concept="3F0ifn" id="$u9BK__SHp" role="3EZMnx">
+          <property role="3F0ifm" value="Proof:" />
+        </node>
+        <node concept="l2Vlx" id="$u9BK__SGz" role="2iSdaV" />
+      </node>
+      <node concept="3EZMnI" id="$u9BK_yCN6" role="3EZMnx">
+        <node concept="3EZMnI" id="$u9BK_z1QP" role="3EZMnx">
+          <node concept="VPM3Z" id="$u9BK_z1QR" role="3F10Kt">
+            <property role="VOm3f" value="false" />
+          </node>
+          <node concept="2iRkQZ" id="$u9BK_z1QU" role="2iSdaV" />
+          <node concept="3EZMnI" id="$u9BK_z6et" role="3EZMnx">
+            <node concept="l2Vlx" id="$u9BK_z6eu" role="2iSdaV" />
+            <node concept="VPM3Z" id="$u9BK_z6ev" role="3F10Kt">
+              <property role="VOm3f" value="false" />
+            </node>
+            <node concept="3F2HdR" id="$u9BK_z6ez" role="3EZMnx">
+              <property role="2czwfO" value=" " />
+              <ref role="1NtTu8" to="jfgh:3JXBM6C4wQA" resolve="content" />
+              <node concept="l2Vlx" id="$u9BK_z6e$" role="2czzBx" />
+              <node concept="tppnM" id="$u9BK_zt0T" role="sWeuL">
+                <node concept="ljvvj" id="$u9BK_zt0V" role="3F10Kt">
+                  <property role="VOm3f" value="true" />
+                </node>
+              </node>
+            </node>
+            <node concept="2w$q5c" id="$u9BK_z6eB" role="2whIAn">
+              <node concept="2aJ2om" id="$u9BK_z6eC" role="2w$qW5">
+                <ref role="2$4xQ3" node="$u9BK_z27v" resolve="ID" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3EZMnI" id="$u9BK_yCN7" role="3EZMnx">
+          <node concept="VPM3Z" id="$u9BK_yCN8" role="3F10Kt">
+            <property role="VOm3f" value="false" />
+          </node>
+          <node concept="2iRkQZ" id="$u9BK_yCNa" role="2iSdaV" />
+          <node concept="3EZMnI" id="3JXBM6C6j0E" role="3EZMnx">
+            <node concept="VPM3Z" id="3JXBM6C6j0G" role="3F10Kt">
+              <property role="VOm3f" value="false" />
+            </node>
+            <node concept="lj46D" id="3JXBM6C6j10" role="3F10Kt">
+              <property role="VOm3f" value="true" />
+            </node>
+            <node concept="l2Vlx" id="3JXBM6C6j0J" role="2iSdaV" />
+            <node concept="3F2HdR" id="3JXBM6C3URp" role="3EZMnx">
+              <property role="2czwfO" value=" " />
+              <ref role="1NtTu8" to="jfgh:3JXBM6C4wQA" resolve="content" />
+              <node concept="l2Vlx" id="3JXBM6C3URr" role="2czzBx" />
+              <node concept="tppnM" id="3JXBM6C3URw" role="sWeuL">
+                <node concept="lj46D" id="3JXBM6C6n8g" role="3F10Kt">
+                  <property role="VOm3f" value="true" />
+                </node>
+                <node concept="ljvvj" id="3JXBM6C3URy" role="3F10Kt">
+                  <property role="VOm3f" value="true" />
+                </node>
+              </node>
+              <node concept="3F0ifn" id="3JXBM6C3UR$" role="2czzBI">
+                <property role="3F0ifm" value="" />
+                <property role="ilYzB" value="&lt;no steps&gt;" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="2iRfu4" id="$u9BK_yCNb" role="2iSdaV" />
+        <node concept="3EZMnI" id="$u9BK_zG5o" role="3EZMnx">
+          <node concept="3EZMnI" id="$u9BK_$Qxk" role="3EZMnx">
+            <node concept="l2Vlx" id="$u9BK_$Qxl" role="2iSdaV" />
+            <node concept="VPM3Z" id="$u9BK_$Qxm" role="3F10Kt">
+              <property role="VOm3f" value="false" />
+            </node>
+            <node concept="3F2HdR" id="$u9BK_$Qxn" role="3EZMnx">
+              <property role="2czwfO" value=" " />
+              <ref role="1NtTu8" to="jfgh:3JXBM6C4wQA" resolve="content" />
+              <node concept="l2Vlx" id="$u9BK_$Qxo" role="2czzBx" />
+              <node concept="tppnM" id="$u9BK_$Qxp" role="sWeuL">
+                <node concept="ljvvj" id="$u9BK_$Qxq" role="3F10Kt">
+                  <property role="VOm3f" value="true" />
+                </node>
+              </node>
+              <node concept="2w$q5c" id="$u9BK_$QxA" role="78xua">
+                <node concept="2aJ2om" id="$u9BK_$QxB" role="2w$qW5">
+                  <ref role="2$4xQ3" node="$u9BK_zG6f" resolve="BASIS" />
+                </node>
+              </node>
+            </node>
+            <node concept="2w$q5c" id="$u9BK_$Qxr" role="2whIAn">
+              <node concept="2aJ2om" id="$u9BK_$Qxs" role="2w$qW5">
+                <ref role="2$4xQ3" node="$u9BK_z27v" resolve="ID" />
+              </node>
+            </node>
+          </node>
+          <node concept="VPM3Z" id="$u9BK_zG5q" role="3F10Kt">
+            <property role="VOm3f" value="false" />
+          </node>
+          <node concept="2iRkQZ" id="$u9BK_zG5t" role="2iSdaV" />
+        </node>
+      </node>
+      <node concept="l2Vlx" id="3JXBM6C3URl" role="2iSdaV" />
+    </node>
+  </node>
+  <node concept="3p36aQ" id="3JXBM6C6A54">
+    <property role="3GE5qa" value="proof" />
+    <ref role="aqKnT" to="jfgh:3JXBM6C3FsN" resolve="Basis" />
+    <node concept="3XHNnq" id="3JXBM6C6A55" role="3ft7WO">
+      <ref role="3XGfJA" to="jfgh:3JXBM6C3FuH" resolve="reasoning" />
+      <node concept="1WAQ3h" id="3JXBM6C6Adw" role="1WZ6D9">
+        <node concept="3clFbS" id="3JXBM6C6Adx" role="2VODD2">
+          <node concept="3clFbF" id="3JXBM6C6Am4" role="3cqZAp">
+            <node concept="2YIFZM" id="3JXBM6C6BDU" role="3clFbG">
+              <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
+              <ref role="37wK5l" to="wyt6:~String.valueOf(int):java.lang.String" resolve="valueOf" />
+              <node concept="2OqwBi" id="3JXBM6C6AC_" role="37wK5m">
+                <node concept="1WAUZh" id="3JXBM6C6Am3" role="2Oq$k0" />
+                <node concept="3TrcHB" id="3JXBM6C6AXv" role="2OqNvi">
+                  <ref role="3TsBF5" to="jfgh:3JXBM6C54BE" resolve="sequenceNum" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="3p36aQ" id="3JXBM6C6F7z">
+    <property role="3GE5qa" value="proof" />
+    <ref role="aqKnT" to="jfgh:3JXBM6C3Fs$" resolve="Proof" />
+  </node>
+  <node concept="3p36aQ" id="3JXBM6C6Hgb">
+    <property role="3GE5qa" value="proof" />
+    <ref role="aqKnT" to="jfgh:3JXBM6C3UQ$" resolve="SubProof" />
+  </node>
+  <node concept="3p36aQ" id="3JXBM6C6Jqd">
+    <property role="3GE5qa" value="proof" />
+    <ref role="aqKnT" to="jfgh:3JXBM6C3Pwi" resolve="Assumption" />
+    <node concept="3eGOop" id="3JXBM6C6Jqe" role="3ft7WO">
+      <ref role="3EoQqy" to="jfgh:3JXBM6C3UQ$" resolve="SubProof" />
+      <node concept="ucgPf" id="3JXBM6C6Jqf" role="3aKz83">
+        <node concept="3clFbS" id="3JXBM6C6Jqg" role="2VODD2">
+          <node concept="3cpWs8" id="3JXBM6C6LYE" role="3cqZAp">
+            <node concept="3cpWsn" id="3JXBM6C6LYF" role="3cpWs9">
+              <property role="TrG5h" value="sp" />
+              <node concept="3Tqbb2" id="3JXBM6C6LYD" role="1tU5fm">
+                <ref role="ehGHo" to="jfgh:3JXBM6C3UQ$" resolve="SubProof" />
+              </node>
+              <node concept="2ShNRf" id="3JXBM6C6LYG" role="33vP2m">
+                <node concept="3zrR0B" id="3JXBM6C6LYH" role="2ShVmc">
+                  <node concept="3Tqbb2" id="3JXBM6C6LYI" role="3zrR0E">
+                    <ref role="ehGHo" to="jfgh:3JXBM6C3UQ$" resolve="SubProof" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbF" id="3JXBM6C6Mhg" role="3cqZAp">
+            <node concept="2OqwBi" id="3JXBM6C6NZc" role="3clFbG">
+              <node concept="2OqwBi" id="3JXBM6C6Mr0" role="2Oq$k0">
+                <node concept="37vLTw" id="3JXBM6C6Mhe" role="2Oq$k0">
+                  <ref role="3cqZAo" node="3JXBM6C6LYF" resolve="sp" />
+                </node>
+                <node concept="3Tsc0h" id="3JXBM6C6MEd" role="2OqNvi">
+                  <ref role="3TtcxE" to="jfgh:3JXBM6C3UQ_" resolve="content" />
+                </node>
+              </node>
+              <node concept="WFELt" id="3JXBM6C6QOf" role="2OqNvi">
+                <ref role="1A0vxQ" to="jfgh:3JXBM6C3Pwi" resolve="Assumption" />
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbF" id="3JXBM6C6JuB" role="3cqZAp">
+            <node concept="37vLTw" id="3JXBM6C6LYJ" role="3clFbG">
+              <ref role="3cqZAo" node="3JXBM6C6LYF" resolve="sp" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="16NfWO" id="3JXBM6C6Rrb" role="upBLP">
+        <node concept="2h3Zct" id="3JXBM6C6Rvc" role="16NeZM">
+          <property role="2h4Kg1" value="assume" />
+        </node>
+      </node>
+      <node concept="16NL0t" id="3JXBM6C6Wqh" role="upBLP">
+        <node concept="2h3Zct" id="3JXBM6C6WEM" role="16NL0q">
+          <property role="2h4Kg1" value="Assumption" />
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="3p36aQ" id="3JXBM6C6Z0A">
+    <property role="3GE5qa" value="sentence" />
+    <ref role="aqKnT" to="jfgh:3JXBM6C3Cn8" resolve="Constant" />
+    <node concept="3eGOop" id="3JXBM6C6Z0B" role="3ft7WO">
+      <node concept="ucgPf" id="3JXBM6C6Z0C" role="3aKz83">
+        <node concept="3clFbS" id="3JXBM6C6Z0D" role="2VODD2">
+          <node concept="3cpWs8" id="3JXBM6C75mC" role="3cqZAp">
+            <node concept="3cpWsn" id="3JXBM6C75mD" role="3cpWs9">
+              <property role="TrG5h" value="cst" />
+              <node concept="3Tqbb2" id="3JXBM6C75mA" role="1tU5fm">
+                <ref role="ehGHo" to="jfgh:3JXBM6C3Cn8" resolve="Constant" />
+              </node>
+              <node concept="2ShNRf" id="3JXBM6C75mE" role="33vP2m">
+                <node concept="3zrR0B" id="3JXBM6C75mF" role="2ShVmc">
+                  <node concept="3Tqbb2" id="3JXBM6C75mG" role="3zrR0E">
+                    <ref role="ehGHo" to="jfgh:3JXBM6C3Cn8" resolve="Constant" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbF" id="3JXBM6C74Xi" role="3cqZAp">
+            <node concept="2OqwBi" id="3JXBM6C76$E" role="3clFbG">
+              <node concept="2OqwBi" id="3JXBM6C75FT" role="2Oq$k0">
+                <node concept="37vLTw" id="3JXBM6C75mH" role="2Oq$k0">
+                  <ref role="3cqZAo" node="3JXBM6C75mD" resolve="cst" />
+                </node>
+                <node concept="3TrcHB" id="3JXBM6C75WM" role="2OqNvi">
+                  <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+                </node>
+              </node>
+              <node concept="tyxLq" id="3JXBM6C771k" role="2OqNvi">
+                <node concept="ub8z3" id="3JXBM6C77t4" role="tz02z" />
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbF" id="3JXBM6C77$Y" role="3cqZAp">
+            <node concept="37vLTw" id="3JXBM6C77$W" role="3clFbG">
+              <ref role="3cqZAo" node="3JXBM6C75mD" resolve="cst" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="16NfWO" id="3JXBM6C6Z4I" role="upBLP">
+        <node concept="uGdhv" id="3JXBM6C6Z8N" role="16NeZM">
+          <node concept="3clFbS" id="3JXBM6C6Z8P" role="2VODD2">
+            <node concept="1QpiS5" id="3JXBM6C6Zn_" role="3cqZAp">
+              <node concept="1Qi9sc" id="3JXBM6C6ZnA" role="1YN4dH">
+                <node concept="1OClNT" id="3JXBM6C7hBm" role="1QigWp">
+                  <node concept="1SYyG9" id="3JXBM6C7hK8" role="1OLDsb">
+                    <ref role="1SYXPG" to="tpfp:h5SUJUw" resolve="\w" />
+                  </node>
+                </node>
+              </node>
+              <node concept="3clFbS" id="3JXBM6C6ZnC" role="1Qpmdr">
+                <node concept="3cpWs6" id="3JXBM6C6ZL6" role="3cqZAp">
+                  <node concept="ub8z3" id="3JXBM6C71sX" role="3cqZAk" />
+                </node>
+              </node>
+              <node concept="ub8z3" id="3JXBM6C6Zwd" role="1QpSPf" />
+            </node>
+            <node concept="3clFbF" id="3JXBM6C72hu" role="3cqZAp">
+              <node concept="Xl_RD" id="3JXBM6C72ht" role="3clFbG" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="IW6AY" id="3JXBM6C7kDX">
+    <property role="3GE5qa" value="sentence" />
+    <ref role="aqKnT" to="jfgh:3JXBM6C3Cnq" resolve="Sentence" />
+    <node concept="1Qtc8_" id="3JXBM6C7kDY" role="IW6Ez">
+      <node concept="IWgqT" id="3JXBM6C7kEa" role="1Qtc8A">
+        <node concept="1hCUdq" id="3JXBM6C7kEc" role="1hCUd6">
+          <node concept="3clFbS" id="3JXBM6C7kEe" role="2VODD2">
+            <node concept="3clFbF" id="3JXBM6C7kMR" role="3cqZAp">
+              <node concept="Xl_RD" id="3JXBM6C7kMQ" role="3clFbG">
+                <property role="Xl_RC" value="&amp;" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="IWg2L" id="3JXBM6C7kEg" role="IWgqQ">
+          <node concept="3clFbS" id="3JXBM6C7kEi" role="2VODD2">
+            <node concept="3cpWs8" id="3JXBM6C7mak" role="3cqZAp">
+              <node concept="3cpWsn" id="3JXBM6C7mal" role="3cpWs9">
+                <property role="TrG5h" value="orig" />
+                <node concept="3Tqbb2" id="3JXBM6C7maj" role="1tU5fm">
+                  <ref role="ehGHo" to="jfgh:3JXBM6C3Cnq" resolve="Sentence" />
+                </node>
+                <node concept="7Obwk" id="3JXBM6C7mam" role="33vP2m" />
+              </node>
+            </node>
+            <node concept="3cpWs8" id="3JXBM6C7mfU" role="3cqZAp">
+              <node concept="3cpWsn" id="3JXBM6C7mfV" role="3cpWs9">
+                <property role="TrG5h" value="and" />
+                <node concept="3Tqbb2" id="3JXBM6C7mfR" role="1tU5fm">
+                  <ref role="ehGHo" to="jfgh:3JXBM6C3FnV" resolve="And" />
+                </node>
+                <node concept="2OqwBi" id="3JXBM6C7mfW" role="33vP2m">
+                  <node concept="7Obwk" id="3JXBM6C7mfX" role="2Oq$k0" />
+                  <node concept="1_qnLN" id="3JXBM6C7mfY" role="2OqNvi">
+                    <ref role="1_rbq0" to="jfgh:3JXBM6C3FnV" resolve="And" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbF" id="3JXBM6C7lwX" role="3cqZAp">
+              <node concept="2OqwBi" id="3JXBM6C7nRu" role="3clFbG">
+                <node concept="2OqwBi" id="3JXBM6C7mqW" role="2Oq$k0">
+                  <node concept="37vLTw" id="3JXBM6C7mfZ" role="2Oq$k0">
+                    <ref role="3cqZAo" node="3JXBM6C7mfV" resolve="and" />
+                  </node>
+                  <node concept="3Tsc0h" id="3JXBM6C7mAj" role="2OqNvi">
+                    <ref role="3TtcxE" to="jfgh:3JXBM6C3FnW" resolve="conjunct" />
+                  </node>
+                </node>
+                <node concept="TSZUe" id="3JXBM6C7qCF" role="2OqNvi">
+                  <node concept="37vLTw" id="3JXBM6C7qM8" role="25WWJ7">
+                    <ref role="3cqZAo" node="3JXBM6C7mal" resolve="orig" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbF" id="3JXBM6C7yTT" role="3cqZAp">
+              <node concept="2OqwBi" id="3JXBM6C7_2A" role="3clFbG">
+                <node concept="2OqwBi" id="3JXBM6C7z9E" role="2Oq$k0">
+                  <node concept="37vLTw" id="3JXBM6C7yTR" role="2Oq$k0">
+                    <ref role="3cqZAo" node="3JXBM6C7mfV" resolve="and" />
+                  </node>
+                  <node concept="3Tsc0h" id="3JXBM6C7zyY" role="2OqNvi">
+                    <ref role="3TtcxE" to="jfgh:3JXBM6C3FnW" resolve="conjunct" />
+                  </node>
+                </node>
+                <node concept="WFELt" id="3JXBM6C7Dm8" role="2OqNvi" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="IWgqT" id="3JXBM6C7M16" role="1Qtc8A">
+        <node concept="1hCUdq" id="3JXBM6C7M18" role="1hCUd6">
+          <node concept="3clFbS" id="3JXBM6C7M1a" role="2VODD2">
+            <node concept="3clFbF" id="3JXBM6C7M9N" role="3cqZAp">
+              <node concept="Xl_RD" id="3JXBM6C7M9M" role="3clFbG">
+                <property role="Xl_RC" value="|" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="IWg2L" id="3JXBM6C7M1c" role="IWgqQ">
+          <node concept="3clFbS" id="3JXBM6C7M1e" role="2VODD2">
+            <node concept="3cpWs8" id="3JXBM6C7Ocf" role="3cqZAp">
+              <node concept="3cpWsn" id="3JXBM6C7Ocg" role="3cpWs9">
+                <property role="TrG5h" value="orig" />
+                <node concept="3Tqbb2" id="3JXBM6C7Och" role="1tU5fm">
+                  <ref role="ehGHo" to="jfgh:3JXBM6C3Cnq" resolve="Sentence" />
+                </node>
+                <node concept="7Obwk" id="3JXBM6C7Oci" role="33vP2m" />
+              </node>
+            </node>
+            <node concept="3cpWs8" id="3JXBM6C7Ocj" role="3cqZAp">
+              <node concept="3cpWsn" id="3JXBM6C7Ock" role="3cpWs9">
+                <property role="TrG5h" value="or" />
+                <node concept="3Tqbb2" id="3JXBM6C7Ocl" role="1tU5fm">
+                  <ref role="ehGHo" to="jfgh:3JXBM6C3FoA" resolve="Or" />
+                </node>
+                <node concept="2OqwBi" id="3JXBM6C7Ocm" role="33vP2m">
+                  <node concept="7Obwk" id="3JXBM6C7Ocn" role="2Oq$k0" />
+                  <node concept="1_qnLN" id="3JXBM6C7Oco" role="2OqNvi">
+                    <ref role="1_rbq0" to="jfgh:3JXBM6C3FoA" resolve="Or" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbF" id="3JXBM6C7Ocp" role="3cqZAp">
+              <node concept="2OqwBi" id="3JXBM6C7Ocq" role="3clFbG">
+                <node concept="2OqwBi" id="3JXBM6C7Ocr" role="2Oq$k0">
+                  <node concept="37vLTw" id="3JXBM6C7Ocs" role="2Oq$k0">
+                    <ref role="3cqZAo" node="3JXBM6C7Ock" resolve="or" />
+                  </node>
+                  <node concept="3Tsc0h" id="3JXBM6C7QMJ" role="2OqNvi">
+                    <ref role="3TtcxE" to="jfgh:3JXBM6C3Fp4" resolve="disjunct" />
+                  </node>
+                </node>
+                <node concept="TSZUe" id="3JXBM6C7Ocu" role="2OqNvi">
+                  <node concept="37vLTw" id="3JXBM6C7Ocv" role="25WWJ7">
+                    <ref role="3cqZAo" node="3JXBM6C7Ocg" resolve="orig" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbF" id="3JXBM6C7Ocw" role="3cqZAp">
+              <node concept="2OqwBi" id="3JXBM6C7Ocx" role="3clFbG">
+                <node concept="2OqwBi" id="3JXBM6C7Ocy" role="2Oq$k0">
+                  <node concept="37vLTw" id="3JXBM6C7Ocz" role="2Oq$k0">
+                    <ref role="3cqZAo" node="3JXBM6C7Ock" resolve="or" />
+                  </node>
+                  <node concept="3Tsc0h" id="3JXBM6C7R9X" role="2OqNvi">
+                    <ref role="3TtcxE" to="jfgh:3JXBM6C3Fp4" resolve="disjunct" />
+                  </node>
+                </node>
+                <node concept="WFELt" id="3JXBM6C7Oc_" role="2OqNvi" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="IWgqT" id="3JXBM6C8bwi" role="1Qtc8A">
+        <node concept="1hCUdq" id="3JXBM6C8bwk" role="1hCUd6">
+          <node concept="3clFbS" id="3JXBM6C8bwm" role="2VODD2">
+            <node concept="3clFbF" id="3JXBM6C8cqn" role="3cqZAp">
+              <node concept="Xl_RD" id="3JXBM6C8cqm" role="3clFbG">
+                <property role="Xl_RC" value="=&gt;" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="IWg2L" id="3JXBM6C8bwo" role="IWgqQ">
+          <node concept="3clFbS" id="3JXBM6C8bwq" role="2VODD2">
+            <node concept="3cpWs8" id="3JXBM6C8cFs" role="3cqZAp">
+              <node concept="3cpWsn" id="3JXBM6C8cFt" role="3cpWs9">
+                <property role="TrG5h" value="orig" />
+                <node concept="3Tqbb2" id="3JXBM6C8cFu" role="1tU5fm">
+                  <ref role="ehGHo" to="jfgh:3JXBM6C3Cnq" resolve="Sentence" />
+                </node>
+                <node concept="7Obwk" id="3JXBM6C8cFv" role="33vP2m" />
+              </node>
+            </node>
+            <node concept="3cpWs8" id="3JXBM6C8cFw" role="3cqZAp">
+              <node concept="3cpWsn" id="3JXBM6C8cFx" role="3cpWs9">
+                <property role="TrG5h" value="_if" />
+                <node concept="3Tqbb2" id="3JXBM6C8cFy" role="1tU5fm">
+                  <ref role="ehGHo" to="jfgh:3JXBM6C3Fph" resolve="If" />
+                </node>
+                <node concept="2OqwBi" id="3JXBM6C8cFz" role="33vP2m">
+                  <node concept="7Obwk" id="3JXBM6C8cF$" role="2Oq$k0" />
+                  <node concept="1_qnLN" id="3JXBM6C8cF_" role="2OqNvi">
+                    <ref role="1_rbq0" to="jfgh:3JXBM6C3Fph" resolve="If" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbF" id="3JXBM6C8cFA" role="3cqZAp">
+              <node concept="2OqwBi" id="3JXBM6C8cFB" role="3clFbG">
+                <node concept="2OqwBi" id="3JXBM6C8cFC" role="2Oq$k0">
+                  <node concept="37vLTw" id="3JXBM6C8cFD" role="2Oq$k0">
+                    <ref role="3cqZAo" node="3JXBM6C8cFx" resolve="_if" />
+                  </node>
+                  <node concept="3TrEf2" id="3JXBM6C8eLI" role="2OqNvi">
+                    <ref role="3Tt5mk" to="jfgh:3JXBM6C3Fpi" resolve="antecedent" />
+                  </node>
+                </node>
+                <node concept="2oxUTD" id="3JXBM6C8f7p" role="2OqNvi">
+                  <node concept="37vLTw" id="3JXBM6C8fa3" role="2oxUTC">
+                    <ref role="3cqZAo" node="3JXBM6C8cFt" resolve="orig" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbF" id="3JXBM6C8cFH" role="3cqZAp">
+              <node concept="2OqwBi" id="3JXBM6C8cFI" role="3clFbG">
+                <node concept="2OqwBi" id="3JXBM6C8cFJ" role="2Oq$k0">
+                  <node concept="37vLTw" id="3JXBM6C8cFK" role="2Oq$k0">
+                    <ref role="3cqZAo" node="3JXBM6C8cFx" resolve="_if" />
+                  </node>
+                  <node concept="3TrEf2" id="3JXBM6C8fyt" role="2OqNvi">
+                    <ref role="3Tt5mk" to="jfgh:3JXBM6C3Fpk" resolve="consequent" />
+                  </node>
+                </node>
+                <node concept="zfrQC" id="3JXBM6C8fCx" role="2OqNvi" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="IWgqT" id="3JXBM6C8jXT" role="1Qtc8A">
+        <node concept="1hCUdq" id="3JXBM6C8jXU" role="1hCUd6">
+          <node concept="3clFbS" id="3JXBM6C8jXV" role="2VODD2">
+            <node concept="3clFbF" id="3JXBM6C8jXW" role="3cqZAp">
+              <node concept="Xl_RD" id="3JXBM6C8jXX" role="3clFbG">
+                <property role="Xl_RC" value="&lt;=&gt;" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="IWg2L" id="3JXBM6C8jXY" role="IWgqQ">
+          <node concept="3clFbS" id="3JXBM6C8jXZ" role="2VODD2">
+            <node concept="3cpWs8" id="3JXBM6C8jY0" role="3cqZAp">
+              <node concept="3cpWsn" id="3JXBM6C8jY1" role="3cpWs9">
+                <property role="TrG5h" value="orig" />
+                <node concept="3Tqbb2" id="3JXBM6C8jY2" role="1tU5fm">
+                  <ref role="ehGHo" to="jfgh:3JXBM6C3Cnq" resolve="Sentence" />
+                </node>
+                <node concept="7Obwk" id="3JXBM6C8jY3" role="33vP2m" />
+              </node>
+            </node>
+            <node concept="3cpWs8" id="3JXBM6C8jY4" role="3cqZAp">
+              <node concept="3cpWsn" id="3JXBM6C8jY5" role="3cpWs9">
+                <property role="TrG5h" value="iff" />
+                <node concept="3Tqbb2" id="3JXBM6C8jY6" role="1tU5fm">
+                  <ref role="ehGHo" to="jfgh:3JXBM6C3Frx" resolve="Iff" />
+                </node>
+                <node concept="2OqwBi" id="3JXBM6C8jY7" role="33vP2m">
+                  <node concept="7Obwk" id="3JXBM6C8jY8" role="2Oq$k0" />
+                  <node concept="1_qnLN" id="3JXBM6C8jY9" role="2OqNvi">
+                    <ref role="1_rbq0" to="jfgh:3JXBM6C3Frx" resolve="Iff" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbF" id="3JXBM6C8jYa" role="3cqZAp">
+              <node concept="2OqwBi" id="3JXBM6C8jYb" role="3clFbG">
+                <node concept="2OqwBi" id="3JXBM6C8jYc" role="2Oq$k0">
+                  <node concept="37vLTw" id="3JXBM6C8jYd" role="2Oq$k0">
+                    <ref role="3cqZAo" node="3JXBM6C8jY5" resolve="iff" />
+                  </node>
+                  <node concept="3TrEf2" id="3JXBM6C8lqg" role="2OqNvi">
+                    <ref role="3Tt5mk" to="jfgh:3JXBM6C3FrF" resolve="antecedent" />
+                  </node>
+                </node>
+                <node concept="2oxUTD" id="3JXBM6C8jYf" role="2OqNvi">
+                  <node concept="37vLTw" id="3JXBM6C8jYg" role="2oxUTC">
+                    <ref role="3cqZAo" node="3JXBM6C8jY1" resolve="orig" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbF" id="3JXBM6C8jYh" role="3cqZAp">
+              <node concept="2OqwBi" id="3JXBM6C8jYi" role="3clFbG">
+                <node concept="2OqwBi" id="3JXBM6C8jYj" role="2Oq$k0">
+                  <node concept="37vLTw" id="3JXBM6C8jYk" role="2Oq$k0">
+                    <ref role="3cqZAo" node="3JXBM6C8jY5" resolve="iff" />
+                  </node>
+                  <node concept="3TrEf2" id="3JXBM6C8lBM" role="2OqNvi">
+                    <ref role="3Tt5mk" to="jfgh:3JXBM6C3FrG" resolve="consequent" />
+                  </node>
+                </node>
+                <node concept="zfrQC" id="3JXBM6C8jYm" role="2OqNvi" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3cWJ9i" id="3JXBM6C7kE2" role="1Qtc8$">
+        <node concept="CtIbL" id="3JXBM6C7kE4" role="CtIbM">
+          <property role="CtIbK" value="RIGHT" />
+        </node>
+      </node>
+    </node>
+    <node concept="1Qtc8_" id="3JXBM6C7GZo" role="IW6Ez">
+      <node concept="IWgqT" id="3JXBM6C7GZp" role="1Qtc8A">
+        <node concept="1hCUdq" id="3JXBM6C7GZq" role="1hCUd6">
+          <node concept="3clFbS" id="3JXBM6C7GZr" role="2VODD2">
+            <node concept="3clFbF" id="3JXBM6C7GZs" role="3cqZAp">
+              <node concept="Xl_RD" id="3JXBM6C7GZt" role="3clFbG">
+                <property role="Xl_RC" value="&amp;" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="IWg2L" id="3JXBM6C7GZu" role="IWgqQ">
+          <node concept="3clFbS" id="3JXBM6C7GZv" role="2VODD2">
+            <node concept="3cpWs8" id="3JXBM6C7GZw" role="3cqZAp">
+              <node concept="3cpWsn" id="3JXBM6C7GZx" role="3cpWs9">
+                <property role="TrG5h" value="orig" />
+                <node concept="3Tqbb2" id="3JXBM6C7GZy" role="1tU5fm">
+                  <ref role="ehGHo" to="jfgh:3JXBM6C3Cnq" resolve="Sentence" />
+                </node>
+                <node concept="7Obwk" id="3JXBM6C7GZz" role="33vP2m" />
+              </node>
+            </node>
+            <node concept="3cpWs8" id="3JXBM6C7GZ$" role="3cqZAp">
+              <node concept="3cpWsn" id="3JXBM6C7GZ_" role="3cpWs9">
+                <property role="TrG5h" value="and" />
+                <node concept="3Tqbb2" id="3JXBM6C7GZA" role="1tU5fm">
+                  <ref role="ehGHo" to="jfgh:3JXBM6C3FnV" resolve="And" />
+                </node>
+                <node concept="2OqwBi" id="3JXBM6C7GZB" role="33vP2m">
+                  <node concept="7Obwk" id="3JXBM6C7GZC" role="2Oq$k0" />
+                  <node concept="1_qnLN" id="3JXBM6C7GZD" role="2OqNvi">
+                    <ref role="1_rbq0" to="jfgh:3JXBM6C3FnV" resolve="And" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbF" id="3JXBM6C7GZL" role="3cqZAp">
+              <node concept="2OqwBi" id="3JXBM6C7GZM" role="3clFbG">
+                <node concept="2OqwBi" id="3JXBM6C7GZN" role="2Oq$k0">
+                  <node concept="37vLTw" id="3JXBM6C7GZO" role="2Oq$k0">
+                    <ref role="3cqZAo" node="3JXBM6C7GZ_" resolve="and" />
+                  </node>
+                  <node concept="3Tsc0h" id="3JXBM6C7GZP" role="2OqNvi">
+                    <ref role="3TtcxE" to="jfgh:3JXBM6C3FnW" resolve="conjunct" />
+                  </node>
+                </node>
+                <node concept="WFELt" id="3JXBM6C7GZQ" role="2OqNvi" />
+              </node>
+            </node>
+            <node concept="3clFbF" id="3JXBM6C7GZE" role="3cqZAp">
+              <node concept="2OqwBi" id="3JXBM6C7GZF" role="3clFbG">
+                <node concept="2OqwBi" id="3JXBM6C7GZG" role="2Oq$k0">
+                  <node concept="37vLTw" id="3JXBM6C7GZH" role="2Oq$k0">
+                    <ref role="3cqZAo" node="3JXBM6C7GZ_" resolve="and" />
+                  </node>
+                  <node concept="3Tsc0h" id="3JXBM6C7GZI" role="2OqNvi">
+                    <ref role="3TtcxE" to="jfgh:3JXBM6C3FnW" resolve="conjunct" />
+                  </node>
+                </node>
+                <node concept="TSZUe" id="3JXBM6C7GZJ" role="2OqNvi">
+                  <node concept="37vLTw" id="3JXBM6C7GZK" role="25WWJ7">
+                    <ref role="3cqZAo" node="3JXBM6C7GZx" resolve="orig" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="IWgqT" id="3JXBM6C7RN1" role="1Qtc8A">
+        <node concept="1hCUdq" id="3JXBM6C7RN2" role="1hCUd6">
+          <node concept="3clFbS" id="3JXBM6C7RN3" role="2VODD2">
+            <node concept="3clFbF" id="3JXBM6C7RN4" role="3cqZAp">
+              <node concept="Xl_RD" id="3JXBM6C7RN5" role="3clFbG">
+                <property role="Xl_RC" value="|" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="IWg2L" id="3JXBM6C7RN6" role="IWgqQ">
+          <node concept="3clFbS" id="3JXBM6C7RN7" role="2VODD2">
+            <node concept="3cpWs8" id="3JXBM6C7RN8" role="3cqZAp">
+              <node concept="3cpWsn" id="3JXBM6C7RN9" role="3cpWs9">
+                <property role="TrG5h" value="orig" />
+                <node concept="3Tqbb2" id="3JXBM6C7RNa" role="1tU5fm">
+                  <ref role="ehGHo" to="jfgh:3JXBM6C3Cnq" resolve="Sentence" />
+                </node>
+                <node concept="7Obwk" id="3JXBM6C7RNb" role="33vP2m" />
+              </node>
+            </node>
+            <node concept="3cpWs8" id="3JXBM6C7RNc" role="3cqZAp">
+              <node concept="3cpWsn" id="3JXBM6C7RNd" role="3cpWs9">
+                <property role="TrG5h" value="or" />
+                <node concept="3Tqbb2" id="3JXBM6C7RNe" role="1tU5fm">
+                  <ref role="ehGHo" to="jfgh:3JXBM6C3FoA" resolve="Or" />
+                </node>
+                <node concept="2OqwBi" id="3JXBM6C7RNf" role="33vP2m">
+                  <node concept="7Obwk" id="3JXBM6C7RNg" role="2Oq$k0" />
+                  <node concept="1_qnLN" id="3JXBM6C7RNh" role="2OqNvi">
+                    <ref role="1_rbq0" to="jfgh:3JXBM6C3FoA" resolve="Or" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbF" id="3JXBM6C7RNp" role="3cqZAp">
+              <node concept="2OqwBi" id="3JXBM6C7RNq" role="3clFbG">
+                <node concept="2OqwBi" id="3JXBM6C7RNr" role="2Oq$k0">
+                  <node concept="37vLTw" id="3JXBM6C7RNs" role="2Oq$k0">
+                    <ref role="3cqZAo" node="3JXBM6C7RNd" resolve="or" />
+                  </node>
+                  <node concept="3Tsc0h" id="3JXBM6C7RNt" role="2OqNvi">
+                    <ref role="3TtcxE" to="jfgh:3JXBM6C3Fp4" resolve="disjunct" />
+                  </node>
+                </node>
+                <node concept="WFELt" id="3JXBM6C7RNu" role="2OqNvi" />
+              </node>
+            </node>
+            <node concept="3clFbF" id="3JXBM6C7RNi" role="3cqZAp">
+              <node concept="2OqwBi" id="3JXBM6C7RNj" role="3clFbG">
+                <node concept="2OqwBi" id="3JXBM6C7RNk" role="2Oq$k0">
+                  <node concept="37vLTw" id="3JXBM6C7RNl" role="2Oq$k0">
+                    <ref role="3cqZAo" node="3JXBM6C7RNd" resolve="or" />
+                  </node>
+                  <node concept="3Tsc0h" id="3JXBM6C7RNm" role="2OqNvi">
+                    <ref role="3TtcxE" to="jfgh:3JXBM6C3Fp4" resolve="disjunct" />
+                  </node>
+                </node>
+                <node concept="TSZUe" id="3JXBM6C7RNn" role="2OqNvi">
+                  <node concept="37vLTw" id="3JXBM6C7RNo" role="25WWJ7">
+                    <ref role="3cqZAo" node="3JXBM6C7RN9" resolve="orig" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="IWgqT" id="3JXBM6C7ZTg" role="1Qtc8A">
+        <node concept="1hCUdq" id="3JXBM6C7ZTi" role="1hCUd6">
+          <node concept="3clFbS" id="3JXBM6C7ZTk" role="2VODD2">
+            <node concept="3clFbF" id="3JXBM6C80Nd" role="3cqZAp">
+              <node concept="Xl_RD" id="3JXBM6C80Nc" role="3clFbG">
+                <property role="Xl_RC" value="~" />
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="IWg2L" id="3JXBM6C7ZTm" role="IWgqQ">
+          <node concept="3clFbS" id="3JXBM6C7ZTo" role="2VODD2">
+            <node concept="3cpWs8" id="3JXBM6C814i" role="3cqZAp">
+              <node concept="3cpWsn" id="3JXBM6C814j" role="3cpWs9">
+                <property role="TrG5h" value="orig" />
+                <node concept="3Tqbb2" id="3JXBM6C814k" role="1tU5fm">
+                  <ref role="ehGHo" to="jfgh:3JXBM6C3Cnq" resolve="Sentence" />
+                </node>
+                <node concept="7Obwk" id="3JXBM6C814l" role="33vP2m" />
+              </node>
+            </node>
+            <node concept="3cpWs8" id="3JXBM6C814m" role="3cqZAp">
+              <node concept="3cpWsn" id="3JXBM6C814n" role="3cpWs9">
+                <property role="TrG5h" value="not" />
+                <node concept="3Tqbb2" id="3JXBM6C814o" role="1tU5fm">
+                  <ref role="ehGHo" to="jfgh:3JXBM6C3Cnn" resolve="Not" />
+                </node>
+                <node concept="2OqwBi" id="3JXBM6C814p" role="33vP2m">
+                  <node concept="7Obwk" id="3JXBM6C814q" role="2Oq$k0" />
+                  <node concept="1_qnLN" id="3JXBM6C814r" role="2OqNvi">
+                    <ref role="1_rbq0" to="jfgh:3JXBM6C3Cnn" resolve="Not" />
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3clFbF" id="3JXBM6C81aD" role="3cqZAp">
+              <node concept="2OqwBi" id="3JXBM6C81M8" role="3clFbG">
+                <node concept="2OqwBi" id="3JXBM6C81iG" role="2Oq$k0">
+                  <node concept="37vLTw" id="3JXBM6C81aB" role="2Oq$k0">
+                    <ref role="3cqZAo" node="3JXBM6C814n" resolve="not" />
+                  </node>
+                  <node concept="3TrEf2" id="3JXBM6C81uc" role="2OqNvi">
+                    <ref role="3Tt5mk" to="jfgh:3JXBM6C3Cno" resolve="target" />
+                  </node>
+                </node>
+                <node concept="2oxUTD" id="3JXBM6C829D" role="2OqNvi">
+                  <node concept="37vLTw" id="3JXBM6C82ah" role="2oxUTC">
+                    <ref role="3cqZAo" node="3JXBM6C814j" resolve="orig" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3cWJ9i" id="3JXBM6C7GZR" role="1Qtc8$">
+        <node concept="CtIbL" id="3JXBM6C7GZS" role="CtIbM">
+          <property role="CtIbK" value="LEFT" />
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="3p36aQ" id="3JXBM6C7X38">
+    <property role="3GE5qa" value="sentence" />
+    <ref role="aqKnT" to="jfgh:3JXBM6C3Cnn" resolve="Not" />
+    <node concept="3eGOop" id="3JXBM6C7X39" role="3ft7WO">
+      <node concept="ucgPf" id="3JXBM6C7X3a" role="3aKz83">
+        <node concept="3clFbS" id="3JXBM6C7X3b" role="2VODD2">
+          <node concept="3clFbF" id="3JXBM6C7X72" role="3cqZAp">
+            <node concept="2ShNRf" id="3JXBM6C7X70" role="3clFbG">
+              <node concept="3zrR0B" id="3JXBM6C7Xjl" role="2ShVmc">
+                <node concept="3Tqbb2" id="3JXBM6C7Xjn" role="3zrR0E">
+                  <ref role="ehGHo" to="jfgh:3JXBM6C3Cnn" resolve="Not" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="16NfWO" id="3JXBM6C7Xzs" role="upBLP">
+        <node concept="2h3Zct" id="3JXBM6C7XBu" role="16NeZM">
+          <property role="2h4Kg1" value="~" />
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="1h_SRR" id="3JXBM6C86ij">
+    <property role="3GE5qa" value="sentence" />
+    <property role="TrG5h" value="Not_Actions" />
+    <ref role="1h_SK9" to="jfgh:3JXBM6C3Cnn" resolve="Not" />
+    <node concept="1hA7zw" id="3JXBM6C86ik" role="1h_SK8">
+      <property role="1hAc7j" value="delete_action_id" />
+      <node concept="1hAIg9" id="3JXBM6C86il" role="1hA7z_">
+        <node concept="3clFbS" id="3JXBM6C86im" role="2VODD2">
+          <node concept="3clFbF" id="3JXBM6C86iz" role="3cqZAp">
+            <node concept="2OqwBi" id="3JXBM6C86qb" role="3clFbG">
+              <node concept="0IXxy" id="3JXBM6C86iy" role="2Oq$k0" />
+              <node concept="1P9Npp" id="3JXBM6C86Ku" role="2OqNvi">
+                <node concept="2OqwBi" id="3JXBM6C86Vq" role="1P9ThW">
+                  <node concept="0IXxy" id="3JXBM6C86MC" role="2Oq$k0" />
+                  <node concept="3TrEf2" id="3JXBM6C87i1" role="2OqNvi">
+                    <ref role="3Tt5mk" to="jfgh:3JXBM6C3Cno" resolve="target" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="1h_SRR" id="3JXBM6C8ul8">
+    <property role="3GE5qa" value="sentence" />
+    <property role="TrG5h" value="Or_Actions" />
+    <ref role="1h_SK9" to="jfgh:3JXBM6C3FoA" resolve="Or" />
+    <node concept="1hA7zw" id="3JXBM6C8ul9" role="1h_SK8">
+      <property role="1hAc7j" value="delete_action_id" />
+      <node concept="1hAIg9" id="3JXBM6C8ula" role="1hA7z_">
+        <node concept="3clFbS" id="3JXBM6C8ulb" role="2VODD2">
+          <node concept="3cpWs8" id="3JXBM6C8HbR" role="3cqZAp">
+            <node concept="3cpWsn" id="3JXBM6C8HbS" role="3cpWs9">
+              <property role="TrG5h" value="target" />
+              <node concept="3Tqbb2" id="3JXBM6C8HbO" role="1tU5fm">
+                <ref role="ehGHo" to="jfgh:3JXBM6C3Cnq" resolve="Sentence" />
+              </node>
+              <node concept="2OqwBi" id="3JXBM6C8HbT" role="33vP2m">
+                <node concept="2OqwBi" id="3JXBM6C8HbU" role="2Oq$k0">
+                  <node concept="0IXxy" id="3JXBM6C8HbV" role="2Oq$k0" />
+                  <node concept="3Tsc0h" id="3JXBM6C8HbW" role="2OqNvi">
+                    <ref role="3TtcxE" to="jfgh:3JXBM6C3Fp4" resolve="disjunct" />
+                  </node>
+                </node>
+                <node concept="1uHKPH" id="3JXBM6C8HbX" role="2OqNvi" />
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbF" id="3JXBM6C8HpI" role="3cqZAp">
+            <node concept="2OqwBi" id="3JXBM6C8HxN" role="3clFbG">
+              <node concept="0IXxy" id="3JXBM6C8HpG" role="2Oq$k0" />
+              <node concept="1P9Npp" id="3JXBM6C8HUA" role="2OqNvi">
+                <node concept="2OqwBi" id="3JXBM6C8I4D" role="1P9ThW">
+                  <node concept="37vLTw" id="3JXBM6C8HWK" role="2Oq$k0">
+                    <ref role="3cqZAo" node="3JXBM6C8HbS" resolve="target" />
+                  </node>
+                  <node concept="3YRAZt" id="3JXBM6C8Ip3" role="2OqNvi" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="jK8Ss" id="3JXBM6C8ulF" role="jK8aL">
+        <node concept="3clFbS" id="3JXBM6C8ulG" role="2VODD2">
+          <node concept="3clFbF" id="3JXBM6C8usP" role="3cqZAp">
+            <node concept="3clFbC" id="3JXBM6C8_TD" role="3clFbG">
+              <node concept="3cmrfG" id="3JXBM6C8AkD" role="3uHU7w">
+                <property role="3cmrfH" value="1" />
+              </node>
+              <node concept="2OqwBi" id="3JXBM6C8w_s" role="3uHU7B">
+                <node concept="2OqwBi" id="3JXBM6C8uHv" role="2Oq$k0">
+                  <node concept="0IXxy" id="3JXBM6C8usO" role="2Oq$k0" />
+                  <node concept="3Tsc0h" id="3JXBM6C8uZP" role="2OqNvi">
+                    <ref role="3TtcxE" to="jfgh:3JXBM6C3Fp4" resolve="disjunct" />
+                  </node>
+                </node>
+                <node concept="34oBXx" id="3JXBM6C8ztE" role="2OqNvi" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="1h_SRR" id="3JXBM6C8NIn">
+    <property role="3GE5qa" value="sentence" />
+    <property role="TrG5h" value="And_Actions" />
+    <ref role="1h_SK9" to="jfgh:3JXBM6C3FnV" resolve="And" />
+    <node concept="1hA7zw" id="3JXBM6C8NIo" role="1h_SK8">
+      <property role="1hAc7j" value="delete_action_id" />
+      <node concept="1hAIg9" id="3JXBM6C8NIp" role="1hA7z_">
+        <node concept="3clFbS" id="3JXBM6C8NIq" role="2VODD2">
+          <node concept="3cpWs8" id="3JXBM6C8YI2" role="3cqZAp">
+            <node concept="3cpWsn" id="3JXBM6C8YI3" role="3cpWs9">
+              <property role="TrG5h" value="target" />
+              <node concept="3Tqbb2" id="3JXBM6C8YHX" role="1tU5fm">
+                <ref role="ehGHo" to="jfgh:3JXBM6C3Cnq" resolve="Sentence" />
+              </node>
+              <node concept="2OqwBi" id="3JXBM6C8YI4" role="33vP2m">
+                <node concept="2OqwBi" id="3JXBM6C8YI5" role="2Oq$k0">
+                  <node concept="0IXxy" id="3JXBM6C8YI6" role="2Oq$k0" />
+                  <node concept="3Tsc0h" id="3JXBM6C8YI7" role="2OqNvi">
+                    <ref role="3TtcxE" to="jfgh:3JXBM6C3FnW" resolve="conjunct" />
+                  </node>
+                </node>
+                <node concept="1uHKPH" id="3JXBM6C8YI8" role="2OqNvi" />
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbF" id="3JXBM6C8YVV" role="3cqZAp">
+            <node concept="2OqwBi" id="3JXBM6C8Z3Y" role="3clFbG">
+              <node concept="0IXxy" id="3JXBM6C8YVT" role="2Oq$k0" />
+              <node concept="1P9Npp" id="3JXBM6C8ZMz" role="2OqNvi">
+                <node concept="2OqwBi" id="3JXBM6C8ZWA" role="1P9ThW">
+                  <node concept="37vLTw" id="3JXBM6C8ZOH" role="2Oq$k0">
+                    <ref role="3cqZAo" node="3JXBM6C8YI3" resolve="target" />
+                  </node>
+                  <node concept="3YRAZt" id="3JXBM6C907X" role="2OqNvi" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="jK8Ss" id="3JXBM6C8NIA" role="jK8aL">
+        <node concept="3clFbS" id="3JXBM6C8NIB" role="2VODD2">
+          <node concept="3clFbF" id="3JXBM6C8NPK" role="3cqZAp">
+            <node concept="3clFbC" id="3JXBM6C8V6B" role="3clFbG">
+              <node concept="3cmrfG" id="3JXBM6C8V6T" role="3uHU7w">
+                <property role="3cmrfH" value="1" />
+              </node>
+              <node concept="2OqwBi" id="3JXBM6C8PUM" role="3uHU7B">
+                <node concept="2OqwBi" id="3JXBM6C8O2L" role="2Oq$k0">
+                  <node concept="0IXxy" id="3JXBM6C8NPJ" role="2Oq$k0" />
+                  <node concept="3Tsc0h" id="3JXBM6C8Olb" role="2OqNvi">
+                    <ref role="3TtcxE" to="jfgh:3JXBM6C3FnW" resolve="conjunct" />
+                  </node>
+                </node>
+                <node concept="34oBXx" id="3JXBM6C8SN0" role="2OqNvi" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="1h_SRR" id="3JXBM6C9alP">
+    <property role="3GE5qa" value="sentence" />
+    <property role="TrG5h" value="If_Actions" />
+    <ref role="1h_SK9" to="jfgh:3JXBM6C3Fph" resolve="If" />
+    <node concept="1hA7zw" id="3JXBM6C9alQ" role="1h_SK8">
+      <property role="1hAc7j" value="delete_action_id" />
+      <node concept="1hAIg9" id="3JXBM6C9alR" role="1hA7z_">
+        <node concept="3clFbS" id="3JXBM6C9alS" role="2VODD2">
+          <node concept="3clFbF" id="3JXBM6C9c2K" role="3cqZAp">
+            <node concept="2OqwBi" id="3JXBM6C9cao" role="3clFbG">
+              <node concept="0IXxy" id="3JXBM6C9c2J" role="2Oq$k0" />
+              <node concept="1P9Npp" id="3JXBM6C9cwF" role="2OqNvi">
+                <node concept="2OqwBi" id="3JXBM6C9dnd" role="1P9ThW">
+                  <node concept="2OqwBi" id="3JXBM6C9cE7" role="2Oq$k0">
+                    <node concept="0IXxy" id="3JXBM6C9cxl" role="2Oq$k0" />
+                    <node concept="3TrEf2" id="3JXBM6C9d2e" role="2OqNvi">
+                      <ref role="3Tt5mk" to="jfgh:3JXBM6C3Fpi" resolve="antecedent" />
+                    </node>
+                  </node>
+                  <node concept="3YRAZt" id="3JXBM6C9dKp" role="2OqNvi" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="jK8Ss" id="3JXBM6C9am4" role="jK8aL">
+        <node concept="3clFbS" id="3JXBM6C9am5" role="2VODD2">
+          <node concept="3clFbF" id="3JXBM6C9FnB" role="3cqZAp">
+            <node concept="2OqwBi" id="3JXBM6C9F$C" role="3clFbG">
+              <node concept="0IXxy" id="3JXBM6C9FnA" role="2Oq$k0" />
+              <node concept="2xy62i" id="3JXBM6C9JFD" role="2OqNvi">
+                <node concept="1Q80Hx" id="3JXBM6C9JNi" role="2xHN3q" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="1h_SRR" id="3JXBM6C9dQk">
+    <property role="3GE5qa" value="sentence" />
+    <property role="TrG5h" value="Iff_Actions" />
+    <ref role="1h_SK9" to="jfgh:3JXBM6C3Frx" resolve="Iff" />
+    <node concept="1hA7zw" id="3JXBM6C9dQl" role="1h_SK8">
+      <property role="1hAc7j" value="delete_action_id" />
+      <node concept="1hAIg9" id="3JXBM6C9dQm" role="1hA7z_">
+        <node concept="3clFbS" id="3JXBM6C9dQn" role="2VODD2">
+          <node concept="3clFbF" id="3JXBM6C9f$R" role="3cqZAp">
+            <node concept="2OqwBi" id="3JXBM6C9fGv" role="3clFbG">
+              <node concept="0IXxy" id="3JXBM6C9f$Q" role="2Oq$k0" />
+              <node concept="1P9Npp" id="3JXBM6C9g2M" role="2OqNvi">
+                <node concept="2OqwBi" id="3JXBM6C9gce" role="1P9ThW">
+                  <node concept="0IXxy" id="3JXBM6C9g3s" role="2Oq$k0" />
+                  <node concept="3TrEf2" id="3JXBM6C9gps" role="2OqNvi">
+                    <ref role="3Tt5mk" to="jfgh:3JXBM6C3FrF" resolve="antecedent" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="jK8Ss" id="3JXBM6C9dQz" role="jK8aL">
+        <node concept="3clFbS" id="3JXBM6C9dQ$" role="2VODD2">
+          <node concept="3clFbF" id="3JXBM6C9Piz" role="3cqZAp">
+            <node concept="2OqwBi" id="3JXBM6C9Pi$" role="3clFbG">
+              <node concept="0IXxy" id="3JXBM6C9Pi_" role="2Oq$k0" />
+              <node concept="2xy62i" id="3JXBM6C9PiA" role="2OqNvi">
+                <node concept="1Q80Hx" id="3JXBM6C9PiB" role="2xHN3q" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+  </node>
+  <node concept="2ABfQD" id="$u9BK_z27u">
+    <property role="TrG5h" value="Hints" />
+    <node concept="2BsEeg" id="$u9BK_z27v" role="2ABdcP">
+      <property role="2gpH_U" value="true" />
+      <property role="TrG5h" value="ID" />
+    </node>
+    <node concept="2BsEeg" id="$u9BK_zG6f" role="2ABdcP">
+      <property role="2gpH_U" value="true" />
+      <property role="TrG5h" value="BASIS" />
+    </node>
+  </node>
+  <node concept="24kQdi" id="$u9BK_z2Sb">
+    <property role="3GE5qa" value="proof" />
+    <ref role="1XX52x" to="jfgh:3JXBM6C3Pwi" resolve="Assumption" />
+    <node concept="3EZMnI" id="$u9BK_z3hm" role="2wV5jI">
+      <node concept="1HlG4h" id="$u9BK_z3DP" role="3EZMnx">
+        <node concept="1HfYo3" id="$u9BK_z3DQ" role="1HlULh">
+          <node concept="3TQlhw" id="$u9BK_z3DR" role="1Hhtcw">
+            <node concept="3clFbS" id="$u9BK_z3DS" role="2VODD2">
+              <node concept="3clFbF" id="$u9BK_z3DT" role="3cqZAp">
+                <node concept="2YIFZM" id="$u9BK_z3DU" role="3clFbG">
+                  <ref role="37wK5l" to="wyt6:~String.valueOf(int):java.lang.String" resolve="valueOf" />
+                  <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
+                  <node concept="2OqwBi" id="$u9BK_z3DV" role="37wK5m">
+                    <node concept="pncrf" id="$u9BK_z3DW" role="2Oq$k0" />
+                    <node concept="3TrcHB" id="$u9BK_z3DX" role="2OqNvi">
+                      <ref role="3TsBF5" to="jfgh:3JXBM6C54BE" resolve="sequenceNum" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="VPM3Z" id="$u9BK_zzyD" role="3F10Kt">
+          <property role="VOm3f" value="false" />
+        </node>
+      </node>
+      <node concept="l2Vlx" id="$u9BK_z3hp" role="2iSdaV" />
+    </node>
+    <node concept="2aJ2om" id="$u9BK_z3hk" role="CpUAK">
+      <ref role="2$4xQ3" node="$u9BK_z27v" resolve="ID" />
+    </node>
+  </node>
+  <node concept="24kQdi" id="$u9BK_zdtN">
+    <property role="3GE5qa" value="proof" />
+    <ref role="1XX52x" to="jfgh:3JXBM6C3FsA" resolve="Judgement" />
+    <node concept="2aJ2om" id="$u9BK_zdtP" role="CpUAK">
+      <ref role="2$4xQ3" node="$u9BK_z27v" resolve="ID" />
+    </node>
+    <node concept="3EZMnI" id="$u9BK_zdQf" role="2wV5jI">
+      <node concept="1HlG4h" id="$u9BK_zdQg" role="3EZMnx">
+        <node concept="1HfYo3" id="$u9BK_zdQh" role="1HlULh">
+          <node concept="3TQlhw" id="$u9BK_zdQi" role="1Hhtcw">
+            <node concept="3clFbS" id="$u9BK_zdQj" role="2VODD2">
+              <node concept="3clFbF" id="$u9BK_zdQk" role="3cqZAp">
+                <node concept="2YIFZM" id="$u9BK_zdQl" role="3clFbG">
+                  <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
+                  <ref role="37wK5l" to="wyt6:~String.valueOf(int):java.lang.String" resolve="valueOf" />
+                  <node concept="2OqwBi" id="$u9BK_zdQm" role="37wK5m">
+                    <node concept="pncrf" id="$u9BK_zdQn" role="2Oq$k0" />
+                    <node concept="3TrcHB" id="$u9BK_zdQo" role="2OqNvi">
+                      <ref role="3TsBF5" to="jfgh:3JXBM6C54BE" resolve="sequenceNum" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="VPM3Z" id="$u9BK_z$cO" role="3F10Kt">
+          <property role="VOm3f" value="false" />
+        </node>
+      </node>
+      <node concept="l2Vlx" id="$u9BK_zdQp" role="2iSdaV" />
+    </node>
+  </node>
+  <node concept="24kQdi" id="$u9BK_zkwa">
+    <property role="3GE5qa" value="proof" />
+    <ref role="1XX52x" to="jfgh:3JXBM6C3UQ$" resolve="SubProof" />
+    <node concept="2aJ2om" id="$u9BK_zkwc" role="CpUAK">
+      <ref role="2$4xQ3" node="$u9BK_z27v" resolve="ID" />
+    </node>
+    <node concept="3EZMnI" id="$u9BK_zkwj" role="2wV5jI">
+      <node concept="3F2HdR" id="$u9BK_zkwq" role="3EZMnx">
+        <property role="2czwfO" value=" " />
+        <ref role="1NtTu8" to="jfgh:3JXBM6C3UQ_" resolve="content" />
+        <node concept="l2Vlx" id="$u9BK_zkws" role="2czzBx" />
+        <node concept="tppnM" id="$u9BK_zkwv" role="sWeuL">
+          <node concept="VPM3Z" id="$u9BK_$0wg" role="3F10Kt">
+            <property role="VOm3f" value="false" />
+          </node>
+          <node concept="ljvvj" id="$u9BK_zkwx" role="3F10Kt">
+            <property role="VOm3f" value="true" />
+          </node>
+        </node>
+      </node>
+      <node concept="l2Vlx" id="$u9BK_zkwm" role="2iSdaV" />
+    </node>
+  </node>
+  <node concept="24kQdi" id="$u9BK_zG8E">
+    <property role="3GE5qa" value="proof" />
+    <ref role="1XX52x" to="jfgh:3JXBM6C3UQ$" resolve="SubProof" />
+    <node concept="2aJ2om" id="$u9BK_zG8G" role="CpUAK">
+      <ref role="2$4xQ3" node="$u9BK_zG6f" resolve="BASIS" />
+    </node>
+    <node concept="3EZMnI" id="$u9BK_$KkA" role="2wV5jI">
+      <node concept="3F2HdR" id="$u9BK_$KkB" role="3EZMnx">
+        <property role="2czwfO" value=" " />
+        <ref role="1NtTu8" to="jfgh:3JXBM6C3UQ_" resolve="content" />
+        <node concept="l2Vlx" id="$u9BK_$KkC" role="2czzBx" />
+        <node concept="tppnM" id="$u9BK_$KkD" role="sWeuL">
+          <node concept="VPM3Z" id="$u9BK_$KkE" role="3F10Kt">
+            <property role="VOm3f" value="false" />
+          </node>
+          <node concept="ljvvj" id="$u9BK_$KkF" role="3F10Kt">
+            <property role="VOm3f" value="true" />
+          </node>
+        </node>
+        <node concept="2w$q5c" id="$u9BK_$KkO" role="78xua">
+          <node concept="2aJ2om" id="$u9BK_$KkP" role="2w$qW5">
+            <ref role="2$4xQ3" node="$u9BK_zG6f" resolve="BASIS" />
+          </node>
+        </node>
+      </node>
+      <node concept="l2Vlx" id="$u9BK_$KkG" role="2iSdaV" />
+    </node>
+  </node>
+  <node concept="24kQdi" id="$u9BK_zG8U">
+    <property role="3GE5qa" value="proof" />
+    <ref role="1XX52x" to="jfgh:3JXBM6C3Pwi" resolve="Assumption" />
+    <node concept="3F0ifn" id="$u9BK_zG91" role="2wV5jI">
+      <property role="3F0ifm" value="(Assumption)" />
+      <node concept="VPM3Z" id="$u9BK_$76y" role="3F10Kt">
+        <property role="VOm3f" value="false" />
+      </node>
+    </node>
+    <node concept="2aJ2om" id="$u9BK_zG8W" role="CpUAK">
+      <ref role="2$4xQ3" node="$u9BK_zG6f" resolve="BASIS" />
+    </node>
+  </node>
+  <node concept="24kQdi" id="$u9BK_zGGT">
+    <property role="3GE5qa" value="proof" />
+    <ref role="1XX52x" to="jfgh:3JXBM6C3FsA" resolve="Judgement" />
+    <node concept="3EZMnI" id="$u9BK_zHtD" role="2wV5jI">
+      <node concept="3F0ifn" id="$u9BK_zTQU" role="3EZMnx">
+        <property role="3F0ifm" value="(" />
+        <node concept="VPM3Z" id="$u9BK_$dvp" role="3F10Kt">
+          <property role="VOm3f" value="false" />
+        </node>
+        <node concept="11LMrY" id="$u9BK_zTRj" role="3F10Kt">
+          <property role="VOm3f" value="true" />
+        </node>
+      </node>
+      <node concept="PMmxH" id="$u9BK_zHtM" role="3EZMnx">
+        <ref role="PMmxG" to="tpco:2wZex4PafBj" resolve="alias" />
+        <node concept="VPM3Z" id="$u9BK_$dvv" role="3F10Kt">
+          <property role="VOm3f" value="false" />
+        </node>
+      </node>
+      <node concept="3F0ifn" id="$u9BK_zTRa" role="3EZMnx">
+        <property role="3F0ifm" value=")" />
+        <node concept="VPM3Z" id="$u9BK_$dv_" role="3F10Kt">
+          <property role="VOm3f" value="false" />
+        </node>
+        <node concept="11L4FC" id="$u9BK_zTRl" role="3F10Kt">
+          <property role="VOm3f" value="true" />
+        </node>
+      </node>
+      <node concept="3F0ifn" id="$u9BK_zHtN" role="3EZMnx">
+        <property role="3F0ifm" value=":" />
+        <node concept="VPM3Z" id="$u9BK_$jiU" role="3F10Kt">
+          <property role="VOm3f" value="false" />
+        </node>
+      </node>
+      <node concept="3F2HdR" id="$u9BK_zHtO" role="3EZMnx">
+        <property role="2czwfO" value="," />
+        <ref role="1NtTu8" to="jfgh:3JXBM6C3MQ0" resolve="premise" />
+        <node concept="l2Vlx" id="$u9BK_zHtP" role="2czzBx" />
+        <node concept="3F0ifn" id="$u9BK_zHtQ" role="2czzBI">
+          <property role="3F0ifm" value="" />
+          <property role="ilYzB" value="&lt;no premises&gt;" />
+        </node>
+      </node>
+      <node concept="l2Vlx" id="$u9BK_zHtG" role="2iSdaV" />
+    </node>
+    <node concept="2aJ2om" id="$u9BK_zGGX" role="CpUAK">
+      <ref role="2$4xQ3" node="$u9BK_zG6f" resolve="BASIS" />
+    </node>
+  </node>
+  <node concept="24kQdi" id="$u9BK__JRm">
+    <property role="3GE5qa" value="proof" />
+    <ref role="1XX52x" to="jfgh:$u9BK__JRe" resolve="Premise" />
+    <node concept="3EZMnI" id="$u9BK__JRo" role="2wV5jI">
+      <node concept="3F1sOY" id="$u9BK__JRp" role="3EZMnx">
+        <ref role="1NtTu8" to="jfgh:$u9BK__JRh" resolve="sentence" />
+      </node>
+      <node concept="l2Vlx" id="$u9BK__JRq" role="2iSdaV" />
+    </node>
+  </node>
+  <node concept="24kQdi" id="$u9BK__JRu">
+    <property role="3GE5qa" value="proof" />
+    <ref role="1XX52x" to="jfgh:$u9BK__JRe" resolve="Premise" />
+    <node concept="3F0ifn" id="$u9BK__JRy" role="2wV5jI">
+      <property role="3F0ifm" value="(Premise)" />
+      <node concept="VPM3Z" id="$u9BK__SA6" role="3F10Kt">
+        <property role="VOm3f" value="false" />
+      </node>
+    </node>
+    <node concept="2aJ2om" id="$u9BK__JRw" role="CpUAK">
+      <ref role="2$4xQ3" node="$u9BK_zG6f" resolve="BASIS" />
+    </node>
+  </node>
+  <node concept="24kQdi" id="$u9BK__JR_">
+    <property role="3GE5qa" value="proof" />
+    <ref role="1XX52x" to="jfgh:$u9BK__JRe" resolve="Premise" />
+    <node concept="2aJ2om" id="$u9BK__JRB" role="CpUAK">
+      <ref role="2$4xQ3" node="$u9BK_z27v" resolve="ID" />
+    </node>
+    <node concept="3EZMnI" id="$u9BK__JRD" role="2wV5jI">
+      <node concept="1HlG4h" id="$u9BK__JRE" role="3EZMnx">
+        <node concept="1HfYo3" id="$u9BK__JRF" role="1HlULh">
+          <node concept="3TQlhw" id="$u9BK__JRG" role="1Hhtcw">
+            <node concept="3clFbS" id="$u9BK__JRH" role="2VODD2">
+              <node concept="3clFbF" id="$u9BK__JRI" role="3cqZAp">
+                <node concept="2YIFZM" id="$u9BK__JRJ" role="3clFbG">
+                  <ref role="1Pybhc" to="wyt6:~String" resolve="String" />
+                  <ref role="37wK5l" to="wyt6:~String.valueOf(int):java.lang.String" resolve="valueOf" />
+                  <node concept="2OqwBi" id="$u9BK__JRK" role="37wK5m">
+                    <node concept="pncrf" id="$u9BK__JRL" role="2Oq$k0" />
+                    <node concept="3TrcHB" id="$u9BK__JRM" role="2OqNvi">
+                      <ref role="3TsBF5" to="jfgh:3JXBM6C54BE" resolve="sequenceNum" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="VPM3Z" id="$u9BK__JRN" role="3F10Kt">
+          <property role="VOm3f" value="false" />
+        </node>
+      </node>
+      <node concept="l2Vlx" id="$u9BK__JRO" role="2iSdaV" />
+    </node>
+  </node>
+  <node concept="24kQdi" id="$u9BK__SAf">
+    <property role="3GE5qa" value="proof" />
+    <ref role="1XX52x" to="jfgh:$u9BK__SA8" resolve="Goal" />
+    <node concept="3EZMnI" id="$u9BK__SAh" role="2wV5jI">
+      <node concept="3F1sOY" id="$u9BK__SAo" role="3EZMnx">
+        <ref role="1NtTu8" to="jfgh:$u9BK__SA9" resolve="sentence" />
+      </node>
+      <node concept="l2Vlx" id="$u9BK__SAk" role="2iSdaV" />
+    </node>
+  </node>
+</model>
+
diff --git a/samples/fitch/languages/jetbrains.mps.fitch/models/structure.mps b/samples/fitch/languages/jetbrains.mps.fitch/models/structure.mps
new file mode 100644
index 00000000..58cb7c0f
--- /dev/null
+++ b/samples/fitch/languages/jetbrains.mps.fitch/models/structure.mps
@@ -0,0 +1,426 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<model ref="r:2003997c-f9a6-418f-99d4-03e1285a3e13(jetbrains.mps.fitch.structure)">
+  <persistence version="9" />
+  <languages>
+    <use id="c72da2b9-7cce-4447-8389-f407dc1158b7" name="jetbrains.mps.lang.structure" version="5" />
+    <devkit ref="78434eb8-b0e5-444b-850d-e7c4ad2da9ab(jetbrains.mps.devkit.aspect.structure)" />
+  </languages>
+  <imports>
+    <import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" implicit="true" />
+  </imports>
+  <registry>
+    <language id="c72da2b9-7cce-4447-8389-f407dc1158b7" name="jetbrains.mps.lang.structure">
+      <concept id="1169125787135" name="jetbrains.mps.lang.structure.structure.AbstractConceptDeclaration" flags="ig" index="PkWjJ">
+        <property id="6714410169261853888" name="conceptId" index="EcuMT" />
+        <property id="4628067390765907488" name="conceptShortDescription" index="R4oN_" />
+        <property id="4628067390765956807" name="final" index="R5$K2" />
+        <property id="4628067390765956802" name="abstract" index="R5$K7" />
+        <property id="5092175715804935370" name="conceptAlias" index="34LRSv" />
+        <child id="1071489727083" name="linkDeclaration" index="1TKVEi" />
+        <child id="1071489727084" name="propertyDeclaration" index="1TKVEl" />
+      </concept>
+      <concept id="1169125989551" name="jetbrains.mps.lang.structure.structure.InterfaceConceptDeclaration" flags="ig" index="PlHQZ">
+        <child id="1169127546356" name="extends" index="PrDN$" />
+      </concept>
+      <concept id="1169127622168" name="jetbrains.mps.lang.structure.structure.InterfaceConceptReference" flags="ig" index="PrWs8">
+        <reference id="1169127628841" name="intfc" index="PrY4T" />
+      </concept>
+      <concept id="1071489090640" name="jetbrains.mps.lang.structure.structure.ConceptDeclaration" flags="ig" index="1TIwiD">
+        <property id="1096454100552" name="rootable" index="19KtqR" />
+        <reference id="1071489389519" name="extends" index="1TJDcQ" />
+        <child id="1169129564478" name="implements" index="PzmwI" />
+      </concept>
+      <concept id="1071489288299" name="jetbrains.mps.lang.structure.structure.PropertyDeclaration" flags="ig" index="1TJgyi">
+        <property id="241647608299431129" name="propertyId" index="IQ2nx" />
+        <reference id="1082985295845" name="dataType" index="AX2Wp" />
+      </concept>
+      <concept id="1071489288298" name="jetbrains.mps.lang.structure.structure.LinkDeclaration" flags="ig" index="1TJgyj">
+        <property id="1071599776563" name="role" index="20kJfa" />
+        <property id="1071599893252" name="sourceCardinality" index="20lbJX" />
+        <property id="1071599937831" name="metaClass" index="20lmBu" />
+        <property id="241647608299431140" name="linkId" index="IQ2ns" />
+        <reference id="1071599976176" name="target" index="20lvS9" />
+      </concept>
+    </language>
+    <language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
+      <concept id="1133920641626" name="jetbrains.mps.lang.core.structure.BaseConcept" flags="ng" index="2VYdi">
+        <property id="1193676396447" name="virtualPackage" index="3GE5qa" />
+      </concept>
+      <concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
+        <property id="1169194664001" name="name" index="TrG5h" />
+      </concept>
+    </language>
+  </registry>
+  <node concept="1TIwiD" id="3JXBM6C3Cn8">
+    <property role="EcuMT" value="4322786184247805384" />
+    <property role="TrG5h" value="Constant" />
+    <property role="3GE5qa" value="sentence" />
+    <property role="R4oN_" value="Constant" />
+    <ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
+    <node concept="PrWs8" id="3JXBM6C3Fso" role="PzmwI">
+      <ref role="PrY4T" node="3JXBM6C3Cnq" resolve="Sentence" />
+    </node>
+    <node concept="PrWs8" id="3JXBM6C3Cn9" role="PzmwI">
+      <ref role="PrY4T" to="tpck:h0TrEE$" resolve="INamedConcept" />
+    </node>
+  </node>
+  <node concept="1TIwiD" id="3JXBM6C3Cnn">
+    <property role="EcuMT" value="4322786184247805399" />
+    <property role="TrG5h" value="Not" />
+    <property role="34LRSv" value="not" />
+    <property role="3GE5qa" value="sentence" />
+    <property role="R4oN_" value="Negation" />
+    <ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
+    <node concept="1TJgyj" id="3JXBM6C3Cno" role="1TKVEi">
+      <property role="IQ2ns" value="4322786184247805400" />
+      <property role="20lmBu" value="aggregation" />
+      <property role="20kJfa" value="target" />
+      <property role="20lbJX" value="1" />
+      <ref role="20lvS9" node="3JXBM6C3Cnq" resolve="Sentence" />
+    </node>
+    <node concept="PrWs8" id="3JXBM6C3Fsw" role="PzmwI">
+      <ref role="PrY4T" node="3JXBM6C3Cnq" resolve="Sentence" />
+    </node>
+  </node>
+  <node concept="PlHQZ" id="3JXBM6C3Cnq">
+    <property role="EcuMT" value="4322786184247805402" />
+    <property role="TrG5h" value="Sentence" />
+    <property role="3GE5qa" value="sentence" />
+  </node>
+  <node concept="1TIwiD" id="3JXBM6C3FnV">
+    <property role="EcuMT" value="4322786184247817723" />
+    <property role="TrG5h" value="And" />
+    <property role="34LRSv" value="and" />
+    <property role="3GE5qa" value="sentence" />
+    <property role="R4oN_" value="Conjunction" />
+    <ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
+    <node concept="1TJgyj" id="3JXBM6C3FnW" role="1TKVEi">
+      <property role="IQ2ns" value="4322786184247817724" />
+      <property role="20lmBu" value="aggregation" />
+      <property role="20kJfa" value="conjunct" />
+      <property role="20lbJX" value="1..n" />
+      <ref role="20lvS9" node="3JXBM6C3Cnq" resolve="Sentence" />
+    </node>
+    <node concept="PrWs8" id="3JXBM6C3Fsj" role="PzmwI">
+      <ref role="PrY4T" node="3JXBM6C3Cnq" resolve="Sentence" />
+    </node>
+  </node>
+  <node concept="1TIwiD" id="3JXBM6C3FoA">
+    <property role="EcuMT" value="4322786184247817766" />
+    <property role="TrG5h" value="Or" />
+    <property role="34LRSv" value="or" />
+    <property role="3GE5qa" value="sentence" />
+    <property role="R4oN_" value="Disjunction" />
+    <ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
+    <node concept="1TJgyj" id="3JXBM6C3Fp4" role="1TKVEi">
+      <property role="IQ2ns" value="4322786184247817796" />
+      <property role="20lmBu" value="aggregation" />
+      <property role="20kJfa" value="disjunct" />
+      <property role="20lbJX" value="1..n" />
+      <ref role="20lvS9" node="3JXBM6C3Cnq" resolve="Sentence" />
+    </node>
+    <node concept="PrWs8" id="3JXBM6C3Fsy" role="PzmwI">
+      <ref role="PrY4T" node="3JXBM6C3Cnq" resolve="Sentence" />
+    </node>
+  </node>
+  <node concept="1TIwiD" id="3JXBM6C3Fph">
+    <property role="EcuMT" value="4322786184247817809" />
+    <property role="TrG5h" value="If" />
+    <property role="34LRSv" value="if" />
+    <property role="3GE5qa" value="sentence" />
+    <property role="R4oN_" value="Implication" />
+    <ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
+    <node concept="1TJgyj" id="3JXBM6C3Fpi" role="1TKVEi">
+      <property role="IQ2ns" value="4322786184247817810" />
+      <property role="20lmBu" value="aggregation" />
+      <property role="20kJfa" value="antecedent" />
+      <property role="20lbJX" value="1" />
+      <ref role="20lvS9" node="3JXBM6C3Cnq" resolve="Sentence" />
+    </node>
+    <node concept="1TJgyj" id="3JXBM6C3Fpk" role="1TKVEi">
+      <property role="IQ2ns" value="4322786184247817812" />
+      <property role="20lmBu" value="aggregation" />
+      <property role="20kJfa" value="consequent" />
+      <property role="20lbJX" value="1" />
+      <ref role="20lvS9" node="3JXBM6C3Cnq" resolve="Sentence" />
+    </node>
+    <node concept="PrWs8" id="3JXBM6C3Fss" role="PzmwI">
+      <ref role="PrY4T" node="3JXBM6C3Cnq" resolve="Sentence" />
+    </node>
+  </node>
+  <node concept="1TIwiD" id="3JXBM6C3Frx">
+    <property role="EcuMT" value="4322786184247817953" />
+    <property role="TrG5h" value="Iff" />
+    <property role="34LRSv" value="iff" />
+    <property role="3GE5qa" value="sentence" />
+    <property role="R4oN_" value="Biconditional" />
+    <ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
+    <node concept="1TJgyj" id="3JXBM6C3FrF" role="1TKVEi">
+      <property role="IQ2ns" value="4322786184247817963" />
+      <property role="20lmBu" value="aggregation" />
+      <property role="20kJfa" value="antecedent" />
+      <property role="20lbJX" value="1" />
+      <ref role="20lvS9" node="3JXBM6C3Cnq" resolve="Sentence" />
+    </node>
+    <node concept="1TJgyj" id="3JXBM6C3FrG" role="1TKVEi">
+      <property role="IQ2ns" value="4322786184247817964" />
+      <property role="20lmBu" value="aggregation" />
+      <property role="20kJfa" value="consequent" />
+      <property role="20lbJX" value="1" />
+      <ref role="20lvS9" node="3JXBM6C3Cnq" resolve="Sentence" />
+    </node>
+    <node concept="PrWs8" id="3JXBM6C3Fsu" role="PzmwI">
+      <ref role="PrY4T" node="3JXBM6C3Cnq" resolve="Sentence" />
+    </node>
+  </node>
+  <node concept="1TIwiD" id="3JXBM6C3Fs$">
+    <property role="EcuMT" value="4322786184247818020" />
+    <property role="TrG5h" value="Proof" />
+    <property role="19KtqR" value="true" />
+    <property role="34LRSv" value="proof" />
+    <property role="3GE5qa" value="proof" />
+    <ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
+    <node concept="1TJgyj" id="$u9BK__SAr" role="1TKVEi">
+      <property role="IQ2ns" value="657004910291159451" />
+      <property role="20lmBu" value="aggregation" />
+      <property role="20kJfa" value="goal" />
+      <ref role="20lvS9" node="$u9BK__SA8" resolve="Goal" />
+    </node>
+    <node concept="1TJgyj" id="3JXBM6C4wQA" role="1TKVEi">
+      <property role="IQ2ns" value="4322786184248036774" />
+      <property role="20lmBu" value="aggregation" />
+      <property role="20kJfa" value="content" />
+      <property role="20lbJX" value="1..n" />
+      <ref role="20lvS9" node="3JXBM6C3UQB" resolve="Node" />
+    </node>
+    <node concept="PrWs8" id="3JXBM6C3URC" role="PzmwI">
+      <ref role="PrY4T" to="tpck:h0TrEE$" resolve="INamedConcept" />
+    </node>
+    <node concept="PrWs8" id="3JXBM6C5v8v" role="PzmwI">
+      <ref role="PrY4T" node="3JXBM6C5urr" resolve="Root" />
+    </node>
+  </node>
+  <node concept="1TIwiD" id="3JXBM6C3FsA">
+    <property role="EcuMT" value="4322786184247818022" />
+    <property role="TrG5h" value="Judgement" />
+    <property role="R5$K7" value="true" />
+    <property role="R5$K2" value="false" />
+    <property role="3GE5qa" value="proof" />
+    <ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
+    <node concept="1TJgyj" id="3JXBM6C3MQ0" role="1TKVEi">
+      <property role="IQ2ns" value="4322786184247848320" />
+      <property role="20lmBu" value="aggregation" />
+      <property role="20kJfa" value="premise" />
+      <property role="20lbJX" value="1..n" />
+      <ref role="20lvS9" node="3JXBM6C3FsN" resolve="Basis" />
+    </node>
+    <node concept="1TJgyj" id="3JXBM6C3FsB" role="1TKVEi">
+      <property role="IQ2ns" value="4322786184247818023" />
+      <property role="20lmBu" value="aggregation" />
+      <property role="20kJfa" value="conclusion" />
+      <property role="20lbJX" value="1" />
+      <ref role="20lvS9" node="3JXBM6C3Cnq" resolve="Sentence" />
+    </node>
+    <node concept="PrWs8" id="3JXBM6C3Pwg" role="PzmwI">
+      <ref role="PrY4T" node="3JXBM6C3OtS" resolve="Reasoning" />
+    </node>
+  </node>
+  <node concept="1TIwiD" id="3JXBM6C3FsN">
+    <property role="EcuMT" value="4322786184247818035" />
+    <property role="TrG5h" value="Basis" />
+    <property role="3GE5qa" value="proof" />
+    <ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
+    <node concept="1TJgyj" id="3JXBM6C3FuH" role="1TKVEi">
+      <property role="IQ2ns" value="4322786184247818157" />
+      <property role="20lmBu" value="reference" />
+      <property role="20kJfa" value="reasoning" />
+      <property role="20lbJX" value="1" />
+      <ref role="20lvS9" node="3JXBM6C3OtS" resolve="Reasoning" />
+    </node>
+  </node>
+  <node concept="PlHQZ" id="3JXBM6C3OtS">
+    <property role="EcuMT" value="4322786184247854968" />
+    <property role="TrG5h" value="Reasoning" />
+    <property role="3GE5qa" value="proof" />
+    <node concept="PrWs8" id="3JXBM6C4o1Q" role="PrDN$">
+      <ref role="PrY4T" node="3JXBM6C4ntZ" resolve="Leaf" />
+    </node>
+  </node>
+  <node concept="1TIwiD" id="3JXBM6C3Pwi">
+    <property role="EcuMT" value="4322786184247859218" />
+    <property role="TrG5h" value="Assumption" />
+    <property role="34LRSv" value="assumption" />
+    <property role="3GE5qa" value="proof" />
+    <property role="R4oN_" value="Assumption" />
+    <ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
+    <node concept="1TJgyj" id="3JXBM6C3Pwl" role="1TKVEi">
+      <property role="IQ2ns" value="4322786184247859221" />
+      <property role="20lmBu" value="aggregation" />
+      <property role="20kJfa" value="sentence" />
+      <property role="20lbJX" value="1" />
+      <ref role="20lvS9" node="3JXBM6C3Cnq" resolve="Sentence" />
+    </node>
+    <node concept="PrWs8" id="3JXBM6C3Pwj" role="PzmwI">
+      <ref role="PrY4T" node="3JXBM6C3OtS" resolve="Reasoning" />
+    </node>
+  </node>
+  <node concept="1TIwiD" id="3JXBM6C3UQ$">
+    <property role="EcuMT" value="4322786184247881124" />
+    <property role="TrG5h" value="SubProof" />
+    <property role="3GE5qa" value="proof" />
+    <ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
+    <node concept="1TJgyj" id="3JXBM6C3UQ_" role="1TKVEi">
+      <property role="IQ2ns" value="4322786184247881125" />
+      <property role="20lmBu" value="aggregation" />
+      <property role="20kJfa" value="content" />
+      <property role="20lbJX" value="1..n" />
+      <ref role="20lvS9" node="3JXBM6C3UQB" resolve="Node" />
+    </node>
+    <node concept="PrWs8" id="3JXBM6C3UQC" role="PzmwI">
+      <ref role="PrY4T" node="3JXBM6C3UQB" resolve="Node" />
+    </node>
+  </node>
+  <node concept="PlHQZ" id="3JXBM6C3UQB">
+    <property role="EcuMT" value="4322786184247881127" />
+    <property role="TrG5h" value="Node" />
+    <property role="3GE5qa" value="proof" />
+    <node concept="1TJgyi" id="3JXBM6C4nuA" role="1TKVEl">
+      <property role="IQ2nx" value="4322786184247998374" />
+      <property role="TrG5h" value="contentSize" />
+      <ref role="AX2Wp" to="tpck:fKAQMTA" resolve="integer" />
+    </node>
+    <node concept="1TJgyi" id="3JXBM6C54BE" role="1TKVEl">
+      <property role="IQ2nx" value="4322786184248183274" />
+      <property role="TrG5h" value="sequenceNum" />
+      <ref role="AX2Wp" to="tpck:fKAQMTA" resolve="integer" />
+    </node>
+  </node>
+  <node concept="1TIwiD" id="3JXBM6C3URE">
+    <property role="EcuMT" value="4322786184247881194" />
+    <property role="3GE5qa" value="proof.rule" />
+    <property role="TrG5h" value="AndIntro" />
+    <property role="34LRSv" value="&amp;I" />
+    <property role="R4oN_" value="And Introduction" />
+    <ref role="1TJDcQ" node="3JXBM6C3FsA" resolve="Judgement" />
+  </node>
+  <node concept="1TIwiD" id="3JXBM6C3UTz">
+    <property role="EcuMT" value="4322786184247881315" />
+    <property role="3GE5qa" value="proof.rule" />
+    <property role="TrG5h" value="AndElim" />
+    <property role="34LRSv" value="&amp;E" />
+    <property role="R4oN_" value="And Elimination" />
+    <ref role="1TJDcQ" node="3JXBM6C3FsA" resolve="Judgement" />
+  </node>
+  <node concept="1TIwiD" id="3JXBM6C3UT$">
+    <property role="EcuMT" value="4322786184247881316" />
+    <property role="3GE5qa" value="proof.rule" />
+    <property role="TrG5h" value="OrIntro" />
+    <property role="34LRSv" value="|I" />
+    <property role="R4oN_" value="OrIntroduction" />
+    <ref role="1TJDcQ" node="3JXBM6C3FsA" resolve="Judgement" />
+  </node>
+  <node concept="1TIwiD" id="3JXBM6C3UT_">
+    <property role="EcuMT" value="4322786184247881317" />
+    <property role="3GE5qa" value="proof.rule" />
+    <property role="TrG5h" value="OrElim" />
+    <property role="34LRSv" value="|E" />
+    <property role="R4oN_" value="Or Elimination" />
+    <ref role="1TJDcQ" node="3JXBM6C3FsA" resolve="Judgement" />
+  </node>
+  <node concept="1TIwiD" id="3JXBM6C3UTA">
+    <property role="EcuMT" value="4322786184247881318" />
+    <property role="3GE5qa" value="proof.rule" />
+    <property role="TrG5h" value="NotIntro" />
+    <property role="34LRSv" value="~I" />
+    <property role="R4oN_" value="Negation Introduction" />
+    <ref role="1TJDcQ" node="3JXBM6C3FsA" resolve="Judgement" />
+  </node>
+  <node concept="1TIwiD" id="3JXBM6C3ZJ8">
+    <property role="EcuMT" value="4322786184247901128" />
+    <property role="3GE5qa" value="proof.rule" />
+    <property role="TrG5h" value="NotElim" />
+    <property role="34LRSv" value="~E" />
+    <property role="R4oN_" value="Negation Elimination" />
+    <ref role="1TJDcQ" node="3JXBM6C3FsA" resolve="Judgement" />
+  </node>
+  <node concept="1TIwiD" id="3JXBM6C3ZJ9">
+    <property role="EcuMT" value="4322786184247901129" />
+    <property role="3GE5qa" value="proof.rule" />
+    <property role="TrG5h" value="IfIntro" />
+    <property role="34LRSv" value="=&gt;I" />
+    <property role="R4oN_" value="Implication Introduction" />
+    <ref role="1TJDcQ" node="3JXBM6C3FsA" resolve="Judgement" />
+  </node>
+  <node concept="1TIwiD" id="3JXBM6C3ZJm">
+    <property role="EcuMT" value="4322786184247901142" />
+    <property role="3GE5qa" value="proof.rule" />
+    <property role="TrG5h" value="IfElim" />
+    <property role="34LRSv" value="=&gt;E" />
+    <property role="R4oN_" value="Implication Elimination" />
+    <ref role="1TJDcQ" node="3JXBM6C3FsA" resolve="Judgement" />
+  </node>
+  <node concept="1TIwiD" id="3JXBM6C3ZJn">
+    <property role="EcuMT" value="4322786184247901143" />
+    <property role="3GE5qa" value="proof.rule" />
+    <property role="TrG5h" value="IffIntro" />
+    <property role="34LRSv" value="&lt;=&gt;I" />
+    <property role="R4oN_" value="Biconditional Introduction" />
+    <ref role="1TJDcQ" node="3JXBM6C3FsA" resolve="Judgement" />
+  </node>
+  <node concept="1TIwiD" id="3JXBM6C3ZJo">
+    <property role="EcuMT" value="4322786184247901144" />
+    <property role="3GE5qa" value="proof.rule" />
+    <property role="TrG5h" value="IffElim" />
+    <property role="34LRSv" value="&lt;=&gt;E" />
+    <property role="R4oN_" value="Biconditional Elimination" />
+    <ref role="1TJDcQ" node="3JXBM6C3FsA" resolve="Judgement" />
+  </node>
+  <node concept="PlHQZ" id="3JXBM6C4ntZ">
+    <property role="EcuMT" value="4322786184247998335" />
+    <property role="3GE5qa" value="proof" />
+    <property role="TrG5h" value="Leaf" />
+    <node concept="PrWs8" id="3JXBM6C4nu0" role="PrDN$">
+      <ref role="PrY4T" node="3JXBM6C3UQB" resolve="Node" />
+    </node>
+  </node>
+  <node concept="PlHQZ" id="3JXBM6C5urr">
+    <property role="EcuMT" value="4322786184248288987" />
+    <property role="3GE5qa" value="proof.rule" />
+    <property role="TrG5h" value="Root" />
+    <node concept="PrWs8" id="3JXBM6C5urs" role="PrDN$">
+      <ref role="PrY4T" node="3JXBM6C3UQB" resolve="Node" />
+    </node>
+  </node>
+  <node concept="1TIwiD" id="$u9BK__JRe">
+    <property role="EcuMT" value="657004910291123662" />
+    <property role="3GE5qa" value="proof" />
+    <property role="TrG5h" value="Premise" />
+    <property role="34LRSv" value="premise" />
+    <property role="R4oN_" value="Premise" />
+    <ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
+    <node concept="1TJgyj" id="$u9BK__JRh" role="1TKVEi">
+      <property role="IQ2ns" value="657004910291123665" />
+      <property role="20lmBu" value="aggregation" />
+      <property role="20kJfa" value="sentence" />
+      <property role="20lbJX" value="1" />
+      <ref role="20lvS9" node="3JXBM6C3Cnq" resolve="Sentence" />
+    </node>
+    <node concept="PrWs8" id="$u9BK__JRf" role="PzmwI">
+      <ref role="PrY4T" node="3JXBM6C3OtS" resolve="Reasoning" />
+    </node>
+  </node>
+  <node concept="1TIwiD" id="$u9BK__SA8">
+    <property role="EcuMT" value="657004910291159432" />
+    <property role="3GE5qa" value="proof" />
+    <property role="TrG5h" value="Goal" />
+    <ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
+    <node concept="1TJgyj" id="$u9BK__SA9" role="1TKVEi">
+      <property role="IQ2ns" value="657004910291159433" />
+      <property role="20lmBu" value="aggregation" />
+      <property role="20kJfa" value="sentence" />
+      <property role="20lbJX" value="1" />
+      <ref role="20lvS9" node="3JXBM6C3Cnq" resolve="Sentence" />
+    </node>
+  </node>
+</model>
+
diff --git a/samples/fitch/languages/jetbrains.mps.fitch/models/typesystem.mps b/samples/fitch/languages/jetbrains.mps.fitch/models/typesystem.mps
new file mode 100644
index 00000000..c64b9266
--- /dev/null
+++ b/samples/fitch/languages/jetbrains.mps.fitch/models/typesystem.mps
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<model ref="r:0fc28004-caa1-4d7f-a96d-1a8d903e1c13(jetbrains.mps.fitch.typesystem)">
+  <persistence version="9" />
+  <languages>
+    <use id="7a5dda62-9140-4668-ab76-d5ed1746f2b2" name="jetbrains.mps.lang.typesystem" version="1" />
+    <devkit ref="00000000-0000-4000-0000-1de82b3a4936(jetbrains.mps.devkit.aspect.typesystem)" />
+  </languages>
+  <imports />
+  <registry />
+</model>
+
diff --git a/samples/fitch/languages/jetbrains.mps.fitch/sandbox/jetbrains.mps.fitch.sandbox.msd b/samples/fitch/languages/jetbrains.mps.fitch/sandbox/jetbrains.mps.fitch.sandbox.msd
new file mode 100644
index 00000000..14c23211
--- /dev/null
+++ b/samples/fitch/languages/jetbrains.mps.fitch/sandbox/jetbrains.mps.fitch.sandbox.msd
@@ -0,0 +1,17 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<solution name="jetbrains.mps.fitch.sandbox" uuid="86925f4e-7856-4553-a261-c86fbf09bb52" moduleVersion="0" compileInMPS="true">
+  <models>
+    <modelRoot contentPath="${module}" type="default">
+      <sourceRoot location="models" />
+    </modelRoot>
+  </models>
+  <sourcePath />
+  <languageVersions>
+    <language slang="l:06b7c5c7-e359-4f4b-a581-5d0c9323af39:jetbrains.mps.fitch" version="0" />
+    <language slang="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" version="1" />
+  </languageVersions>
+  <dependencyVersions>
+    <module reference="86925f4e-7856-4553-a261-c86fbf09bb52(jetbrains.mps.fitch.sandbox)" version="0" />
+  </dependencyVersions>
+</solution>
+
diff --git a/samples/fitch/languages/jetbrains.mps.fitch/sandbox/models/jetbrains.mps.fitch.sandbox.mps b/samples/fitch/languages/jetbrains.mps.fitch/sandbox/models/jetbrains.mps.fitch.sandbox.mps
new file mode 100644
index 00000000..ff09e80b
--- /dev/null
+++ b/samples/fitch/languages/jetbrains.mps.fitch/sandbox/models/jetbrains.mps.fitch.sandbox.mps
@@ -0,0 +1,399 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<model ref="r:ff7f5a29-d9b8-40f0-b446-35696305dff0(jetbrains.mps.fitch.sandbox)">
+  <persistence version="9" />
+  <languages>
+    <use id="06b7c5c7-e359-4f4b-a581-5d0c9323af39" name="jetbrains.mps.fitch" version="0" />
+  </languages>
+  <imports />
+  <registry>
+    <language id="06b7c5c7-e359-4f4b-a581-5d0c9323af39" name="jetbrains.mps.fitch">
+      <concept id="4322786184247881316" name="jetbrains.mps.fitch.structure.OrIntro" flags="ng" index="2jWz55" />
+      <concept id="4322786184247881318" name="jetbrains.mps.fitch.structure.NotIntro" flags="ng" index="2jWz57" />
+      <concept id="4322786184247881124" name="jetbrains.mps.fitch.structure.SubProof" flags="ng" index="2jWza5">
+        <child id="4322786184247881125" name="content" index="2jWza4" />
+      </concept>
+      <concept id="4322786184247901129" name="jetbrains.mps.fitch.structure.IfIntro" flags="ng" index="2jWAjC" />
+      <concept id="4322786184247901128" name="jetbrains.mps.fitch.structure.NotElim" flags="ng" index="2jWAjD" />
+      <concept id="4322786184247859218" name="jetbrains.mps.fitch.structure.Assumption" flags="ng" index="2jWGsN">
+        <child id="4322786184247859221" name="sentence" index="2jWGsO" />
+      </concept>
+      <concept id="4322786184247805384" name="jetbrains.mps.fitch.structure.Constant" flags="ng" index="2jWLFD" />
+      <concept id="4322786184247805399" name="jetbrains.mps.fitch.structure.Not" flags="ng" index="2jWLFQ">
+        <child id="4322786184247805400" name="target" index="2jWLFT" />
+      </concept>
+      <concept id="4322786184247818020" name="jetbrains.mps.fitch.structure.Proof" flags="ng" index="2jWMw5">
+        <child id="4322786184248036774" name="content" index="2jVTa7" />
+      </concept>
+      <concept id="4322786184247818022" name="jetbrains.mps.fitch.structure.Judgement" flags="ng" index="2jWMw7">
+        <child id="4322786184247848320" name="premise" index="2jWFax" />
+        <child id="4322786184247818023" name="conclusion" index="2jWMw6" />
+      </concept>
+      <concept id="4322786184247818035" name="jetbrains.mps.fitch.structure.Basis" flags="ng" index="2jWMwi">
+        <reference id="4322786184247818157" name="reasoning" index="2jWMyc" />
+      </concept>
+      <concept id="4322786184247817766" name="jetbrains.mps.fitch.structure.Or" flags="ng" index="2jWM$7">
+        <child id="4322786184247817796" name="disjunct" index="2jWM__" />
+      </concept>
+      <concept id="4322786184247817809" name="jetbrains.mps.fitch.structure.If" flags="ng" index="2jWM_K">
+        <child id="4322786184247817810" name="antecedent" index="2jWM_N" />
+        <child id="4322786184247817812" name="consequent" index="2jWM_P" />
+      </concept>
+    </language>
+    <language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
+      <concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
+        <property id="1169194664001" name="name" index="TrG5h" />
+      </concept>
+    </language>
+  </registry>
+  <node concept="2jWMw5" id="3JXBM6C4h$e">
+    <property role="TrG5h" value="sample" />
+    <node concept="2jWza5" id="$u9BK_y$0J" role="2jVTa7">
+      <node concept="2jWGsN" id="3JXBM6C4ztF" role="2jWza4">
+        <node concept="2jWLFQ" id="$u9BK_y$3a" role="2jWGsO">
+          <node concept="2jWM$7" id="3JXBM6C4ztG" role="2jWLFT">
+            <node concept="2jWLFD" id="3JXBM6C4ztH" role="2jWM__">
+              <property role="TrG5h" value="p" />
+            </node>
+            <node concept="2jWLFQ" id="3JXBM6C4ztI" role="2jWM__">
+              <node concept="2jWLFD" id="3JXBM6C4ztJ" role="2jWLFT">
+                <property role="TrG5h" value="p" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2jWza5" id="3JXBM6Ca7o3" role="2jWza4">
+        <node concept="2jWGsN" id="3JXBM6Ca7o4" role="2jWza4">
+          <node concept="2jWLFD" id="3JXBM6Ca7o_" role="2jWGsO">
+            <property role="TrG5h" value="p" />
+          </node>
+        </node>
+        <node concept="2jWz55" id="3JXBM6Ca7oF" role="2jWza4">
+          <node concept="2jWMwi" id="3JXBM6Ca7p4" role="2jWFax">
+            <ref role="2jWMyc" node="3JXBM6Ca7o4" />
+          </node>
+          <node concept="2jWM$7" id="3JXBM6Ca7oS" role="2jWMw6">
+            <node concept="2jWLFD" id="3JXBM6Ca7oP" role="2jWM__">
+              <property role="TrG5h" value="p" />
+            </node>
+            <node concept="2jWLFQ" id="3JXBM6Ca7oZ" role="2jWM__">
+              <node concept="2jWLFD" id="3JXBM6Ca7p2" role="2jWLFT">
+                <property role="TrG5h" value="p" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2jWAjC" id="3JXBM6Ca7pK" role="2jWza4">
+        <node concept="2jWMwi" id="3JXBM6Ca7qT" role="2jWFax">
+          <ref role="2jWMyc" node="3JXBM6Ca7o4" />
+        </node>
+        <node concept="2jWMwi" id="3JXBM6Ca7qZ" role="2jWFax">
+          <ref role="2jWMyc" node="3JXBM6Ca7oF" />
+        </node>
+        <node concept="2jWM_K" id="3JXBM6Ca7qz" role="2jWMw6">
+          <node concept="2jWLFD" id="3JXBM6Ca7qv" role="2jWM_N">
+            <property role="TrG5h" value="p" />
+          </node>
+          <node concept="2jWM$7" id="3JXBM6Ca7qH" role="2jWM_P">
+            <node concept="2jWLFD" id="3JXBM6Ca7qE" role="2jWM__">
+              <property role="TrG5h" value="p" />
+            </node>
+            <node concept="2jWLFQ" id="3JXBM6Ca7qO" role="2jWM__">
+              <node concept="2jWLFD" id="3JXBM6Ca7qR" role="2jWLFT">
+                <property role="TrG5h" value="p" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2jWza5" id="3JXBM6Ca7rP" role="2jWza4">
+        <node concept="2jWGsN" id="3JXBM6Ca7rQ" role="2jWza4">
+          <node concept="2jWLFD" id="3JXBM6Ca7sF" role="2jWGsO">
+            <property role="TrG5h" value="p" />
+          </node>
+        </node>
+        <node concept="2jWGsN" id="$u9BK_y$eJ" role="2jWza4">
+          <node concept="2jWLFQ" id="$u9BK_y$eK" role="2jWGsO">
+            <node concept="2jWM$7" id="$u9BK_y$eL" role="2jWLFT">
+              <node concept="2jWLFD" id="$u9BK_y$eM" role="2jWM__">
+                <property role="TrG5h" value="p" />
+              </node>
+              <node concept="2jWLFQ" id="$u9BK_y$eN" role="2jWM__">
+                <node concept="2jWLFD" id="$u9BK_y$eO" role="2jWLFT">
+                  <property role="TrG5h" value="p" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2jWAjC" id="$u9BK_yvcM" role="2jWza4">
+        <node concept="2jWMwi" id="$u9BK_yzWV" role="2jWFax">
+          <ref role="2jWMyc" node="3JXBM6Ca7rQ" />
+        </node>
+        <node concept="2jWMwi" id="$u9BK_y$kI" role="2jWFax">
+          <ref role="2jWMyc" node="$u9BK_y$eJ" />
+        </node>
+        <node concept="2jWM_K" id="$u9BK_yzWw" role="2jWMw6">
+          <node concept="2jWLFD" id="$u9BK_yzWs" role="2jWM_N">
+            <property role="TrG5h" value="p" />
+          </node>
+          <node concept="2jWLFQ" id="$u9BK_y$k$" role="2jWM_P">
+            <node concept="2jWM$7" id="$u9BK_yzWJ" role="2jWLFT">
+              <node concept="2jWLFD" id="$u9BK_yzWG" role="2jWM__">
+                <property role="TrG5h" value="p" />
+              </node>
+              <node concept="2jWLFQ" id="$u9BK_yzWQ" role="2jWM__">
+                <node concept="2jWLFD" id="$u9BK_yzWT" role="2jWLFT">
+                  <property role="TrG5h" value="p" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2jWz57" id="$u9BK_y$kO" role="2jWza4">
+        <node concept="2jWMwi" id="$u9BK_y$lO" role="2jWFax">
+          <ref role="2jWMyc" node="3JXBM6Ca7pK" />
+        </node>
+        <node concept="2jWMwi" id="$u9BK_y$lU" role="2jWFax">
+          <ref role="2jWMyc" node="$u9BK_yvcM" />
+        </node>
+        <node concept="2jWLFQ" id="$u9BK_y$lF" role="2jWMw6">
+          <node concept="2jWLFD" id="$u9BK_y$lJ" role="2jWLFT">
+            <property role="TrG5h" value="p" />
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2jWAjC" id="$u9BK_y$oJ" role="2jVTa7">
+      <node concept="2jWMwi" id="$u9BK_y$xr" role="2jWFax">
+        <ref role="2jWMyc" node="3JXBM6C4ztF" />
+      </node>
+      <node concept="2jWMwi" id="$u9BK_y$xx" role="2jWFax">
+        <ref role="2jWMyc" node="$u9BK_y$kO" />
+      </node>
+      <node concept="2jWM_K" id="$u9BK_y$q$" role="2jWMw6">
+        <node concept="2jWLFQ" id="$u9BK_y$xn" role="2jWM_P">
+          <node concept="2jWLFD" id="$u9BK_y$xp" role="2jWLFT">
+            <property role="TrG5h" value="p" />
+          </node>
+        </node>
+        <node concept="2jWLFQ" id="$u9BK_y$v0" role="2jWM_N">
+          <node concept="2jWM$7" id="$u9BK_y$qb" role="2jWLFT">
+            <node concept="2jWLFD" id="$u9BK_y$q8" role="2jWM__">
+              <property role="TrG5h" value="p" />
+            </node>
+            <node concept="2jWLFQ" id="$u9BK_y$qi" role="2jWM__">
+              <node concept="2jWLFD" id="$u9BK_y$ql" role="2jWLFT">
+                <property role="TrG5h" value="p" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2jWza5" id="$u9BK_y$yG" role="2jVTa7">
+      <node concept="2jWGsN" id="$u9BK_y$yH" role="2jWza4">
+        <node concept="2jWLFQ" id="$u9BK_y$yI" role="2jWGsO">
+          <node concept="2jWM$7" id="$u9BK_y$yJ" role="2jWLFT">
+            <node concept="2jWLFD" id="$u9BK_y$yK" role="2jWM__">
+              <property role="TrG5h" value="p" />
+            </node>
+            <node concept="2jWLFQ" id="$u9BK_y$yL" role="2jWM__">
+              <node concept="2jWLFD" id="$u9BK_y$yM" role="2jWLFT">
+                <property role="TrG5h" value="p" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2jWza5" id="$u9BK_y$yN" role="2jWza4">
+        <node concept="2jWGsN" id="$u9BK_y$yO" role="2jWza4">
+          <node concept="2jWLFQ" id="$u9BK_y$_m" role="2jWGsO">
+            <node concept="2jWLFD" id="$u9BK_y$yP" role="2jWLFT">
+              <property role="TrG5h" value="p" />
+            </node>
+          </node>
+        </node>
+        <node concept="2jWz55" id="$u9BK_y$yQ" role="2jWza4">
+          <node concept="2jWMwi" id="$u9BK_y$yR" role="2jWFax">
+            <ref role="2jWMyc" node="$u9BK_y$yO" />
+          </node>
+          <node concept="2jWM$7" id="$u9BK_y$yS" role="2jWMw6">
+            <node concept="2jWLFD" id="$u9BK_y$yT" role="2jWM__">
+              <property role="TrG5h" value="p" />
+            </node>
+            <node concept="2jWLFQ" id="$u9BK_y$yU" role="2jWM__">
+              <node concept="2jWLFD" id="$u9BK_y$yV" role="2jWLFT">
+                <property role="TrG5h" value="p" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2jWAjC" id="$u9BK_y$yW" role="2jWza4">
+        <node concept="2jWMwi" id="$u9BK_y$yX" role="2jWFax">
+          <ref role="2jWMyc" node="$u9BK_y$yO" />
+        </node>
+        <node concept="2jWMwi" id="$u9BK_y$yY" role="2jWFax">
+          <ref role="2jWMyc" node="$u9BK_y$yQ" />
+        </node>
+        <node concept="2jWM_K" id="$u9BK_y$yZ" role="2jWMw6">
+          <node concept="2jWLFQ" id="$u9BK_y$_r" role="2jWM_N">
+            <node concept="2jWLFD" id="$u9BK_y$z0" role="2jWLFT">
+              <property role="TrG5h" value="p" />
+            </node>
+          </node>
+          <node concept="2jWM$7" id="$u9BK_y$z1" role="2jWM_P">
+            <node concept="2jWLFD" id="$u9BK_y$z2" role="2jWM__">
+              <property role="TrG5h" value="p" />
+            </node>
+            <node concept="2jWLFQ" id="$u9BK_y$z3" role="2jWM__">
+              <node concept="2jWLFD" id="$u9BK_y$z4" role="2jWLFT">
+                <property role="TrG5h" value="p" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2jWza5" id="$u9BK_y$z5" role="2jWza4">
+        <node concept="2jWGsN" id="$u9BK_y$z6" role="2jWza4">
+          <node concept="2jWLFQ" id="$u9BK_y$_w" role="2jWGsO">
+            <node concept="2jWLFD" id="$u9BK_y$z7" role="2jWLFT">
+              <property role="TrG5h" value="p" />
+            </node>
+          </node>
+        </node>
+        <node concept="2jWGsN" id="$u9BK_y$z8" role="2jWza4">
+          <node concept="2jWLFQ" id="$u9BK_y$z9" role="2jWGsO">
+            <node concept="2jWM$7" id="$u9BK_y$za" role="2jWLFT">
+              <node concept="2jWLFD" id="$u9BK_y$zb" role="2jWM__">
+                <property role="TrG5h" value="p" />
+              </node>
+              <node concept="2jWLFQ" id="$u9BK_y$zc" role="2jWM__">
+                <node concept="2jWLFD" id="$u9BK_y$zd" role="2jWLFT">
+                  <property role="TrG5h" value="p" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2jWAjC" id="$u9BK_y$ze" role="2jWza4">
+        <node concept="2jWMwi" id="$u9BK_y$zf" role="2jWFax">
+          <ref role="2jWMyc" node="$u9BK_y$z6" />
+        </node>
+        <node concept="2jWMwi" id="$u9BK_y$zg" role="2jWFax">
+          <ref role="2jWMyc" node="$u9BK_y$z8" />
+        </node>
+        <node concept="2jWM_K" id="$u9BK_y$zh" role="2jWMw6">
+          <node concept="2jWLFQ" id="$u9BK_y$__" role="2jWM_N">
+            <node concept="2jWLFD" id="$u9BK_y$zi" role="2jWLFT">
+              <property role="TrG5h" value="p" />
+            </node>
+          </node>
+          <node concept="2jWLFQ" id="$u9BK_y$zj" role="2jWM_P">
+            <node concept="2jWM$7" id="$u9BK_y$zk" role="2jWLFT">
+              <node concept="2jWLFD" id="$u9BK_y$zl" role="2jWM__">
+                <property role="TrG5h" value="p" />
+              </node>
+              <node concept="2jWLFQ" id="$u9BK_y$zm" role="2jWM__">
+                <node concept="2jWLFD" id="$u9BK_y$zn" role="2jWLFT">
+                  <property role="TrG5h" value="p" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2jWz57" id="$u9BK_y$zo" role="2jWza4">
+        <node concept="2jWMwi" id="$u9BK_y$zp" role="2jWFax">
+          <ref role="2jWMyc" node="$u9BK_y$yW" />
+        </node>
+        <node concept="2jWMwi" id="$u9BK_y$zq" role="2jWFax">
+          <ref role="2jWMyc" node="$u9BK_y$ze" />
+        </node>
+        <node concept="2jWLFQ" id="$u9BK_y$zr" role="2jWMw6">
+          <node concept="2jWLFQ" id="$u9BK_y$_E" role="2jWLFT">
+            <node concept="2jWLFD" id="$u9BK_y$zs" role="2jWLFT">
+              <property role="TrG5h" value="p" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2jWAjD" id="$u9BK_y$A_" role="2jWza4">
+        <node concept="2jWMwi" id="$u9BK_y$B$" role="2jWFax">
+          <ref role="2jWMyc" node="$u9BK_y$zo" />
+        </node>
+        <node concept="2jWLFD" id="$u9BK_y$By" role="2jWMw6">
+          <property role="TrG5h" value="p" />
+        </node>
+      </node>
+    </node>
+    <node concept="2jWAjC" id="$u9BK_y$yx" role="2jVTa7">
+      <node concept="2jWMwi" id="$u9BK_y$BC" role="2jWFax">
+        <ref role="2jWMyc" node="$u9BK_y$yH" />
+      </node>
+      <node concept="2jWMwi" id="$u9BK_y$BG" role="2jWFax">
+        <ref role="2jWMyc" node="$u9BK_y$A_" />
+      </node>
+      <node concept="2jWM_K" id="$u9BK_y$y$" role="2jWMw6">
+        <node concept="2jWLFD" id="$u9BK_y$yA" role="2jWM_P">
+          <property role="TrG5h" value="p" />
+        </node>
+        <node concept="2jWLFQ" id="$u9BK_y$yB" role="2jWM_N">
+          <node concept="2jWM$7" id="$u9BK_y$yC" role="2jWLFT">
+            <node concept="2jWLFD" id="$u9BK_y$yD" role="2jWM__">
+              <property role="TrG5h" value="p" />
+            </node>
+            <node concept="2jWLFQ" id="$u9BK_y$yE" role="2jWM__">
+              <node concept="2jWLFD" id="$u9BK_y$yF" role="2jWLFT">
+                <property role="TrG5h" value="p" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2jWz57" id="$u9BK_y$DL" role="2jVTa7">
+      <node concept="2jWLFQ" id="$u9BK_y$G8" role="2jWMw6">
+        <node concept="2jWLFQ" id="$u9BK_y$Gj" role="2jWLFT">
+          <node concept="2jWM$7" id="$u9BK_y$FV" role="2jWLFT">
+            <node concept="2jWLFD" id="$u9BK_y$FS" role="2jWM__">
+              <property role="TrG5h" value="p" />
+            </node>
+            <node concept="2jWLFQ" id="$u9BK_y$G2" role="2jWM__">
+              <node concept="2jWLFD" id="$u9BK_y$G5" role="2jWLFT">
+                <property role="TrG5h" value="p" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2jWMwi" id="$u9BK_y$Gw" role="2jWFax">
+        <ref role="2jWMyc" node="$u9BK_y$oJ" />
+      </node>
+      <node concept="2jWMwi" id="$u9BK_y$G_" role="2jWFax">
+        <ref role="2jWMyc" node="$u9BK_y$yx" />
+      </node>
+    </node>
+    <node concept="2jWAjD" id="$u9BK_y$IN" role="2jVTa7">
+      <node concept="2jWMwi" id="$u9BK_y$Li" role="2jWFax">
+        <ref role="2jWMyc" node="$u9BK_y$DL" />
+      </node>
+      <node concept="2jWM$7" id="$u9BK_y$L6" role="2jWMw6">
+        <node concept="2jWLFD" id="$u9BK_y$L3" role="2jWM__">
+          <property role="TrG5h" value="p" />
+        </node>
+        <node concept="2jWLFQ" id="$u9BK_y$Ld" role="2jWM__">
+          <node concept="2jWLFD" id="$u9BK_y$Lg" role="2jWLFT">
+            <property role="TrG5h" value="p" />
+          </node>
+        </node>
+      </node>
+    </node>
+  </node>
+</model>
+