Adjustments to FamilyTree and Pledge Case studies

author: ArenBabikian <aren.babikian@mail.mcgill.ca> 2020-05-06 16:16:57 -0400
committer: ArenBabikian <aren.babikian@mail.mcgill.ca> 2020-05-06 16:16:57 -0400
commit: e44d27fde5c3b6c933ea3de33781f6ad03d6545b (patch)
tree: fd4a58ed41ff3a91702cb1b7b89a9d9688fc1b4e /Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/generation.logicproblem
parent: Adjust classpath for Z3 in viatra2logic (diff)
download: VIATRA-Generator-e44d27fde5c3b6c933ea3de33781f6ad03d6545b.tar.gz
VIATRA-Generator-e44d27fde5c3b6c933ea3de33781f6ad03d6545b.tar.zst
VIATRA-Generator-e44d27fde5c3b6c933ea3de33781f6ad03d6545b.zip
1 files changed, 152 insertions, 2 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/generation.logicproblem b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/generation.logicproblem
index dd3b15b1..327ce8b0 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/generation.logicproblem
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/generation.logicproblem
@@ -123,7 +123,7 @@
      </expression>
    </value>
  </assertions>
-  <assertions name="errorpattern queries memberIsItsOwnParent" annotations="//@annotations.5">
+  <assertions name="errorpattern queries memberIsItsOwnParent" annotations="//@annotations.8">
    <value xsi:type="language_1:Forall">
      <quantifiedVariables name="p0">
        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
@@ -135,6 +135,38 @@
      </expression>
    </value>
  </assertions>
+  <assertions name="errorpattern queries twoMembersHaveNoParent" annotations="//@annotations.9">
+    <value xsi:type="language_1:Forall">
+      <quantifiedVariables name="p0">
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+      </quantifiedVariables>
+      <quantifiedVariables name="p1">
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+      </quantifiedVariables>
+      <expression xsi:type="language_1:Not">
+        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
+          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.0"/>
+          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.1"/>
+        </operand>
+      </expression>
+    </value>
+  </assertions>
+  <assertions name="errorpattern queries parentTooYoung" annotations="//@annotations.10">
+    <value xsi:type="language_1:Forall">
+      <quantifiedVariables name="p0">
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+      </quantifiedVariables>
+      <quantifiedVariables name="p1">
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+      </quantifiedVariables>
+      <expression xsi:type="language_1:Not">
+        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
+          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.0"/>
+          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.1"/>
+        </operand>
+      </expression>
+    </value>
+  </assertions>
  <relations xsi:type="language_1:RelationDeclaration" name="members reference FamilyTree">
    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
@@ -178,7 +210,114 @@
      </operands>
    </value>
  </relations>
