Introduce a language for propositional logic. Move relevant stuff there.
This commit is contained in:
Fedor Isakov
parent
5353654e31
commit
cd0e7cc1b1
|
|
@ -4,6 +4,7 @@
|
|||
<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="" />
|
||||
<modulePath path="$PROJECT_DIR$/languages/jetbrains.mps.logic.propositional/jetbrains.mps.logic.propositional.mpl" folder="" />
|
||||
</projectModules>
|
||||
</component>
|
||||
</project>
|
||||
|
|
@ -1,5 +1,5 @@
|
|||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<language namespace="jetbrains.mps.fitch" uuid="06b7c5c7-e359-4f4b-a581-5d0c9323af39" languageVersion="0" moduleVersion="0">
|
||||
<language namespace="jetbrains.mps.fitch" uuid="06b7c5c7-e359-4f4b-a581-5d0c9323af39" languageVersion="1" moduleVersion="1">
|
||||
<models>
|
||||
<modelRoot contentPath="${module}" type="default">
|
||||
<sourceRoot location="models" />
|
||||
|
|
@ -36,11 +36,12 @@
|
|||
<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="06b7c5c7-e359-4f4b-a581-5d0c9323af39(jetbrains.mps.fitch)" version="1" />
|
||||
<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" />
|
||||
<module reference="ec79e64d-4cbb-4f6c-b7b7-108dd125aba6(jetbrains.mps.logic.propositional)" version="0" />
|
||||
</dependencyVersions>
|
||||
<mapping-priorities />
|
||||
</generator>
|
||||
|
|
@ -48,6 +49,7 @@
|
|||
<sourcePath />
|
||||
<dependencies>
|
||||
<dependency reexport="false">06b7c5c7-e359-4f4b-a581-5d0c9323af39(jetbrains.mps.fitch)</dependency>
|
||||
<dependency reexport="false">ec79e64d-4cbb-4f6c-b7b7-108dd125aba6(jetbrains.mps.logic.propositional)</dependency>
|
||||
</dependencies>
|
||||
<languageVersions>
|
||||
<language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="5" />
|
||||
|
|
@ -73,6 +75,8 @@
|
|||
<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:90746344-04fd-4286-97d5-b46ae6a81709:jetbrains.mps.lang.migration" version="0" />
|
||||
<language slang="l:9882f4ad-1955-46fe-8269-94189e5dbbf2:jetbrains.mps.lang.migration.util" 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" />
|
||||
|
|
@ -93,12 +97,15 @@
|
|||
<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="06b7c5c7-e359-4f4b-a581-5d0c9323af39(jetbrains.mps.fitch)" version="1" />
|
||||
<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" />
|
||||
<module reference="ec79e64d-4cbb-4f6c-b7b7-108dd125aba6(jetbrains.mps.logic.propositional)" version="0" />
|
||||
</dependencyVersions>
|
||||
<extendedLanguages />
|
||||
<extendedLanguages>
|
||||
<extendedLanguage>ec79e64d-4cbb-4f6c-b7b7-108dd125aba6(jetbrains.mps.logic.propositional)</extendedLanguage>
|
||||
</extendedLanguages>
|
||||
</language>
|
||||
|
||||
|
|
|
|||
|
|
@ -429,7 +429,7 @@
|
|||
</node>
|
||||
<node concept="1M2fIO" id="3JXBM6C7aaV">
|
||||
<property role="3GE5qa" value="sentence" />
|
||||
<ref role="1M2myG" to="jfgh:3JXBM6C3Cn8" resolve="Constant" />
|
||||
<ref role="1M2myG" to="jfgh:3JXBM6C3Cn8" resolve="Constant_old" />
|
||||
<node concept="EnEH3" id="3JXBM6C7aaW" role="1MhHOB">
|
||||
<ref role="EomxK" to="tpck:h0TrG11" resolve="name" />
|
||||
<node concept="QB0g5" id="3JXBM6C7aaY" role="QCWH9">
|
||||
|
|
|
|||
|
|
@ -309,10 +309,18 @@
|
|||
<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" />
|
||||
<child id="5169995583184591170" name="smodelAttribute" index="lGtFl" />
|
||||
</concept>
|
||||
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
|
||||
<property id="1169194664001" name="name" index="TrG5h" />
|
||||
</concept>
|
||||
<concept id="709746936026466394" name="jetbrains.mps.lang.core.structure.ChildAttribute" flags="ng" index="3VBwX9">
|
||||
<property id="709746936026609031" name="linkId" index="3V$3ak" />
|
||||
<property id="709746936026609029" name="linkRole" index="3V$3am" />
|
||||
</concept>
|
||||
<concept id="4452961908202556907" name="jetbrains.mps.lang.core.structure.BaseCommentAttribute" flags="ng" index="1X3_iC">
|
||||
<child id="3078666699043039389" name="commentedNode" index="8Wnug" />
|
||||
</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" />
|
||||
|
|
@ -353,7 +361,7 @@
|
|||
</registry>
|
||||
<node concept="24kQdi" id="3JXBM6C3Cnb">
|
||||
<property role="3GE5qa" value="sentence" />
|
||||
<ref role="1XX52x" to="jfgh:3JXBM6C3Cn8" resolve="Constant" />
|
||||
<ref role="1XX52x" to="jfgh:3JXBM6C3Cn8" resolve="Constant_old" />
|
||||
<node concept="3EZMnI" id="3JXBM6C3Cnd" role="2wV5jI">
|
||||
<node concept="3F0A7n" id="3JXBM6C3Cnk" role="3EZMnx">
|
||||
<ref role="1NtTu8" to="tpck:h0TrG11" resolve="name" />
|
||||
|
|
@ -363,7 +371,7 @@
|
|||
</node>
|
||||
<node concept="24kQdi" id="3JXBM6C3Cnr">
|
||||
<property role="3GE5qa" value="sentence" />
|
||||
<ref role="1XX52x" to="jfgh:3JXBM6C3Cnn" resolve="Not" />
|
||||
<ref role="1XX52x" to="jfgh:3JXBM6C3Cnn" resolve="Not_old" />
|
||||
<node concept="3EZMnI" id="3JXBM6C3Cnt" role="2wV5jI">
|
||||
<node concept="3F0ifn" id="3JXBM6C3Cn$" role="3EZMnx">
|
||||
<property role="3F0ifm" value="~" />
|
||||
|
|
@ -373,14 +381,14 @@
|
|||
</node>
|
||||
</node>
|
||||
<node concept="3F1sOY" id="3JXBM6C3CnE" role="3EZMnx">
|
||||
<ref role="1NtTu8" to="jfgh:3JXBM6C3Cno" resolve="target" />
|
||||
<ref role="1NtTu8" to="jfgh:3JXBM6C3Cno" resolve="target_old" />
|
||||
</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" />
|
||||
<ref role="1XX52x" to="jfgh:3JXBM6C3FnV" resolve="And_old" />
|
||||
<node concept="3EZMnI" id="3JXBM6C3Fo0" role="2wV5jI">
|
||||
<node concept="3F0ifn" id="3JXBM6C3Fo7" role="3EZMnx">
|
||||
<property role="3F0ifm" value="(" />
|
||||
|
|
@ -391,7 +399,7 @@
|
|||
</node>
|
||||
<node concept="3F2HdR" id="3JXBM6C3For" role="3EZMnx">
|
||||
<property role="2czwfO" value="&" />
|
||||
<ref role="1NtTu8" to="jfgh:3JXBM6C3FnW" resolve="conjunct" />
|
||||
<ref role="1NtTu8" to="jfgh:3JXBM6C3FnW" resolve="conjunct_old" />
|
||||
<node concept="l2Vlx" id="3JXBM6C3Fot" role="2czzBx" />
|
||||
<node concept="3F0ifn" id="3JXBM6C3Fo$" role="2czzBI">
|
||||
<property role="3F0ifm" value="" />
|
||||
|
|
@ -421,7 +429,7 @@
|
|||
</node>
|
||||
<node concept="24kQdi" id="3JXBM6C3FoB">
|
||||
<property role="3GE5qa" value="sentence" />
|
||||
<ref role="1XX52x" to="jfgh:3JXBM6C3FoA" resolve="Or" />
|
||||
<ref role="1XX52x" to="jfgh:3JXBM6C3FoA" resolve="Or_old" />
|
||||
<node concept="3EZMnI" id="3JXBM6C3FoD" role="2wV5jI">
|
||||
<node concept="3F0ifn" id="3JXBM6C3FoK" role="3EZMnx">
|
||||
<property role="3F0ifm" value="(" />
|
||||
|
|
@ -432,7 +440,7 @@
|
|||
</node>
|
||||
<node concept="3F2HdR" id="3JXBM6C3Fp6" role="3EZMnx">
|
||||
<property role="2czwfO" value="|" />
|
||||
<ref role="1NtTu8" to="jfgh:3JXBM6C3Fp4" resolve="disjunct" />
|
||||
<ref role="1NtTu8" to="jfgh:3JXBM6C3Fp4" resolve="disjunct_old" />
|
||||
<node concept="l2Vlx" id="3JXBM6C3Fp8" role="2czzBx" />
|
||||
<node concept="3F0ifn" id="3JXBM6C3Fpf" role="2czzBI">
|
||||
<property role="3F0ifm" value="" />
|
||||
|
|
@ -462,7 +470,7 @@
|
|||
</node>
|
||||
<node concept="24kQdi" id="3JXBM6C3Fpn">
|
||||
<property role="3GE5qa" value="sentence" />
|
||||
<ref role="1XX52x" to="jfgh:3JXBM6C3Fph" resolve="If" />
|
||||
<ref role="1XX52x" to="jfgh:3JXBM6C3Fph" resolve="If_old" />
|
||||
<node concept="3EZMnI" id="3JXBM6C3Fpp" role="2wV5jI">
|
||||
<node concept="3F0ifn" id="3JXBM6C3FqW" role="3EZMnx">
|
||||
<property role="3F0ifm" value="(" />
|
||||
|
|
@ -471,14 +479,14 @@
|
|||
</node>
|
||||
</node>
|
||||
<node concept="3F1sOY" id="3JXBM6C3Fpw" role="3EZMnx">
|
||||
<ref role="1NtTu8" to="jfgh:3JXBM6C3Fpi" resolve="antecedent" />
|
||||
<ref role="1NtTu8" to="jfgh:3JXBM6C3Fpi" resolve="antecedent_old" />
|
||||
</node>
|
||||
<node concept="3F0ifn" id="3JXBM6C3FpA" role="3EZMnx">
|
||||
<property role="3F0ifm" value="=>" />
|
||||
<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="1NtTu8" to="jfgh:3JXBM6C3Fpk" resolve="consequent_old" />
|
||||
<ref role="1ERwB7" node="3JXBM6C9alP" resolve="If_Actions" />
|
||||
</node>
|
||||
<node concept="3F0ifn" id="3JXBM6C3Frn" role="3EZMnx">
|
||||
|
|
@ -492,7 +500,7 @@
|
|||
</node>
|
||||
<node concept="24kQdi" id="3JXBM6C3Fry">
|
||||
<property role="3GE5qa" value="sentence" />
|
||||
<ref role="1XX52x" to="jfgh:3JXBM6C3Frx" resolve="Iff" />
|
||||
<ref role="1XX52x" to="jfgh:3JXBM6C3Frx" resolve="Iff_old" />
|
||||
<node concept="3EZMnI" id="3JXBM6C3Fs1" role="2wV5jI">
|
||||
<node concept="3F0ifn" id="3JXBM6C3Fs2" role="3EZMnx">
|
||||
<property role="3F0ifm" value="(" />
|
||||
|
|
@ -501,14 +509,14 @@
|
|||
</node>
|
||||
</node>
|
||||
<node concept="3F1sOY" id="3JXBM6C3Fs4" role="3EZMnx">
|
||||
<ref role="1NtTu8" to="jfgh:3JXBM6C3FrF" resolve="antecedent" />
|
||||
<ref role="1NtTu8" to="jfgh:3JXBM6C3FrF" resolve="antecedent_old" />
|
||||
</node>
|
||||
<node concept="3F0ifn" id="3JXBM6C3Fs5" role="3EZMnx">
|
||||
<property role="3F0ifm" value="<=>" />
|
||||
<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="1NtTu8" to="jfgh:3JXBM6C3FrG" resolve="consequent_old" />
|
||||
<ref role="1ERwB7" node="3JXBM6C9dQk" resolve="Iff_Actions" />
|
||||
</node>
|
||||
<node concept="3F0ifn" id="3JXBM6C3Fs7" role="3EZMnx">
|
||||
|
|
@ -887,67 +895,71 @@
|
|||
</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" />
|
||||
<ref role="aqKnT" to="jfgh:3JXBM6C3Cn8" resolve="Constant_old" />
|
||||
<node concept="1X3_iC" id="4LBPYGUYJOr" role="lGtFl">
|
||||
<property role="3V$3am" value="parts" />
|
||||
<property role="3V$3ak" value="18bc6592-03a6-4e29-a83a-7ff23bde13ba/2000375450116454183/414384289274416996" />
|
||||
<node concept="3eGOop" id="3JXBM6C6Z0B" role="8Wnug">
|
||||
<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_old" />
|
||||
</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_old" />
|
||||
</node>
|
||||
</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 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="3TrcHB" id="3JXBM6C75WM" role="2OqNvi">
|
||||
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
|
||||
<node concept="tyxLq" id="3JXBM6C771k" role="2OqNvi">
|
||||
<node concept="ub8z3" id="3JXBM6C77t4" role="tz02z" />
|
||||
</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 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>
|
||||
<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 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>
|
||||
<node concept="3clFbS" id="3JXBM6C6ZnC" role="1Qpmdr">
|
||||
<node concept="3cpWs6" id="3JXBM6C6ZL6" role="3cqZAp">
|
||||
<node concept="ub8z3" id="3JXBM6C71sX" role="3cqZAk" />
|
||||
<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 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>
|
||||
|
|
@ -956,7 +968,7 @@
|
|||
</node>
|
||||
<node concept="IW6AY" id="3JXBM6C7kDX">
|
||||
<property role="3GE5qa" value="sentence" />
|
||||
<ref role="aqKnT" to="jfgh:3JXBM6C3Cnq" resolve="Sentence" />
|
||||
<ref role="aqKnT" to="jfgh:3JXBM6C3Cnq" resolve="Sentence_old" />
|
||||
<node concept="1Qtc8_" id="3JXBM6C7kDY" role="IW6Ez">
|
||||
<node concept="IWgqT" id="3JXBM6C7kEa" role="1Qtc8A">
|
||||
<node concept="1hCUdq" id="3JXBM6C7kEc" role="1hCUd6">
|
||||
|
|
@ -974,7 +986,7 @@
|
|||
<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" />
|
||||
<ref role="ehGHo" to="jfgh:3JXBM6C3Cnq" resolve="Sentence_old" />
|
||||
</node>
|
||||
<node concept="7Obwk" id="3JXBM6C7mam" role="33vP2m" />
|
||||
</node>
|
||||
|
|
@ -983,12 +995,12 @@
|
|||
<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" />
|
||||
<ref role="ehGHo" to="jfgh:3JXBM6C3FnV" resolve="And_old" />
|
||||
</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" />
|
||||
<ref role="1_rbq0" to="jfgh:3JXBM6C3FnV" resolve="And_old" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -1000,7 +1012,7 @@
|
|||
<ref role="3cqZAo" node="3JXBM6C7mfV" resolve="and" />
|
||||
</node>
|
||||
<node concept="3Tsc0h" id="3JXBM6C7mAj" role="2OqNvi">
|
||||
<ref role="3TtcxE" to="jfgh:3JXBM6C3FnW" resolve="conjunct" />
|
||||
<ref role="3TtcxE" to="jfgh:3JXBM6C3FnW" resolve="conjunct_old" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="TSZUe" id="3JXBM6C7qCF" role="2OqNvi">
|
||||
|
|
@ -1017,7 +1029,7 @@
|
|||
<ref role="3cqZAo" node="3JXBM6C7mfV" resolve="and" />
|
||||
</node>
|
||||
<node concept="3Tsc0h" id="3JXBM6C7zyY" role="2OqNvi">
|
||||
<ref role="3TtcxE" to="jfgh:3JXBM6C3FnW" resolve="conjunct" />
|
||||
<ref role="3TtcxE" to="jfgh:3JXBM6C3FnW" resolve="conjunct_old" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="WFELt" id="3JXBM6C7Dm8" role="2OqNvi" />
|
||||
|
|
@ -1042,7 +1054,7 @@
|
|||
<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" />
|
||||
<ref role="ehGHo" to="jfgh:3JXBM6C3Cnq" resolve="Sentence_old" />
|
||||
</node>
|
||||
<node concept="7Obwk" id="3JXBM6C7Oci" role="33vP2m" />
|
||||
</node>
|
||||
|
|
@ -1051,12 +1063,12 @@
|
|||
<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" />
|
||||
<ref role="ehGHo" to="jfgh:3JXBM6C3FoA" resolve="Or_old" />
|
||||
</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" />
|
||||
<ref role="1_rbq0" to="jfgh:3JXBM6C3FoA" resolve="Or_old" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -1068,7 +1080,7 @@
|
|||
<ref role="3cqZAo" node="3JXBM6C7Ock" resolve="or" />
|
||||
</node>
|
||||
<node concept="3Tsc0h" id="3JXBM6C7QMJ" role="2OqNvi">
|
||||
<ref role="3TtcxE" to="jfgh:3JXBM6C3Fp4" resolve="disjunct" />
|
||||
<ref role="3TtcxE" to="jfgh:3JXBM6C3Fp4" resolve="disjunct_old" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="TSZUe" id="3JXBM6C7Ocu" role="2OqNvi">
|
||||
|
|
@ -1085,7 +1097,7 @@
|
|||
<ref role="3cqZAo" node="3JXBM6C7Ock" resolve="or" />
|
||||
</node>
|
||||
<node concept="3Tsc0h" id="3JXBM6C7R9X" role="2OqNvi">
|
||||
<ref role="3TtcxE" to="jfgh:3JXBM6C3Fp4" resolve="disjunct" />
|
||||
<ref role="3TtcxE" to="jfgh:3JXBM6C3Fp4" resolve="disjunct_old" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="WFELt" id="3JXBM6C7Oc_" role="2OqNvi" />
|
||||
|
|
@ -1110,7 +1122,7 @@
|
|||
<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" />
|
||||
<ref role="ehGHo" to="jfgh:3JXBM6C3Cnq" resolve="Sentence_old" />
|
||||
</node>
|
||||
<node concept="7Obwk" id="3JXBM6C8cFv" role="33vP2m" />
|
||||
</node>
|
||||
|
|
@ -1119,12 +1131,12 @@
|
|||
<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" />
|
||||
<ref role="ehGHo" to="jfgh:3JXBM6C3Fph" resolve="If_old" />
|
||||
</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" />
|
||||
<ref role="1_rbq0" to="jfgh:3JXBM6C3Fph" resolve="If_old" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -1136,7 +1148,7 @@
|
|||
<ref role="3cqZAo" node="3JXBM6C8cFx" resolve="_if" />
|
||||
</node>
|
||||
<node concept="3TrEf2" id="3JXBM6C8eLI" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="jfgh:3JXBM6C3Fpi" resolve="antecedent" />
|
||||
<ref role="3Tt5mk" to="jfgh:3JXBM6C3Fpi" resolve="antecedent_old" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2oxUTD" id="3JXBM6C8f7p" role="2OqNvi">
|
||||
|
|
@ -1153,7 +1165,7 @@
|
|||
<ref role="3cqZAo" node="3JXBM6C8cFx" resolve="_if" />
|
||||
</node>
|
||||
<node concept="3TrEf2" id="3JXBM6C8fyt" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="jfgh:3JXBM6C3Fpk" resolve="consequent" />
|
||||
<ref role="3Tt5mk" to="jfgh:3JXBM6C3Fpk" resolve="consequent_old" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="zfrQC" id="3JXBM6C8fCx" role="2OqNvi" />
|
||||
|
|
@ -1178,7 +1190,7 @@
|
|||
<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" />
|
||||
<ref role="ehGHo" to="jfgh:3JXBM6C3Cnq" resolve="Sentence_old" />
|
||||
</node>
|
||||
<node concept="7Obwk" id="3JXBM6C8jY3" role="33vP2m" />
|
||||
</node>
|
||||
|
|
@ -1187,12 +1199,12 @@
|
|||
<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" />
|
||||
<ref role="ehGHo" to="jfgh:3JXBM6C3Frx" resolve="Iff_old" />
|
||||
</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" />
|
||||
<ref role="1_rbq0" to="jfgh:3JXBM6C3Frx" resolve="Iff_old" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -1204,7 +1216,7 @@
|
|||
<ref role="3cqZAo" node="3JXBM6C8jY5" resolve="iff" />
|
||||
</node>
|
||||
<node concept="3TrEf2" id="3JXBM6C8lqg" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="jfgh:3JXBM6C3FrF" resolve="antecedent" />
|
||||
<ref role="3Tt5mk" to="jfgh:3JXBM6C3FrF" resolve="antecedent_old" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2oxUTD" id="3JXBM6C8jYf" role="2OqNvi">
|
||||
|
|
@ -1221,7 +1233,7 @@
|
|||
<ref role="3cqZAo" node="3JXBM6C8jY5" resolve="iff" />
|
||||
</node>
|
||||
<node concept="3TrEf2" id="3JXBM6C8lBM" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="jfgh:3JXBM6C3FrG" resolve="consequent" />
|
||||
<ref role="3Tt5mk" to="jfgh:3JXBM6C3FrG" resolve="consequent_old" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="zfrQC" id="3JXBM6C8jYm" role="2OqNvi" />
|
||||
|
|
@ -1253,7 +1265,7 @@
|
|||
<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" />
|
||||
<ref role="ehGHo" to="jfgh:3JXBM6C3Cnq" resolve="Sentence_old" />
|
||||
</node>
|
||||
<node concept="7Obwk" id="3JXBM6C7GZz" role="33vP2m" />
|
||||
</node>
|
||||
|
|
@ -1262,12 +1274,12 @@
|
|||
<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" />
|
||||
<ref role="ehGHo" to="jfgh:3JXBM6C3FnV" resolve="And_old" />
|
||||
</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" />
|
||||
<ref role="1_rbq0" to="jfgh:3JXBM6C3FnV" resolve="And_old" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -1279,7 +1291,7 @@
|
|||
<ref role="3cqZAo" node="3JXBM6C7GZ_" resolve="and" />
|
||||
</node>
|
||||
<node concept="3Tsc0h" id="3JXBM6C7GZP" role="2OqNvi">
|
||||
<ref role="3TtcxE" to="jfgh:3JXBM6C3FnW" resolve="conjunct" />
|
||||
<ref role="3TtcxE" to="jfgh:3JXBM6C3FnW" resolve="conjunct_old" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="WFELt" id="3JXBM6C7GZQ" role="2OqNvi" />
|
||||
|
|
@ -1292,7 +1304,7 @@
|
|||
<ref role="3cqZAo" node="3JXBM6C7GZ_" resolve="and" />
|
||||
</node>
|
||||
<node concept="3Tsc0h" id="3JXBM6C7GZI" role="2OqNvi">
|
||||
<ref role="3TtcxE" to="jfgh:3JXBM6C3FnW" resolve="conjunct" />
|
||||
<ref role="3TtcxE" to="jfgh:3JXBM6C3FnW" resolve="conjunct_old" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="TSZUe" id="3JXBM6C7GZJ" role="2OqNvi">
|
||||
|
|
@ -1321,7 +1333,7 @@
|
|||
<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" />
|
||||
<ref role="ehGHo" to="jfgh:3JXBM6C3Cnq" resolve="Sentence_old" />
|
||||
</node>
|
||||
<node concept="7Obwk" id="3JXBM6C7RNb" role="33vP2m" />
|
||||
</node>
|
||||
|
|
@ -1330,12 +1342,12 @@
|
|||
<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" />
|
||||
<ref role="ehGHo" to="jfgh:3JXBM6C3FoA" resolve="Or_old" />
|
||||
</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" />
|
||||
<ref role="1_rbq0" to="jfgh:3JXBM6C3FoA" resolve="Or_old" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -1347,7 +1359,7 @@
|
|||
<ref role="3cqZAo" node="3JXBM6C7RNd" resolve="or" />
|
||||
</node>
|
||||
<node concept="3Tsc0h" id="3JXBM6C7RNt" role="2OqNvi">
|
||||
<ref role="3TtcxE" to="jfgh:3JXBM6C3Fp4" resolve="disjunct" />
|
||||
<ref role="3TtcxE" to="jfgh:3JXBM6C3Fp4" resolve="disjunct_old" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="WFELt" id="3JXBM6C7RNu" role="2OqNvi" />
|
||||
|
|
@ -1360,7 +1372,7 @@
|
|||
<ref role="3cqZAo" node="3JXBM6C7RNd" resolve="or" />
|
||||
</node>
|
||||
<node concept="3Tsc0h" id="3JXBM6C7RNm" role="2OqNvi">
|
||||
<ref role="3TtcxE" to="jfgh:3JXBM6C3Fp4" resolve="disjunct" />
|
||||
<ref role="3TtcxE" to="jfgh:3JXBM6C3Fp4" resolve="disjunct_old" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="TSZUe" id="3JXBM6C7RNn" role="2OqNvi">
|
||||
|
|
@ -1389,7 +1401,7 @@
|
|||
<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" />
|
||||
<ref role="ehGHo" to="jfgh:3JXBM6C3Cnq" resolve="Sentence_old" />
|
||||
</node>
|
||||
<node concept="7Obwk" id="3JXBM6C814l" role="33vP2m" />
|
||||
</node>
|
||||
|
|
@ -1398,12 +1410,12 @@
|
|||
<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" />
|
||||
<ref role="ehGHo" to="jfgh:3JXBM6C3Cnn" resolve="Not_old" />
|
||||
</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" />
|
||||
<ref role="1_rbq0" to="jfgh:3JXBM6C3Cnn" resolve="Not_old" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -1415,7 +1427,7 @@
|
|||
<ref role="3cqZAo" node="3JXBM6C814n" resolve="not" />
|
||||
</node>
|
||||
<node concept="3TrEf2" id="3JXBM6C81uc" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="jfgh:3JXBM6C3Cno" resolve="target" />
|
||||
<ref role="3Tt5mk" to="jfgh:3JXBM6C3Cno" resolve="target_old" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2oxUTD" id="3JXBM6C829D" role="2OqNvi">
|
||||
|
|
@ -1437,24 +1449,28 @@
|
|||
</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" />
|
||||
<ref role="aqKnT" to="jfgh:3JXBM6C3Cnn" resolve="Not_old" />
|
||||
<node concept="1X3_iC" id="4LBPYGUYJOT" role="lGtFl">
|
||||
<property role="3V$3am" value="parts" />
|
||||
<property role="3V$3ak" value="18bc6592-03a6-4e29-a83a-7ff23bde13ba/2000375450116454183/414384289274416996" />
|
||||
<node concept="3eGOop" id="3JXBM6C7X39" role="8Wnug">
|
||||
<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_old" />
|
||||
</node>
|
||||
</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 concept="16NfWO" id="3JXBM6C7Xzs" role="upBLP">
|
||||
<node concept="2h3Zct" id="3JXBM6C7XBu" role="16NeZM">
|
||||
<property role="2h4Kg1" value="~" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -1462,7 +1478,7 @@
|
|||
<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" />
|
||||
<ref role="1h_SK9" to="jfgh:3JXBM6C3Cnn" resolve="Not_old" />
|
||||
<node concept="1hA7zw" id="3JXBM6C86ik" role="1h_SK8">
|
||||
<property role="1hAc7j" value="delete_action_id" />
|
||||
<node concept="1hAIg9" id="3JXBM6C86il" role="1hA7z_">
|
||||
|
|
@ -1474,7 +1490,7 @@
|
|||
<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" />
|
||||
<ref role="3Tt5mk" to="jfgh:3JXBM6C3Cno" resolve="target_old" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -1487,7 +1503,7 @@
|
|||
<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" />
|
||||
<ref role="1h_SK9" to="jfgh:3JXBM6C3FoA" resolve="Or_old" />
|
||||
<node concept="1hA7zw" id="3JXBM6C8ul9" role="1h_SK8">
|
||||
<property role="1hAc7j" value="delete_action_id" />
|
||||
<node concept="1hAIg9" id="3JXBM6C8ula" role="1hA7z_">
|
||||
|
|
@ -1496,13 +1512,13 @@
|
|||
<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" />
|
||||
<ref role="ehGHo" to="jfgh:3JXBM6C3Cnq" resolve="Sentence_old" />
|
||||
</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" />
|
||||
<ref role="3TtcxE" to="jfgh:3JXBM6C3Fp4" resolve="disjunct_old" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1uHKPH" id="3JXBM6C8HbX" role="2OqNvi" />
|
||||
|
|
@ -1535,7 +1551,7 @@
|
|||
<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" />
|
||||
<ref role="3TtcxE" to="jfgh:3JXBM6C3Fp4" resolve="disjunct_old" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="34oBXx" id="3JXBM6C8ztE" role="2OqNvi" />
|
||||
|
|
@ -1549,7 +1565,7 @@
|
|||
<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" />
|
||||
<ref role="1h_SK9" to="jfgh:3JXBM6C3FnV" resolve="And_old" />
|
||||
<node concept="1hA7zw" id="3JXBM6C8NIo" role="1h_SK8">
|
||||
<property role="1hAc7j" value="delete_action_id" />
|
||||
<node concept="1hAIg9" id="3JXBM6C8NIp" role="1hA7z_">
|
||||
|
|
@ -1558,13 +1574,13 @@
|
|||
<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" />
|
||||
<ref role="ehGHo" to="jfgh:3JXBM6C3Cnq" resolve="Sentence_old" />
|
||||
</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" />
|
||||
<ref role="3TtcxE" to="jfgh:3JXBM6C3FnW" resolve="conjunct_old" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1uHKPH" id="3JXBM6C8YI8" role="2OqNvi" />
|
||||
|
|
@ -1597,7 +1613,7 @@
|
|||
<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" />
|
||||
<ref role="3TtcxE" to="jfgh:3JXBM6C3FnW" resolve="conjunct_old" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="34oBXx" id="3JXBM6C8SN0" role="2OqNvi" />
|
||||
|
|
@ -1611,7 +1627,7 @@
|
|||
<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" />
|
||||
<ref role="1h_SK9" to="jfgh:3JXBM6C3Fph" resolve="If_old" />
|
||||
<node concept="1hA7zw" id="3JXBM6C9alQ" role="1h_SK8">
|
||||
<property role="1hAc7j" value="delete_action_id" />
|
||||
<node concept="1hAIg9" id="3JXBM6C9alR" role="1hA7z_">
|
||||
|
|
@ -1624,7 +1640,7 @@
|
|||
<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" />
|
||||
<ref role="3Tt5mk" to="jfgh:3JXBM6C3Fpi" resolve="antecedent_old" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3YRAZt" id="3JXBM6C9dKp" role="2OqNvi" />
|
||||
|
|
@ -1651,7 +1667,7 @@
|
|||
<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" />
|
||||
<ref role="1h_SK9" to="jfgh:3JXBM6C3Frx" resolve="Iff_old" />
|
||||
<node concept="1hA7zw" id="3JXBM6C9dQl" role="1h_SK8">
|
||||
<property role="1hAc7j" value="delete_action_id" />
|
||||
<node concept="1hAIg9" id="3JXBM6C9dQm" role="1hA7z_">
|
||||
|
|
@ -1663,7 +1679,7 @@
|
|||
<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" />
|
||||
<ref role="3Tt5mk" to="jfgh:3JXBM6C3FrF" resolve="antecedent_old" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -2198,5 +2214,20 @@
|
|||
</node>
|
||||
<node concept="3VyMlK" id="5jVx7S20VFl" role="3ft7WO" />
|
||||
</node>
|
||||
<node concept="3p36aQ" id="4LBPYGUYJOh">
|
||||
<ref role="aqKnT" to="jfgh:3JXBM6C3FnV" resolve="And_old" />
|
||||
</node>
|
||||
<node concept="3p36aQ" id="4LBPYGUYJO_">
|
||||
<ref role="aqKnT" to="jfgh:3JXBM6C3Fph" resolve="If_old" />
|
||||
</node>
|
||||
<node concept="3p36aQ" id="4LBPYGUYJOJ">
|
||||
<ref role="aqKnT" to="jfgh:3JXBM6C3Frx" resolve="Iff_old" />
|
||||
</node>
|
||||
<node concept="3p36aQ" id="4LBPYGUYJP3">
|
||||
<ref role="aqKnT" to="jfgh:3JXBM6C3FoA" resolve="Or_old" />
|
||||
</node>
|
||||
<node concept="3p36aQ" id="4LBPYGUYJPd">
|
||||
<ref role="aqKnT" to="jfgh:3JXBM6C3Cnq" resolve="Sentence_old" />
|
||||
</node>
|
||||
</model>
|
||||
|
||||
|
|
|
|||
File diff suppressed because it is too large
Load Diff
|
|
@ -6,10 +6,14 @@
|
|||
<devkit ref="78434eb8-b0e5-444b-850d-e7c4ad2da9ab(jetbrains.mps.devkit.aspect.structure)" />
|
||||
</languages>
|
||||
<imports>
|
||||
<import index="27wh" ref="r:459ba7ac-2a61-40fc-bcc4-f13a7956cbeb(jetbrains.mps.logic.propositional.structure)" />
|
||||
<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="1224240836180" name="jetbrains.mps.lang.structure.structure.DeprecatedNodeAnnotation" flags="ig" index="asaX9">
|
||||
<property id="1225118933224" name="comment" index="YLQ7P" />
|
||||
</concept>
|
||||
<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_" />
|
||||
|
|
@ -45,6 +49,7 @@
|
|||
<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" />
|
||||
<child id="5169995583184591170" name="smodelAttribute" index="lGtFl" />
|
||||
</concept>
|
||||
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
|
||||
<property id="1169194664001" name="name" index="TrG5h" />
|
||||
|
|
@ -53,20 +58,23 @@
|
|||
</registry>
|
||||
<node concept="1TIwiD" id="3JXBM6C3Cn8">
|
||||
<property role="EcuMT" value="4322786184247805384" />
|
||||
<property role="TrG5h" value="Constant" />
|
||||
<property role="TrG5h" value="Constant_old" />
|
||||
<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" />
|
||||
<ref role="PrY4T" to="27wh:3JXBM6C3Cnq" resolve="Sentence" />
|
||||
</node>
|
||||
<node concept="PrWs8" id="3JXBM6C3Cn9" role="PzmwI">
|
||||
<ref role="PrY4T" to="tpck:h0TrEE$" resolve="INamedConcept" />
|
||||
</node>
|
||||
<node concept="asaX9" id="4LBPYGUYJOq" role="lGtFl">
|
||||
<property role="YLQ7P" value="The concept was moved to language "jetbrains.mps.logic.propositional"" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1TIwiD" id="3JXBM6C3Cnn">
|
||||
<property role="EcuMT" value="4322786184247805399" />
|
||||
<property role="TrG5h" value="Not" />
|
||||
<property role="TrG5h" value="Not_old" />
|
||||
<property role="34LRSv" value="not" />
|
||||
<property role="3GE5qa" value="sentence" />
|
||||
<property role="R4oN_" value="Negation" />
|
||||
|
|
@ -74,22 +82,31 @@
|
|||
<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" />
|
||||
<property role="20kJfa" value="target_old" />
|
||||
<property role="20lbJX" value="0..1" />
|
||||
<ref role="20lvS9" node="3JXBM6C3Cnq" resolve="Sentence_old" />
|
||||
<node concept="asaX9" id="4LBPYGUYJQe" role="lGtFl">
|
||||
<property role="YLQ7P" value="The link was moved to concept "jetbrains.mps.logic.propositional.structure.Not"" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="PrWs8" id="3JXBM6C3Fsw" role="PzmwI">
|
||||
<ref role="PrY4T" node="3JXBM6C3Cnq" resolve="Sentence" />
|
||||
<ref role="PrY4T" to="27wh:3JXBM6C3Cnq" resolve="Sentence" />
|
||||
</node>
|
||||
<node concept="asaX9" id="4LBPYGUYJOS" role="lGtFl">
|
||||
<property role="YLQ7P" value="The concept was moved to language "jetbrains.mps.logic.propositional"" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="PlHQZ" id="3JXBM6C3Cnq">
|
||||
<property role="EcuMT" value="4322786184247805402" />
|
||||
<property role="TrG5h" value="Sentence" />
|
||||
<property role="TrG5h" value="Sentence_old" />
|
||||
<property role="3GE5qa" value="sentence" />
|
||||
<node concept="asaX9" id="4LBPYGUYJPc" role="lGtFl">
|
||||
<property role="YLQ7P" value="The concept was moved to language "jetbrains.mps.logic.propositional"" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1TIwiD" id="3JXBM6C3FnV">
|
||||
<property role="EcuMT" value="4322786184247817723" />
|
||||
<property role="TrG5h" value="And" />
|
||||
<property role="TrG5h" value="And_old" />
|
||||
<property role="34LRSv" value="and" />
|
||||
<property role="3GE5qa" value="sentence" />
|
||||
<property role="R4oN_" value="Conjunction" />
|
||||
|
|
@ -97,17 +114,23 @@
|
|||
<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" />
|
||||
<property role="20kJfa" value="conjunct_old" />
|
||||
<property role="20lbJX" value="0..n" />
|
||||
<ref role="20lvS9" node="3JXBM6C3Cnq" resolve="Sentence_old" />
|
||||
<node concept="asaX9" id="4LBPYGUYJPn" role="lGtFl">
|
||||
<property role="YLQ7P" value="The link was moved to concept "jetbrains.mps.logic.propositional.structure.And"" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="PrWs8" id="3JXBM6C3Fsj" role="PzmwI">
|
||||
<ref role="PrY4T" node="3JXBM6C3Cnq" resolve="Sentence" />
|
||||
<ref role="PrY4T" to="27wh:3JXBM6C3Cnq" resolve="Sentence" />
|
||||
</node>
|
||||
<node concept="asaX9" id="4LBPYGUYJOg" role="lGtFl">
|
||||
<property role="YLQ7P" value="The concept was moved to language "jetbrains.mps.logic.propositional"" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1TIwiD" id="3JXBM6C3FoA">
|
||||
<property role="EcuMT" value="4322786184247817766" />
|
||||
<property role="TrG5h" value="Or" />
|
||||
<property role="TrG5h" value="Or_old" />
|
||||
<property role="34LRSv" value="or" />
|
||||
<property role="3GE5qa" value="sentence" />
|
||||
<property role="R4oN_" value="Disjunction" />
|
||||
|
|
@ -115,17 +138,23 @@
|
|||
<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" />
|
||||
<property role="20kJfa" value="disjunct_old" />
|
||||
<property role="20lbJX" value="0..n" />
|
||||
<ref role="20lvS9" node="3JXBM6C3Cnq" resolve="Sentence_old" />
|
||||
<node concept="asaX9" id="4LBPYGUYJQp" role="lGtFl">
|
||||
<property role="YLQ7P" value="The link was moved to concept "jetbrains.mps.logic.propositional.structure.Or"" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="PrWs8" id="3JXBM6C3Fsy" role="PzmwI">
|
||||
<ref role="PrY4T" node="3JXBM6C3Cnq" resolve="Sentence" />
|
||||
<ref role="PrY4T" to="27wh:3JXBM6C3Cnq" resolve="Sentence" />
|
||||
</node>
|
||||
<node concept="asaX9" id="4LBPYGUYJP2" role="lGtFl">
|
||||
<property role="YLQ7P" value="The concept was moved to language "jetbrains.mps.logic.propositional"" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1TIwiD" id="3JXBM6C3Fph">
|
||||
<property role="EcuMT" value="4322786184247817809" />
|
||||
<property role="TrG5h" value="If" />
|
||||
<property role="TrG5h" value="If_old" />
|
||||
<property role="34LRSv" value="if" />
|
||||
<property role="3GE5qa" value="sentence" />
|
||||
<property role="R4oN_" value="Implication" />
|
||||
|
|
@ -133,24 +162,33 @@
|
|||
<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" />
|
||||
<property role="20kJfa" value="antecedent_old" />
|
||||
<property role="20lbJX" value="0..1" />
|
||||
<ref role="20lvS9" node="3JXBM6C3Cnq" resolve="Sentence_old" />
|
||||
<node concept="asaX9" id="4LBPYGUYJPy" role="lGtFl">
|
||||
<property role="YLQ7P" value="The link was moved to concept "jetbrains.mps.logic.propositional.structure.If"" />
|
||||
</node>
|
||||
</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" />
|
||||
<property role="20kJfa" value="consequent_old" />
|
||||
<property role="20lbJX" value="0..1" />
|
||||
<ref role="20lvS9" node="3JXBM6C3Cnq" resolve="Sentence_old" />
|
||||
<node concept="asaX9" id="4LBPYGUYJPH" role="lGtFl">
|
||||
<property role="YLQ7P" value="The link was moved to concept "jetbrains.mps.logic.propositional.structure.If"" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="PrWs8" id="3JXBM6C3Fss" role="PzmwI">
|
||||
<ref role="PrY4T" node="3JXBM6C3Cnq" resolve="Sentence" />
|
||||
<ref role="PrY4T" to="27wh:3JXBM6C3Cnq" resolve="Sentence" />
|
||||
</node>
|
||||
<node concept="asaX9" id="4LBPYGUYJO$" role="lGtFl">
|
||||
<property role="YLQ7P" value="The concept was moved to language "jetbrains.mps.logic.propositional"" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1TIwiD" id="3JXBM6C3Frx">
|
||||
<property role="EcuMT" value="4322786184247817953" />
|
||||
<property role="TrG5h" value="Iff" />
|
||||
<property role="TrG5h" value="Iff_old" />
|
||||
<property role="34LRSv" value="iff" />
|
||||
<property role="3GE5qa" value="sentence" />
|
||||
<property role="R4oN_" value="Biconditional" />
|
||||
|
|
@ -158,19 +196,28 @@
|
|||
<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" />
|
||||
<property role="20kJfa" value="antecedent_old" />
|
||||
<property role="20lbJX" value="0..1" />
|
||||
<ref role="20lvS9" node="3JXBM6C3Cnq" resolve="Sentence_old" />
|
||||
<node concept="asaX9" id="4LBPYGUYJPS" role="lGtFl">
|
||||
<property role="YLQ7P" value="The link was moved to concept "jetbrains.mps.logic.propositional.structure.Iff"" />
|
||||
</node>
|
||||
</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" />
|
||||
<property role="20kJfa" value="consequent_old" />
|
||||
<property role="20lbJX" value="0..1" />
|
||||
<ref role="20lvS9" node="3JXBM6C3Cnq" resolve="Sentence_old" />
|
||||
<node concept="asaX9" id="4LBPYGUYJQ3" role="lGtFl">
|
||||
<property role="YLQ7P" value="The link was moved to concept "jetbrains.mps.logic.propositional.structure.Iff"" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="PrWs8" id="3JXBM6C3Fsu" role="PzmwI">
|
||||
<ref role="PrY4T" node="3JXBM6C3Cnq" resolve="Sentence" />
|
||||
<ref role="PrY4T" to="27wh:3JXBM6C3Cnq" resolve="Sentence" />
|
||||
</node>
|
||||
<node concept="asaX9" id="4LBPYGUYJOI" role="lGtFl">
|
||||
<property role="YLQ7P" value="The concept was moved to language "jetbrains.mps.logic.propositional"" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1TIwiD" id="3JXBM6C3Fs$">
|
||||
|
|
@ -245,7 +292,7 @@
|
|||
<property role="20lmBu" value="aggregation" />
|
||||
<property role="20kJfa" value="conclusion" />
|
||||
<property role="20lbJX" value="1" />
|
||||
<ref role="20lvS9" node="3JXBM6C3Cnq" resolve="Sentence" />
|
||||
<ref role="20lvS9" to="27wh:3JXBM6C3Cnq" resolve="Sentence" />
|
||||
</node>
|
||||
<node concept="PrWs8" id="3JXBM6C4o1Q" role="PrDN$">
|
||||
<ref role="PrY4T" node="3JXBM6C4ntZ" resolve="Leaf" />
|
||||
|
|
@ -417,7 +464,7 @@
|
|||
<property role="20lmBu" value="aggregation" />
|
||||
<property role="20kJfa" value="sentence" />
|
||||
<property role="20lbJX" value="1" />
|
||||
<ref role="20lvS9" node="3JXBM6C3Cnq" resolve="Sentence" />
|
||||
<ref role="20lvS9" to="27wh:3JXBM6C3Cnq" resolve="Sentence" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1TIwiD" id="2aBGSFge6pw">
|
||||
|
|
|
|||
|
|
@ -7,6 +7,7 @@
|
|||
</languages>
|
||||
<imports>
|
||||
<import index="jfgh" ref="r:2003997c-f9a6-418f-99d4-03e1285a3e13(jetbrains.mps.fitch.structure)" />
|
||||
<import index="27wh" ref="r:459ba7ac-2a61-40fc-bcc4-f13a7956cbeb(jetbrains.mps.logic.propositional.structure)" />
|
||||
<import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" implicit="true" />
|
||||
</imports>
|
||||
<registry>
|
||||
|
|
@ -359,7 +360,7 @@
|
|||
<node concept="3eYOCq" id="5RfK0kxl0WG" role="3eYTkm">
|
||||
<property role="TrG5h" value="cst" />
|
||||
<node concept="3Tqbb2" id="5RfK0kxl0WH" role="3eYSA1">
|
||||
<ref role="ehGHo" to="jfgh:3JXBM6C3Cn8" resolve="Constant" />
|
||||
<ref role="ehGHo" to="27wh:3JXBM6C3Cn8" resolve="Constant" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3uniRm" id="5RfK0kxl0X2" role="3unh6L">
|
||||
|
|
@ -402,7 +403,7 @@
|
|||
<ref role="3eTFj1" node="5RfK0kxl0WS" resolve="and" />
|
||||
</node>
|
||||
<node concept="3Tsc0h" id="5RfK0kxl2rm" role="2OqNvi">
|
||||
<ref role="3TtcxE" to="jfgh:3JXBM6C3FnW" resolve="conjunct" />
|
||||
<ref role="3TtcxE" to="27wh:3JXBM6C3FnW" resolve="conjunct" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -412,7 +413,7 @@
|
|||
<node concept="3eYOCq" id="5RfK0kxl0WS" role="3eYTkm">
|
||||
<property role="TrG5h" value="and" />
|
||||
<node concept="3Tqbb2" id="5RfK0kxl0WT" role="3eYSA1">
|
||||
<ref role="ehGHo" to="jfgh:3JXBM6C3FnV" resolve="And" />
|
||||
<ref role="ehGHo" to="27wh:3JXBM6C3FnV" resolve="And" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3uniRm" id="5RfK0kxl2u5" role="3unh6L">
|
||||
|
|
@ -522,7 +523,7 @@
|
|||
<ref role="3eTFj1" node="5RfK0kxld9p" resolve="or" />
|
||||
</node>
|
||||
<node concept="3Tsc0h" id="5RfK0kxldOt" role="2OqNvi">
|
||||
<ref role="3TtcxE" to="jfgh:3JXBM6C3Fp4" resolve="disjunct" />
|
||||
<ref role="3TtcxE" to="27wh:3JXBM6C3Fp4" resolve="disjunct" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -532,7 +533,7 @@
|
|||
<node concept="3eYOCq" id="5RfK0kxld9p" role="3eYTkm">
|
||||
<property role="TrG5h" value="or" />
|
||||
<node concept="3Tqbb2" id="5RfK0kxld9q" role="3eYSA1">
|
||||
<ref role="ehGHo" to="jfgh:3JXBM6C3FoA" resolve="Or" />
|
||||
<ref role="ehGHo" to="27wh:3JXBM6C3FoA" resolve="Or" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3uniRm" id="5RfK0kxld9r" role="3unh6L">
|
||||
|
|
@ -642,7 +643,7 @@
|
|||
<ref role="3eTFj1" node="5RfK0kxlwbs" resolve="not" />
|
||||
</node>
|
||||
<node concept="3TrEf2" id="5RfK0kxlwAU" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="jfgh:3JXBM6C3Cno" resolve="target" />
|
||||
<ref role="3Tt5mk" to="27wh:3JXBM6C3Cno" resolve="target" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -652,7 +653,7 @@
|
|||
<node concept="3eYOCq" id="5RfK0kxlwbs" role="3eYTkm">
|
||||
<property role="TrG5h" value="not" />
|
||||
<node concept="3Tqbb2" id="5RfK0kxlwbt" role="3eYSA1">
|
||||
<ref role="ehGHo" to="jfgh:3JXBM6C3Cnn" resolve="Not" />
|
||||
<ref role="ehGHo" to="27wh:3JXBM6C3Cnn" resolve="Not" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3uniRm" id="5RfK0kxlwDE" role="3unh6L">
|
||||
|
|
@ -712,7 +713,7 @@
|
|||
<ref role="3eTFj1" node="5RfK0kxlwHw" resolve="_if" />
|
||||
</node>
|
||||
<node concept="3TrEf2" id="5RfK0kxlxgC" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="jfgh:3JXBM6C3Fpi" resolve="antecedent" />
|
||||
<ref role="3Tt5mk" to="27wh:3JXBM6C3Fpi" resolve="antecedent" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -730,7 +731,7 @@
|
|||
<ref role="3eTFj1" node="5RfK0kxlwHw" resolve="_if" />
|
||||
</node>
|
||||
<node concept="3TrEf2" id="5RfK0kxlxE1" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="jfgh:3JXBM6C3Fpk" resolve="consequent" />
|
||||
<ref role="3Tt5mk" to="27wh:3JXBM6C3Fpk" resolve="consequent" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -740,7 +741,7 @@
|
|||
<node concept="3eYOCq" id="5RfK0kxlwHw" role="3eYTkm">
|
||||
<property role="TrG5h" value="_if" />
|
||||
<node concept="3Tqbb2" id="5RfK0kxlwHx" role="3eYSA1">
|
||||
<ref role="ehGHo" to="jfgh:3JXBM6C3Fph" resolve="If" />
|
||||
<ref role="ehGHo" to="27wh:3JXBM6C3Fph" resolve="If" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3uniRm" id="5RfK0kxlxIw" role="3unh6L">
|
||||
|
|
@ -827,7 +828,7 @@
|
|||
<ref role="3eTFj1" node="5RfK0kxly6R" resolve="iff" />
|
||||
</node>
|
||||
<node concept="3TrEf2" id="5RfK0kxlyLG" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="jfgh:3JXBM6C3FrF" resolve="antecedent" />
|
||||
<ref role="3Tt5mk" to="27wh:3JXBM6C3FrF" resolve="antecedent" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -845,7 +846,7 @@
|
|||
<ref role="3eTFj1" node="5RfK0kxly6R" resolve="iff" />
|
||||
</node>
|
||||
<node concept="3TrEf2" id="5RfK0kxlyZr" role="2OqNvi">
|
||||
<ref role="3Tt5mk" to="jfgh:3JXBM6C3FrG" resolve="consequent" />
|
||||
<ref role="3Tt5mk" to="27wh:3JXBM6C3FrG" resolve="consequent" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -855,7 +856,7 @@
|
|||
<node concept="3eYOCq" id="5RfK0kxly6R" role="3eYTkm">
|
||||
<property role="TrG5h" value="iff" />
|
||||
<node concept="3Tqbb2" id="5RfK0kxly6S" role="3eYSA1">
|
||||
<ref role="ehGHo" to="jfgh:3JXBM6C3Frx" resolve="Iff" />
|
||||
<ref role="ehGHo" to="27wh:3JXBM6C3Frx" resolve="Iff" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3uniRm" id="5RfK0kxly6T" role="3unh6L">
|
||||
|
|
|
|||
|
|
@ -7,8 +7,9 @@
|
|||
</models>
|
||||
<sourcePath />
|
||||
<languageVersions>
|
||||
<language slang="l:06b7c5c7-e359-4f4b-a581-5d0c9323af39:jetbrains.mps.fitch" version="0" />
|
||||
<language slang="l:06b7c5c7-e359-4f4b-a581-5d0c9323af39:jetbrains.mps.fitch" version="1" />
|
||||
<language slang="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" version="1" />
|
||||
<language slang="l:ec79e64d-4cbb-4f6c-b7b7-108dd125aba6:jetbrains.mps.logic.propositional" version="-1" />
|
||||
</languageVersions>
|
||||
<dependencyVersions>
|
||||
<module reference="86925f4e-7856-4553-a261-c86fbf09bb52(jetbrains.mps.fitch.sandbox)" version="0" />
|
||||
|
|
|
|||
|
|
@ -2,10 +2,31 @@
|
|||
<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" />
|
||||
<use id="06b7c5c7-e359-4f4b-a581-5d0c9323af39" name="jetbrains.mps.fitch" version="1" />
|
||||
<use id="ec79e64d-4cbb-4f6c-b7b7-108dd125aba6" name="jetbrains.mps.logic.propositional" version="-1" />
|
||||
</languages>
|
||||
<imports />
|
||||
<registry>
|
||||
<language id="ec79e64d-4cbb-4f6c-b7b7-108dd125aba6" name="jetbrains.mps.logic.propositional">
|
||||
<concept id="4322786184247805384" name="jetbrains.mps.logic.propositional.structure.Constant" flags="ng" index="2jWLFD" />
|
||||
<concept id="4322786184247805399" name="jetbrains.mps.logic.propositional.structure.Not" flags="ng" index="2jWLFQ">
|
||||
<child id="4322786184247805400" name="target" index="2jWLFT" />
|
||||
</concept>
|
||||
<concept id="4322786184247817766" name="jetbrains.mps.logic.propositional.structure.Or" flags="ng" index="2jWM$7">
|
||||
<child id="4322786184247817796" name="disjunct" index="2jWM__" />
|
||||
</concept>
|
||||
<concept id="4322786184247817809" name="jetbrains.mps.logic.propositional.structure.If" flags="ng" index="2jWM_K">
|
||||
<child id="4322786184247817810" name="antecedent" index="2jWM_N" />
|
||||
<child id="4322786184247817812" name="consequent" index="2jWM_P" />
|
||||
</concept>
|
||||
<concept id="4322786184247817953" name="jetbrains.mps.logic.propositional.structure.Iff" flags="ng" index="2jWMB0">
|
||||
<child id="4322786184247817963" name="antecedent" index="2jWMBa" />
|
||||
<child id="4322786184247817964" name="consequent" index="2jWMBd" />
|
||||
</concept>
|
||||
<concept id="4322786184247817723" name="jetbrains.mps.logic.propositional.structure.And" flags="ng" index="2jWMFq">
|
||||
<child id="4322786184247817724" name="conjunct" index="2jWMFt" />
|
||||
</concept>
|
||||
</language>
|
||||
<language id="06b7c5c7-e359-4f4b-a581-5d0c9323af39" name="jetbrains.mps.fitch">
|
||||
<concept id="4322786184247881315" name="jetbrains.mps.fitch.structure.AndElim" flags="ng" index="2jWz52" />
|
||||
<concept id="4322786184247881317" name="jetbrains.mps.fitch.structure.OrElim" flags="ng" index="2jWz54" />
|
||||
|
|
@ -24,10 +45,6 @@
|
|||
<concept id="4322786184247854968" name="jetbrains.mps.fitch.structure.Reasoning" flags="ng" index="2jWHxp">
|
||||
<child id="2497161927181071993" name="conclusion" index="3MT$nN" />
|
||||
</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">
|
||||
<property id="2994859399702197792" name="description" index="26WHrx" />
|
||||
<child id="4322786184248036774" name="content" index="2jVTa7" />
|
||||
|
|
@ -39,20 +56,6 @@
|
|||
<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>
|
||||
<concept id="4322786184247817953" name="jetbrains.mps.fitch.structure.Iff" flags="ng" index="2jWMB0">
|
||||
<child id="4322786184247817963" name="antecedent" index="2jWMBa" />
|
||||
<child id="4322786184247817964" name="consequent" index="2jWMBd" />
|
||||
</concept>
|
||||
<concept id="4322786184247817723" name="jetbrains.mps.fitch.structure.And" flags="ng" index="2jWMFq">
|
||||
<child id="4322786184247817724" name="conjunct" index="2jWMFt" />
|
||||
</concept>
|
||||
<concept id="657004910291123662" name="jetbrains.mps.fitch.structure.Premise" flags="ng" index="GydIM" />
|
||||
<concept id="657004910291159432" name="jetbrains.mps.fitch.structure.Goal" flags="ng" index="GyqZO">
|
||||
<child id="657004910291159433" name="sentence" index="GyqZP" />
|
||||
|
|
@ -187,11 +190,6 @@
|
|||
</node>
|
||||
<node concept="2jWAjC" id="$u9BK_y$oJ" role="2jVTa7">
|
||||
<node concept="2jWM_K" id="$u9BK_y$q$" role="3MT$nN">
|
||||
<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__">
|
||||
|
|
@ -204,6 +202,11 @@
|
|||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<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>
|
||||
<node concept="2jWMwi" id="2AfSc6JviTm" role="2jWFax">
|
||||
<ref role="2jWMyc" node="$u9BK_y$0J" />
|
||||
|
|
@ -346,9 +349,6 @@
|
|||
</node>
|
||||
<node concept="2jWAjC" id="$u9BK_y$yx" role="2jVTa7">
|
||||
<node concept="2jWM_K" id="$u9BK_y$y$" role="3MT$nN">
|
||||
<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__">
|
||||
|
|
@ -361,6 +361,9 @@
|
|||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2jWLFD" id="$u9BK_y$yA" role="2jWM_P">
|
||||
<property role="TrG5h" value="p" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2jWMwi" id="2AfSc6JviTz" role="2jWFax">
|
||||
<ref role="2jWMyc" node="$u9BK_y$yG" />
|
||||
|
|
|
|||
|
|
@ -0,0 +1,24 @@
|
|||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<model ref="r:719e61c3-9081-4fd0-a588-d1fefcee8cec(main@generator)">
|
||||
<persistence version="9" />
|
||||
<languages>
|
||||
<devkit ref="a2eb3a43-fcc2-4200-80dc-c60110c4862d(jetbrains.mps.devkit.templates)" />
|
||||
</languages>
|
||||
<imports>
|
||||
<import index="27wh" ref="r:459ba7ac-2a61-40fc-bcc4-f13a7956cbeb(jetbrains.mps.logic.propositional.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="4LBPYGUYJdA">
|
||||
<property role="TrG5h" value="main" />
|
||||
</node>
|
||||
</model>
|
||||
|
||||
|
|
@ -0,0 +1,110 @@
|
|||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<language namespace="jetbrains.mps.logic.propositional" uuid="ec79e64d-4cbb-4f6c-b7b7-108dd125aba6" languageVersion="0" moduleVersion="0">
|
||||
<models>
|
||||
<modelRoot contentPath="${module}" type="default">
|
||||
<sourceRoot location="models" />
|
||||
</modelRoot>
|
||||
</models>
|
||||
<accessoryModels />
|
||||
<generators>
|
||||
<generator alias="main" namespace="jetbrains.mps.logic.propositional#5505606474790531941" uuid="53b8ab24-cc4a-4fe2-b461-11a91d798670" 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:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" version="0" />
|
||||
<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="1" />
|
||||
<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" />
|
||||
<module reference="ec79e64d-4cbb-4f6c-b7b7-108dd125aba6(jetbrains.mps.logic.propositional)" version="0" />
|
||||
<module reference="53b8ab24-cc4a-4fe2-b461-11a91d798670(jetbrains.mps.logic.propositional#5505606474790531941)" version="0" />
|
||||
</dependencyVersions>
|
||||
<mapping-priorities />
|
||||
</generator>
|
||||
</generators>
|
||||
<sourcePath />
|
||||
<dependencies>
|
||||
<dependency reexport="false">daafa647-f1f7-4b0b-b096-69cd7c8408c0(jetbrains.mps.baseLanguage.regexp)</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: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="6" />
|
||||
<language slang="l:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" version="0" />
|
||||
<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="f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage)" version="0" />
|
||||
<module reference="daafa647-f1f7-4b0b-b096-69cd7c8408c0(jetbrains.mps.baseLanguage.regexp)" version="0" />
|
||||
<module reference="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
|
||||
<module reference="06b7c5c7-e359-4f4b-a581-5d0c9323af39(jetbrains.mps.fitch)" version="1" />
|
||||
<module reference="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" 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" />
|
||||
<module reference="9ded098b-ad6a-4657-bfd9-48636cfe8bc3(jetbrains.mps.lang.traceable)" version="0" />
|
||||
<module reference="ec79e64d-4cbb-4f6c-b7b7-108dd125aba6(jetbrains.mps.logic.propositional)" version="0" />
|
||||
</dependencyVersions>
|
||||
<extendedLanguages>
|
||||
<extendedLanguage>06b7c5c7-e359-4f4b-a581-5d0c9323af39(jetbrains.mps.fitch)</extendedLanguage>
|
||||
</extendedLanguages>
|
||||
</language>
|
||||
|
||||
|
|
@ -0,0 +1,11 @@
|
|||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<model ref="r:74226e2f-92d8-4334-831e-4e7b7fa70741(jetbrains.mps.logic.propositional.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 />
|
||||
<registry />
|
||||
</model>
|
||||
|
||||
|
|
@ -0,0 +1,101 @@
|
|||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<model ref="r:8ccc0587-6cb2-4342-adfa-b9156d0d1eeb(jetbrains.mps.logic.propositional.constraints)">
|
||||
<persistence version="9" />
|
||||
<languages>
|
||||
<use id="3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1" name="jetbrains.mps.lang.constraints" version="4" />
|
||||
<use id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage" version="5" />
|
||||
<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="27wh" ref="r:459ba7ac-2a61-40fc-bcc4-f13a7956cbeb(jetbrains.mps.logic.propositional.structure)" />
|
||||
<import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" />
|
||||
<import index="tpfp" ref="r:00000000-0000-4000-0000-011c89590519(jetbrains.mps.baseLanguage.regexp.jetbrains.mps.regexp.accessory)" />
|
||||
</imports>
|
||||
<registry>
|
||||
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
|
||||
<concept id="1137021947720" name="jetbrains.mps.baseLanguage.structure.ConceptFunction" flags="in" index="2VMwT0">
|
||||
<child id="1137022507850" name="body" index="2VODD2" />
|
||||
</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="1068581242878" name="jetbrains.mps.baseLanguage.structure.ReturnStatement" flags="nn" index="3cpWs6">
|
||||
<child id="1068581517676" name="expression" index="3cqZAk" />
|
||||
</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="1212097481299" name="propertyValidator" index="QCWH9" />
|
||||
</concept>
|
||||
<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="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>
|
||||
</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>
|
||||
</registry>
|
||||
<node concept="1M2fIO" id="3JXBM6C7aaV">
|
||||
<property role="3GE5qa" value="sentence" />
|
||||
<ref role="1M2myG" to="27wh: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>
|
||||
|
||||
File diff suppressed because it is too large
Load Diff
|
|
@ -0,0 +1,173 @@
|
|||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<model ref="r:459ba7ac-2a61-40fc-bcc4-f13a7956cbeb(jetbrains.mps.logic.propositional.structure)">
|
||||
<persistence version="9" />
|
||||
<languages>
|
||||
<use id="c72da2b9-7cce-4447-8389-f407dc1158b7" name="jetbrains.mps.lang.structure" version="6" />
|
||||
<devkit ref="78434eb8-b0e5-444b-850d-e7c4ad2da9ab(jetbrains.mps.devkit.aspect.structure)" />
|
||||
</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)" />
|
||||
</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="5092175715804935370" name="conceptAlias" index="34LRSv" />
|
||||
<child id="1071489727083" name="linkDeclaration" index="1TKVEi" />
|
||||
</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">
|
||||
<reference id="1071489389519" name="extends" index="1TJDcQ" />
|
||||
<child id="1169129564478" name="implements" index="PzmwI" />
|
||||
</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="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="jfgh:3JXBM6C3FnV" resolve="And_old" />
|
||||
<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="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="jfgh:3JXBM6C3Cn8" resolve="Constant_old" />
|
||||
<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="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="jfgh:3JXBM6C3Fph" resolve="If_old" />
|
||||
<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="jfgh:3JXBM6C3Frx" resolve="Iff_old" />
|
||||
<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="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="jfgh:3JXBM6C3Cnn" resolve="Not_old" />
|
||||
<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="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="jfgh:3JXBM6C3FoA" resolve="Or_old" />
|
||||
<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="PlHQZ" id="3JXBM6C3Cnq">
|
||||
<property role="EcuMT" value="4322786184247805402" />
|
||||
<property role="TrG5h" value="Sentence" />
|
||||
<property role="3GE5qa" value="sentence" />
|
||||
<node concept="PrWs8" id="4LBPYGUYJPe" role="PrDN$">
|
||||
<ref role="PrY4T" to="jfgh:3JXBM6C3Cnq" resolve="Sentence_old" />
|
||||
</node>
|
||||
</node>
|
||||
</model>
|
||||
|
||||
|
|
@ -0,0 +1,11 @@
|
|||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<model ref="r:66ac687e-b631-4ad4-84c8-55502c32e02c(jetbrains.mps.logic.propositional.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>
|
||||
|
||||
Loading…
Reference in New Issue