-  <containmentHierarchies typesOrderedInHierarchy="//@types.0 //@types.1" containmentRelations="//@relations.0"/>
+  <relations xsi:type="language_1:RelationDefinition" name="pattern queries twoMembersHaveNoParent" annotations="//@annotations.5">
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+    <variables name="parameter m1">
+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+    </variables>
+    <variables name="parameter m2">
+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+    </variables>
+    <value xsi:type="language_1:Or">
+      <operands xsi:type="language_1:And">
+        <operands xsi:type="language_1:InstanceOf">
+          <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.0"/>
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+        </operands>
+        <operands xsi:type="language_1:InstanceOf">
+          <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.1"/>
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+        </operands>
+        <operands xsi:type="language_1:Not">
+          <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.0"/>
+          </operand>
+        </operands>
+        <operands xsi:type="language_1:Not">
+          <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.1"/>
+          </operand>
+        </operands>
+        <operands xsi:type="language_1:Distinct">
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.0"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.1"/>
+        </operands>
+      </operands>
+    </value>
+  </relations>
+  <relations xsi:type="language_1:RelationDefinition" name="pattern queries memberHasParent" annotations="//@annotations.6">
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+    <variables name="parameter m">
+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+    </variables>
+    <value xsi:type="language_1:Or">
+      <operands xsi:type="language_1:Exists">
+        <quantifiedVariables name="variable 0">
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+        </quantifiedVariables>
+        <expression xsi:type="language_1:And">
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@value/@operands.0/@quantifiedVariables.0"/>
+          </operands>
+          <operands xsi:type="language_1:InstanceOf">
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@value/@operands.0/@quantifiedVariables.0"/>
+            <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+          </operands>
+        </expression>
+      </operands>
+    </value>
+  </relations>
+  <relations xsi:type="language_1:RelationDefinition" name="pattern queries parentTooYoung" annotations="//@annotations.7">
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+    <variables name="parameter m">
+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+    </variables>
+    <variables name="parameter p">
+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+    </variables>
+    <value xsi:type="language_1:Or">
+      <operands xsi:type="language_1:Exists">
+        <quantifiedVariables name="variable 0">
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
+        </quantifiedVariables>
+        <quantifiedVariables name="variable mAge">
+          <range xsi:type="language_1:IntTypeReference"/>
+        </quantifiedVariables>
+        <quantifiedVariables name="variable pAge">
+          <range xsi:type="language_1:IntTypeReference"/>
+        </quantifiedVariables>
+        <expression xsi:type="language_1:And">
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.0"/>
+          </operands>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.1"/>
+          </operands>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.1"/>
+          </operands>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.1"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.2"/>
+          </operands>
+          <operands xsi:type="language_1:LessOrEqualThan">
+            <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.1"/>
+            <rightOperand xsi:type="language_1:Plus">
+              <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.2"/>
+              <rightOperand xsi:type="language_1:IntLiteral" value="12"/>
+            </rightOperand>
+          </operands>
+        </expression>
+      </operands>
+    </value>
+  </relations>
+  <containmentHierarchies typesOrderedInHierarchy="//@types.1 //@types.0" containmentRelations="//@relations.0"/>
  <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.0" relation="//@relations.2" upper="2"/>
  <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.1" inverseA="//@relations.1" inverseB="//@relations.2"/>
  <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.2" relation="//@relations.3" upper="1"/>
@@ -186,5 +325,16 @@
  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.5" patternFullyQualifiedName="queries.memberIsItsOwnParent">
    <variableTrace targetLogicVariable="//@relations.5/@value/@operands.0/@quantifiedVariables.0"/>
  </annotations>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.6" patternFullyQualifiedName="queries.twoMembersHaveNoParent"/>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.7" patternFullyQualifiedName="queries.memberHasParent">
+    <variableTrace targetLogicVariable="//@relations.7/@value/@operands.0/@quantifiedVariables.0"/>
+  </annotations>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.8" patternFullyQualifiedName="queries.parentTooYoung">
+    <variableTrace targetLogicVariable="//@relations.8/@value/@operands.0/@quantifiedVariables.0"/>
+    <variableTrace targetLogicVariable="//@relations.8/@value/@operands.0/@quantifiedVariables.1"/>
+    <variableTrace targetLogicVariable="//@relations.8/@value/@operands.0/@quantifiedVariables.2"/>
+  </annotations>
  <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.4" query="//@annotations.4"/>
+  <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.5" query="//@annotations.5"/>
+  <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.6" query="//@annotations.7"/>
 </language:LogicProblem>
author	ArenBabikian <aren.babikian@mail.mcgill.ca>	2020-05-06 16:16:57 -0400
committer	ArenBabikian <aren.babikian@mail.mcgill.ca>	2020-05-06 16:16:57 -0400
commit	e44d27fde5c3b6c933ea3de33781f6ad03d6545b (patch)
tree	fd4a58ed41ff3a91702cb1b7b89a9d9688fc1b4e /Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/generation.logicproblem
parent	Adjust classpath for Z3 in viatra2logic (diff)
download	VIATRA-Generator-e44d27fde5c3b6c933ea3de33781f6ad03d6545b.tar.gz VIATRA-Generator-e44d27fde5c3b6c933ea3de33781f6ad03d6545b.tar.zst VIATRA-Generator-e44d27fde5c3b6c933ea3de33781f6ad03d6545b.zip

diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/generation.logicproblem b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/generation.logicproblem index dd3b15b1..327ce8b0 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/generation.logicproblem +++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/generation.logicproblem
@@ -123,7 +123,7 @@
123	</expression>	123	</expression>
124	</value>	124	</value>
125	</assertions>	125	</assertions>
126	<assertions name="errorpattern queries memberIsItsOwnParent" annotations="//@annotations.5">	126	<assertions name="errorpattern queries memberIsItsOwnParent" annotations="//@annotations.8">
127	<value xsi:type="language_1:Forall">	127	<value xsi:type="language_1:Forall">
128	<quantifiedVariables name="p0">	128	<quantifiedVariables name="p0">
129	<range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>	129	<range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
@@ -135,6 +135,38 @@
135	</expression>	135	</expression>
136	</value>	136	</value>
137	</assertions>	137	</assertions>
		138	<assertions name="errorpattern queries twoMembersHaveNoParent" annotations="//@annotations.9">
		139	<value xsi:type="language_1:Forall">
		140	<quantifiedVariables name="p0">
		141	<range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
		142	</quantifiedVariables>
		143	<quantifiedVariables name="p1">
		144	<range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
		145	</quantifiedVariables>
		146	<expression xsi:type="language_1:Not">
		147	<operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
		148	<parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.0"/>
		149	<parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.1"/>
		150	</operand>
		151	</expression>
		152	</value>
		153	</assertions>
		154	<assertions name="errorpattern queries parentTooYoung" annotations="//@annotations.10">
		155	<value xsi:type="language_1:Forall">
		156	<quantifiedVariables name="p0">
		157	<range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
		158	</quantifiedVariables>
		159	<quantifiedVariables name="p1">
		160	<range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
		161	</quantifiedVariables>
		162	<expression xsi:type="language_1:Not">
		163	<operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
		164	<parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.0"/>
		165	<parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.1"/>
		166	</operand>
		167	</expression>
		168	</value>
		169	</assertions>
138	<relations xsi:type="language_1:RelationDeclaration" name="members reference FamilyTree">	170	<relations xsi:type="language_1:RelationDeclaration" name="members reference FamilyTree">
139	<parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>	171	<parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
140	<parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>	172	<parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
@@ -178,7 +210,114 @@
178	</operands>	210	</operands>
179	</value>	211	</value>
180	</relations>	212	</relations>
181	<containmentHierarchies typesOrderedInHierarchy="//@types.0 //@types.1" containmentRelations="//@relations.0"/>	213	<relations xsi:type="language_1:RelationDefinition" name="pattern queries twoMembersHaveNoParent" annotations="//@annotations.5">
		214	<parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
		215	<parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
		216	<variables name="parameter m1">
		217	<range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
		218	</variables>
		219	<variables name="parameter m2">
		220	<range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
		221	</variables>
		222	<value xsi:type="language_1:Or">
		223	<operands xsi:type="language_1:And">
		224	<operands xsi:type="language_1:InstanceOf">
		225	<value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.0"/>
		226	<range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
		227	</operands>
		228	<operands xsi:type="language_1:InstanceOf">
		229	<value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.1"/>
		230	<range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
		231	</operands>
		232	<operands xsi:type="language_1:Not">
		233	<operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
		234	<parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.0"/>
		235	</operand>
		236	</operands>
		237	<operands xsi:type="language_1:Not">
		238	<operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
		239	<parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.1"/>
		240	</operand>
		241	</operands>
		242	<operands xsi:type="language_1:Distinct">
		243	<operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.0"/>
		244	<operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.1"/>
		245	</operands>
		246	</operands>
		247	</value>
		248	</relations>
		249	<relations xsi:type="language_1:RelationDefinition" name="pattern queries memberHasParent" annotations="//@annotations.6">
		250	<parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
		251	<variables name="parameter m">
		252	<range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
		253	</variables>
		254	<value xsi:type="language_1:Or">
		255	<operands xsi:type="language_1:Exists">
		256	<quantifiedVariables name="variable 0">
		257	<range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
		258	</quantifiedVariables>
		259	<expression xsi:type="language_1:And">
		260	<operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
		261	<parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@variables.0"/>
		262	<parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@value/@operands.0/@quantifiedVariables.0"/>
		263	</operands>
		264	<operands xsi:type="language_1:InstanceOf">
		265	<value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@value/@operands.0/@quantifiedVariables.0"/>
		266	<range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
		267	</operands>
		268	</expression>
		269	</operands>
		270	</value>
		271	</relations>
		272	<relations xsi:type="language_1:RelationDefinition" name="pattern queries parentTooYoung" annotations="//@annotations.7">
		273	<parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
		274	<parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
		275	<variables name="parameter m">
		276	<range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
		277	</variables>
		278	<variables name="parameter p">
		279	<range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
		280	</variables>
		281	<value xsi:type="language_1:Or">
		282	<operands xsi:type="language_1:Exists">
		283	<quantifiedVariables name="variable 0">
		284	<range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
		285	</quantifiedVariables>
		286	<quantifiedVariables name="variable mAge">
		287	<range xsi:type="language_1:IntTypeReference"/>
		288	</quantifiedVariables>
		289	<quantifiedVariables name="variable pAge">
		290	<range xsi:type="language_1:IntTypeReference"/>
		291	</quantifiedVariables>
		292	<expression xsi:type="language_1:And">
		293	<operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
		294	<parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.0"/>
		295	<parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.0"/>
		296	</operands>
		297	<operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
		298	<parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.0"/>
		299	<parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.1"/>
		300	</operands>
		301	<operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4">
		302	<parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.0"/>
		303	<parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.1"/>
		304	</operands>
		305	<operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4">
		306	<parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.1"/>
		307	<parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.2"/>
		308	</operands>
		309	<operands xsi:type="language_1:LessOrEqualThan">
		310	<leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.1"/>
		311	<rightOperand xsi:type="language_1:Plus">
		312	<leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.2"/>
		313	<rightOperand xsi:type="language_1:IntLiteral" value="12"/>
		314	</rightOperand>
		315	</operands>
		316	</expression>
		317	</operands>
		318	</value>
		319	</relations>
		320	<containmentHierarchies typesOrderedInHierarchy="//@types.1 //@types.0" containmentRelations="//@relations.0"/>
182	<annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.0" relation="//@relations.2" upper="2"/>	321	<annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.0" relation="//@relations.2" upper="2"/>
183	<annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.1" inverseA="//@relations.1" inverseB="//@relations.2"/>	322	<annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.1" inverseA="//@relations.1" inverseB="//@relations.2"/>
184	<annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.2" relation="//@relations.3" upper="1"/>	323	<annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.2" relation="//@relations.3" upper="1"/>
@@ -186,5 +325,16 @@
186	<annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.5" patternFullyQualifiedName="queries.memberIsItsOwnParent">	325	<annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.5" patternFullyQualifiedName="queries.memberIsItsOwnParent">
187	<variableTrace targetLogicVariable="//@relations.5/@value/@operands.0/@quantifiedVariables.0"/>	326	<variableTrace targetLogicVariable="//@relations.5/@value/@operands.0/@quantifiedVariables.0"/>
188	</annotations>	327	</annotations>
		328	<annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.6" patternFullyQualifiedName="queries.twoMembersHaveNoParent"/>
		329	<annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.7" patternFullyQualifiedName="queries.memberHasParent">
		330	<variableTrace targetLogicVariable="//@relations.7/@value/@operands.0/@quantifiedVariables.0"/>
		331	</annotations>
		332	<annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.8" patternFullyQualifiedName="queries.parentTooYoung">
		333	<variableTrace targetLogicVariable="//@relations.8/@value/@operands.0/@quantifiedVariables.0"/>
		334	<variableTrace targetLogicVariable="//@relations.8/@value/@operands.0/@quantifiedVariables.1"/>
		335	<variableTrace targetLogicVariable="//@relations.8/@value/@operands.0/@quantifiedVariables.2"/>
		336	</annotations>
189	<annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.4" query="//@annotations.4"/>	337	<annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.4" query="//@annotations.4"/>
		338	<annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.5" query="//@annotations.5"/>
		339	<annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.6" query="//@annotations.7"/>
190	</language:LogicProblem>	340	</language:LogicProblem>