aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.partialinterpretation
diff options
context:
space:
mode:
Diffstat (limited to 'Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.partialinterpretation')
-rw-r--r--Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.partialinterpretation1037
1 files changed, 1037 insertions, 0 deletions
diff --git a/Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.partialinterpretation b/Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.partialinterpretation
new file mode 100644
index 00000000..8b50e17f
--- /dev/null
+++ b/Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.partialinterpretation
@@ -0,0 +1,1037 @@
1<?xml version="1.0" encoding="ASCII"?>
2<partialinterpretation:PartialInterpretation xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/ecore2logicannotation" xmlns:language="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language" xmlns:partialinterpretation="http://www.bme.hu/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage" xmlns:viatra2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/viatra2logicannotation" problem="//@problemConainer" maxNewElements="0">
3 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.0" param1="//@problemConainer/@relations.0/@parameters.0" param2="//@problemConainer/@relations.0/@parameters.1">
4 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.4" param2="//@newElements.2"/>
5 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.2" param2="//@newElements.4"/>
6 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.6" param2="//@newElements.2"/>
7 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.2" param2="//@newElements.6"/>
8 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.6" param2="//@newElements.8"/>
9 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.8" param2="//@newElements.6"/>
10 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.10" param2="//@newElements.4"/>
11 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.4" param2="//@newElements.10"/>
12 </partialrelationinterpretation>
13 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.1" param1="//@problemConainer/@relations.1/@parameters.0" param2="//@problemConainer/@relations.1/@parameters.1">
14 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.4" param2="//@newElements.5"/>
15 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.2" param2="//@newElements.3"/>
16 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.6" param2="//@newElements.7"/>
17 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.8" param2="//@newElements.9"/>
18 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.10" param2="//@newElements.11"/>
19 </partialrelationinterpretation>
20 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.2" param1="//@problemConainer/@relations.2/@parameters.0" param2="//@problemConainer/@relations.2/@parameters.1">
21 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.0" param2="//@newElements.3"/>
22 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.0" param2="//@newElements.5"/>
23 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.0" param2="//@newElements.7"/>
24 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.0" param2="//@newElements.9"/>
25 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.0" param2="//@newElements.11"/>
26 </partialrelationinterpretation>
27 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.3" param1="//@problemConainer/@relations.3/@parameters.0" param2="//@problemConainer/@relations.3/@parameters.1">
28 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.0" param2="//@newElements.4"/>
29 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.0" param2="//@newElements.6"/>
30 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.0" param2="//@newElements.8"/>
31 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.0" param2="//@newElements.10"/>
32 </partialrelationinterpretation>
33 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.4" param1="//@problemConainer/@relations.4/@parameters.0" param2="//@problemConainer/@relations.4/@parameters.1">
34 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.0" param2="//@newElements.2"/>
35 </partialrelationinterpretation>
36 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.5" param1="//@problemConainer/@relations.5/@parameters.0" param2="//@problemConainer/@relations.5/@parameters.1">
37 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.2" param2="//@newElements.8"/>
38 </partialrelationinterpretation>
39 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.6" param1="//@problemConainer/@relations.6/@parameters.0" param2="//@problemConainer/@relations.6/@parameters.1">
40 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.2" param2="//@newElements.4"/>
41 </partialrelationinterpretation>
42 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.7" param1="//@problemConainer/@relations.7/@parameters.0" param2="//@problemConainer/@relations.7/@parameters.1">
43 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.5" param2="//@newElements.4"/>
44 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.3" param2="//@newElements.2"/>
45 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.7" param2="//@newElements.6"/>
46 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.9" param2="//@newElements.8"/>
47 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.11" param2="//@newElements.10"/>
48 </partialrelationinterpretation>
49 <newElements xsi:type="partialinterpretation:BooleanElement" name="true" valueSet="true" value="true"/>
50 <newElements xsi:type="partialinterpretation:BooleanElement" name="false" valueSet="true"/>
51 <newElements/>
52 <newElements/>
53 <newElements/>
54 <newElements/>
55 <newElements/>
56 <newElements/>
57 <newElements/>
58 <newElements/>
59 <newElements/>
60 <newElements/>
61 <partialtypeinterpratation xsi:type="partialinterpretation:PartialBooleanInterpretation" elements="//@newElements.0 //@newElements.1"/>
62 <partialtypeinterpratation xsi:type="partialinterpretation:PartialIntegerInterpretation" elements="//@openWorldElements.0"/>
63 <partialtypeinterpratation xsi:type="partialinterpretation:PartialRealInterpretation" elements="//@openWorldElements.1"/>
64 <partialtypeinterpratation xsi:type="partialinterpretation:PartialStringInterpretation" elements="//@openWorldElements.2"/>
65 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@newElements.2 //@newElements.4 //@newElements.6 //@newElements.8 //@newElements.10" scopes="//@scopes.0" interpretationOf="//@problemConainer/@types.0"/>
66 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@problemConainer/@elements.0" scopes="//@scopes.1" interpretationOf="//@problemConainer/@types.1"/>
67 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@newElements.2" scopes="//@scopes.2" supertypeInterpretation="//@partialtypeinterpratation.4" interpretationOf="//@problemConainer/@types.2"/>
68 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@newElements.3 //@newElements.5 //@newElements.7 //@newElements.9 //@newElements.11" scopes="//@scopes.3" interpretationOf="//@problemConainer/@types.3"/>
69 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.4" supertypeInterpretation="//@partialtypeinterpratation.5" interpretationOf="//@problemConainer/@types.5"/>
70 <openWorldElements xsi:type="partialinterpretation:IntegerElement" name="New Integers"/>
71 <openWorldElements xsi:type="partialinterpretation:RealElement" name="New Reals"/>
72 <openWorldElements xsi:type="partialinterpretation:StringElement" name="New Strings"/>
73 <openWorldElements name="New Objects"/>
74 <problemConainer>
75 <types xsi:type="language:TypeDeclaration" name="Segment class" subtypes="//@problemConainer/@types.2"/>
76 <types xsi:type="language:TypeDeclaration" name="Modes3ModelRoot class" subtypes="//@problemConainer/@types.4 //@problemConainer/@types.5" isAbstract="true"/>
77 <types xsi:type="language:TypeDeclaration" name="Turnout class" supertypes="//@problemConainer/@types.0"/>
78 <types xsi:type="language:TypeDeclaration" name="Train class"/>
79 <types xsi:type="language:TypeDefinition" name="Modes3ModelRoot class DefinedPart" supertypes="//@problemConainer/@types.1" elements="//@problemConainer/@elements.0"/>
80 <types xsi:type="language:TypeDeclaration" name="Modes3ModelRoot class UndefinedPart" supertypes="//@problemConainer/@types.1"/>
81 <assertions name="upperMultiplicity connectedTo Segment" annotations="//@problemConainer/@annotations.0">
82 <value xsi:type="language:Forall">
83 <quantifiedVariables name="src">
84 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
85 </quantifiedVariables>
86 <quantifiedVariables name="trg 1">
87 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
88 </quantifiedVariables>
89 <quantifiedVariables name="trg 2">
90 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
91 </quantifiedVariables>
92 <quantifiedVariables name="trg 3">
93 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
94 </quantifiedVariables>
95 <expression xsi:type="language:Impl">
96 <leftOperand xsi:type="language:And">
97 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.0">
98 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.0"/>
99 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.1"/>
100 </operands>
101 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.0">
102 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.0"/>
103 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.2"/>
104 </operands>
105 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.0">
106 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.0"/>
107 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.3"/>
108 </operands>
109 </leftOperand>
110 <rightOperand xsi:type="language:Not">
111 <operand xsi:type="language:Distinct">
112 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.1"/>
113 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.2"/>
114 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.3"/>
115 </operand>
116 </rightOperand>
117 </expression>
118 </value>
119 </assertions>
120 <assertions name="upperMultiplicity occupiedBy Segment" annotations="//@problemConainer/@annotations.1">
121 <value xsi:type="language:Forall">
122 <quantifiedVariables name="src">
123 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
124 </quantifiedVariables>
125 <quantifiedVariables name="trg 1">
126 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/>
127 </quantifiedVariables>
128 <quantifiedVariables name="trg 2">
129 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/>
130 </quantifiedVariables>
131 <expression xsi:type="language:Impl">
132 <leftOperand xsi:type="language:And">
133 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.1">
134 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.1/@value/@quantifiedVariables.0"/>
135 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.1/@value/@quantifiedVariables.1"/>
136 </operands>
137 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.1">
138 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.1/@value/@quantifiedVariables.0"/>
139 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.1/@value/@quantifiedVariables.2"/>
140 </operands>
141 </leftOperand>
142 <rightOperand xsi:type="language:Not">
143 <operand xsi:type="language:Distinct">
144 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.1/@value/@quantifiedVariables.1"/>
145 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.1/@value/@quantifiedVariables.2"/>
146 </operand>
147 </rightOperand>
148 </expression>
149 </value>
150 </assertions>
151 <assertions name="lowerMultiplicity straight Turnout" annotations="//@problemConainer/@annotations.2">
152 <value xsi:type="language:Forall">
153 <quantifiedVariables name="src">
154 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
155 </quantifiedVariables>
156 <expression xsi:type="language:Exists">
157 <quantifiedVariables name="trg 1">
158 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
159 </quantifiedVariables>
160 <expression xsi:type="language:And">
161 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5">
162 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.0"/>
163 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@expression/@quantifiedVariables.0"/>
164 </operands>
165 </expression>
166 </expression>
167 </value>
168 </assertions>
169 <assertions name="upperMultiplicity straight Turnout" annotations="//@problemConainer/@annotations.3">
170 <value xsi:type="language:Forall">
171 <quantifiedVariables name="src">
172 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
173 </quantifiedVariables>
174 <quantifiedVariables name="trg 1">
175 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
176 </quantifiedVariables>
177 <quantifiedVariables name="trg 2">
178 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
179 </quantifiedVariables>
180 <expression xsi:type="language:Impl">
181 <leftOperand xsi:type="language:And">
182 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5">
183 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.3/@value/@quantifiedVariables.0"/>
184 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.3/@value/@quantifiedVariables.1"/>
185 </operands>
186 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5">
187 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.3/@value/@quantifiedVariables.0"/>
188 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.3/@value/@quantifiedVariables.2"/>
189 </operands>
190 </leftOperand>
191 <rightOperand xsi:type="language:Not">
192 <operand xsi:type="language:Distinct">
193 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.3/@value/@quantifiedVariables.1"/>
194 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.3/@value/@quantifiedVariables.2"/>
195 </operand>
196 </rightOperand>
197 </expression>
198 </value>
199 </assertions>
200 <assertions name="lowerMultiplicity divergent Turnout" annotations="//@problemConainer/@annotations.4">
201 <value xsi:type="language:Forall">
202 <quantifiedVariables name="src">
203 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
204 </quantifiedVariables>
205 <expression xsi:type="language:Exists">
206 <quantifiedVariables name="trg 1">
207 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
208 </quantifiedVariables>
209 <expression xsi:type="language:And">
210 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6">
211 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.0"/>
212 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@expression/@quantifiedVariables.0"/>
213 </operands>
214 </expression>
215 </expression>
216 </value>
217 </assertions>
218 <assertions name="upperMultiplicity divergent Turnout" annotations="//@problemConainer/@annotations.5">
219 <value xsi:type="language:Forall">
220 <quantifiedVariables name="src">
221 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
222 </quantifiedVariables>
223 <quantifiedVariables name="trg 1">
224 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
225 </quantifiedVariables>
226 <quantifiedVariables name="trg 2">
227 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
228 </quantifiedVariables>
229 <expression xsi:type="language:Impl">
230 <leftOperand xsi:type="language:And">
231 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6">
232 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.0"/>
233 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.1"/>
234 </operands>
235 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6">
236 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.0"/>
237 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.2"/>
238 </operands>
239 </leftOperand>
240 <rightOperand xsi:type="language:Not">
241 <operand xsi:type="language:Distinct">
242 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.1"/>
243 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.2"/>
244 </operand>
245 </rightOperand>
246 </expression>
247 </value>
248 </assertions>
249 <assertions name="lowerMultiplicity location Train" annotations="//@problemConainer/@annotations.6">
250 <value xsi:type="language:Forall">
251 <quantifiedVariables name="src">
252 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/>
253 </quantifiedVariables>
254 <expression xsi:type="language:Exists">
255 <quantifiedVariables name="trg 1">
256 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
257 </quantifiedVariables>
258 <expression xsi:type="language:And">
259 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.7">
260 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@quantifiedVariables.0"/>
261 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@expression/@quantifiedVariables.0"/>
262 </operands>
263 </expression>
264 </expression>
265 </value>
266 </assertions>
267 <assertions name="upperMultiplicity location Train" annotations="//@problemConainer/@annotations.7">
268 <value xsi:type="language:Forall">
269 <quantifiedVariables name="src">
270 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/>
271 </quantifiedVariables>
272 <quantifiedVariables name="trg 1">
273 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
274 </quantifiedVariables>
275 <quantifiedVariables name="trg 2">
276 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
277 </quantifiedVariables>
278 <expression xsi:type="language:Impl">
279 <leftOperand xsi:type="language:And">
280 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.7">
281 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.0"/>
282 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.1"/>
283 </operands>
284 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.7">
285 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.0"/>
286 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.2"/>
287 </operands>
288 </leftOperand>
289 <rightOperand xsi:type="language:Not">
290 <operand xsi:type="language:Distinct">
291 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.1"/>
292 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.2"/>
293 </operand>
294 </rightOperand>
295 </expression>
296 </value>
297 </assertions>
298 <assertions name="oppositeReference occupiedBy Segment" annotations="//@problemConainer/@annotations.8">
299 <value xsi:type="language:Forall">
300 <quantifiedVariables name="src">
301 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
302 </quantifiedVariables>
303 <quantifiedVariables name="trg">
304 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/>
305 </quantifiedVariables>
306 <expression xsi:type="language:Iff">
307 <leftOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.1">
308 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.0"/>
309 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.1"/>
310 </leftOperand>
311 <rightOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.7">
312 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.1"/>
313 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.0"/>
314 </rightOperand>
315 </expression>
316 </value>
317 </assertions>
318 <assertions name="oppositeReference connectedTo reference Segment connectedTo reference Segment" annotations="//@problemConainer/@annotations.9">
319 <value xsi:type="language:Forall">
320 <quantifiedVariables name="src">
321 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
322 </quantifiedVariables>
323 <quantifiedVariables name="trg">
324 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
325 </quantifiedVariables>
326 <expression xsi:type="language:Iff">
327 <leftOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.0">
328 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.9/@value/@quantifiedVariables.0"/>
329 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.9/@value/@quantifiedVariables.1"/>
330 </leftOperand>
331 <rightOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.0">
332 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.9/@value/@quantifiedVariables.1"/>
333 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.9/@value/@quantifiedVariables.0"/>
334 </rightOperand>
335 </expression>
336 </value>
337 </assertions>
338 <assertions name="errorpattern modes3 queries turnoutInSegments" annotations="//@problemConainer/@annotations.27">
339 <value xsi:type="language:Forall">
340 <quantifiedVariables name="p0">
341 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
342 </quantifiedVariables>
343 <expression xsi:type="language:Not">
344 <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.8">
345 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.0"/>
346 </operand>
347 </expression>
348 </value>
349 </assertions>
350 <assertions name="errorpattern modes3 queries tooManyInputsOfSegment" annotations="//@problemConainer/@annotations.28">
351 <value xsi:type="language:Forall">
352 <quantifiedVariables name="p0">
353 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
354 </quantifiedVariables>
355 <expression xsi:type="language:Not">
356 <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9">
357 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.11/@value/@quantifiedVariables.0"/>
358 </operand>
359 </expression>
360 </value>
361 </assertions>
362 <assertions name="errorpattern modes3 queries turnoutConnectedToBothOutputs" annotations="//@problemConainer/@annotations.29">
363 <value xsi:type="language:Forall">
364 <quantifiedVariables name="p0">
365 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
366 </quantifiedVariables>
367 <expression xsi:type="language:Not">
368 <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10">
369 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.0"/>
370 </operand>
371 </expression>
372 </value>
373 </assertions>
374 <assertions name="errorpattern modes3 queries turnoutOutputsAreSame" annotations="//@problemConainer/@annotations.30">
375 <value xsi:type="language:Forall">
376 <quantifiedVariables name="p0">
377 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
378 </quantifiedVariables>
379 <expression xsi:type="language:Not">
380 <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12">
381 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.13/@value/@quantifiedVariables.0"/>
382 </operand>
383 </expression>
384 </value>
385 </assertions>
386 <assertions name="errorpattern modes3 queries tooManyExtraInputsOfTurnout" annotations="//@problemConainer/@annotations.31">
387 <value xsi:type="language:Forall">
388 <quantifiedVariables name="p0">
389 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
390 </quantifiedVariables>
391 <expression xsi:type="language:Not">
392 <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13">
393 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.0"/>
394 </operand>
395 </expression>
396 </value>
397 </assertions>
398 <assertions name="errorpattern modes3 queries unreachable" annotations="//@problemConainer/@annotations.32">
399 <value xsi:type="language:Forall">
400 <quantifiedVariables name="p0">
401 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
402 </quantifiedVariables>
403 <quantifiedVariables name="p1">
404 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
405 </quantifiedVariables>
406 <expression xsi:type="language:Not">
407 <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14">
408 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.15/@value/@quantifiedVariables.0"/>
409 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.15/@value/@quantifiedVariables.1"/>
410 </operand>
411 </expression>
412 </value>
413 </assertions>
414 <assertions name="errorpattern modes3 queries connectedToReflexive" annotations="//@problemConainer/@annotations.33">
415 <value xsi:type="language:Forall">
416 <quantifiedVariables name="p0">
417 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
418 </quantifiedVariables>
419 <expression xsi:type="language:Not">
420 <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.15">
421 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.0"/>
422 </operand>
423 </expression>
424 </value>
425 </assertions>
426 <assertions name="errorpattern modes3 queries outputReflexive" annotations="//@problemConainer/@annotations.34">
427 <value xsi:type="language:Forall">
428 <quantifiedVariables name="p0">
429 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
430 </quantifiedVariables>
431 <expression xsi:type="language:Not">
432 <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.18">
433 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.17/@value/@quantifiedVariables.0"/>
434 </operand>
435 </expression>
436 </value>
437 </assertions>
438 <assertions name="errorpattern modes3 queries noExtraInputOfTurnout" annotations="//@problemConainer/@annotations.35">
439 <value xsi:type="language:Forall">
440 <quantifiedVariables name="p0">
441 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
442 </quantifiedVariables>
443 <expression xsi:type="language:Not">
444 <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.22">
445 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.0"/>
446 </operand>
447 </expression>
448 </value>
449 </assertions>
450 <assertions name="errorpattern modes3 queries connectedToNotSymmetric" annotations="//@problemConainer/@annotations.36">
451 <value xsi:type="language:Forall">
452 <quantifiedVariables name="p0">
453 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
454 </quantifiedVariables>
455 <quantifiedVariables name="p1">
456 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
457 </quantifiedVariables>
458 <expression xsi:type="language:Not">
459 <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.23">
460 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.19/@value/@quantifiedVariables.0"/>
461 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.19/@value/@quantifiedVariables.1"/>
462 </operand>
463 </expression>
464 </value>
465 </assertions>
466 <relations xsi:type="language:RelationDeclaration" name="connectedTo reference Segment">
467 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
468 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
469 </relations>
470 <relations xsi:type="language:RelationDeclaration" name="occupiedBy reference Segment">
471 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
472 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/>
473 </relations>
474 <relations xsi:type="language:RelationDeclaration" name="trains reference Modes3ModelRoot">
475 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
476 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/>
477 </relations>
478 <relations xsi:type="language:RelationDeclaration" name="segments reference Modes3ModelRoot">
479 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
480 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
481 </relations>
482 <relations xsi:type="language:RelationDeclaration" name="turnouts reference Modes3ModelRoot">
483 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
484 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
485 </relations>
486 <relations xsi:type="language:RelationDeclaration" name="straight reference Turnout">
487 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
488 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
489 </relations>
490 <relations xsi:type="language:RelationDeclaration" name="divergent reference Turnout">
491 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
492 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
493 </relations>
494 <relations xsi:type="language:RelationDeclaration" name="location reference Train">
495 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/>
496 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
497 </relations>
498 <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries turnoutInSegments" annotations="//@problemConainer/@annotations.10">
499 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
500 <variables name="parameter T">
501 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
502 </variables>
503 <value xsi:type="language:Or">
504 <operands xsi:type="language:Exists">
505 <quantifiedVariables name="variable 0">
506 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
507 </quantifiedVariables>
508 <expression xsi:type="language:And">
509 <operands xsi:type="language:InstanceOf">
510 <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.8/@variables.0"/>
511 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
512 </operands>
513 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.3">
514 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.8/@value/@operands.0/@quantifiedVariables.0"/>
515 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.8/@variables.0"/>
516 </operands>
517 </expression>
518 </operands>
519 </value>
520 </relations>
521 <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries tooManyInputsOfSegment" annotations="//@problemConainer/@annotations.11">
522 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
523 <variables name="parameter S">
524 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
525 </variables>
526 <value xsi:type="language:Or">
527 <operands xsi:type="language:Exists">
528 <quantifiedVariables name="variable I1">
529 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
530 </quantifiedVariables>
531 <quantifiedVariables name="variable I2">
532 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
533 </quantifiedVariables>
534 <quantifiedVariables name="variable I3">
535 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
536 </quantifiedVariables>
537 <expression xsi:type="language:And">
538 <operands xsi:type="language:Not">
539 <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.11">
540 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9/@variables.0"/>
541 </operand>
542 </operands>
543 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24">
544 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9/@value/@operands.0/@quantifiedVariables.0"/>
545 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9/@variables.0"/>
546 </operands>
547 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24">
548 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9/@value/@operands.0/@quantifiedVariables.1"/>
549 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9/@variables.0"/>
550 </operands>
551 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24">
552 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9/@value/@operands.0/@quantifiedVariables.2"/>
553 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9/@variables.0"/>
554 </operands>
555 <operands xsi:type="language:Distinct">
556 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9/@value/@operands.0/@quantifiedVariables.0"/>
557 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9/@value/@operands.0/@quantifiedVariables.1"/>
558 </operands>
559 <operands xsi:type="language:Distinct">
560 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9/@value/@operands.0/@quantifiedVariables.0"/>
561 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9/@value/@operands.0/@quantifiedVariables.2"/>
562 </operands>
563 <operands xsi:type="language:Distinct">
564 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9/@value/@operands.0/@quantifiedVariables.1"/>
565 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9/@value/@operands.0/@quantifiedVariables.2"/>
566 </operands>
567 </expression>
568 </operands>
569 </value>
570 </relations>
571 <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries turnoutConnectedToBothOutputs" annotations="//@problemConainer/@annotations.12">
572 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
573 <variables name="parameter T">
574 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
575 </variables>
576 <value xsi:type="language:Or">
577 <operands xsi:type="language:Exists">
578 <quantifiedVariables name="variable Straight">
579 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
580 </quantifiedVariables>
581 <quantifiedVariables name="variable Divergent">
582 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
583 </quantifiedVariables>
584 <expression xsi:type="language:And">
585 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5">
586 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10/@variables.0"/>
587 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10/@value/@operands.0/@quantifiedVariables.0"/>
588 </operands>
589 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6">
590 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10/@variables.0"/>
591 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10/@value/@operands.0/@quantifiedVariables.1"/>
592 </operands>
593 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.0">
594 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10/@variables.0"/>
595 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10/@value/@operands.0/@quantifiedVariables.0"/>
596 </operands>
597 <operands xsi:type="language:InstanceOf">
598 <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10/@value/@operands.0/@quantifiedVariables.0"/>
599 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
600 </operands>
601 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.0">
602 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10/@variables.0"/>
603 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10/@value/@operands.0/@quantifiedVariables.1"/>
604 </operands>
605 <operands xsi:type="language:InstanceOf">
606 <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10/@value/@operands.0/@quantifiedVariables.1"/>
607 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
608 </operands>
609 </expression>
610 </operands>
611 </value>
612 </relations>
613 <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries turnout" annotations="//@problemConainer/@annotations.13">
614 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
615 <variables name="parameter T">
616 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
617 </variables>
618 <value xsi:type="language:Or">
619 <operands xsi:type="language:And">
620 <operands xsi:type="language:InstanceOf">
621 <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.11/@variables.0"/>
622 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
623 </operands>
624 </operands>
625 </value>
626 </relations>
627 <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries turnoutOutputsAreSame" annotations="//@problemConainer/@annotations.14">
628 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
629 <variables name="parameter T">
630 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
631 </variables>
632 <value xsi:type="language:Or">
633 <operands xsi:type="language:Exists">
634 <quantifiedVariables name="variable S">
635 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
636 </quantifiedVariables>
637 <expression xsi:type="language:And">
638 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5">
639 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12/@variables.0"/>
640 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12/@value/@operands.0/@quantifiedVariables.0"/>
641 </operands>
642 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6">
643 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12/@variables.0"/>
644 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12/@value/@operands.0/@quantifiedVariables.0"/>
645 </operands>
646 <operands xsi:type="language:InstanceOf">
647 <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12/@value/@operands.0/@quantifiedVariables.0"/>
648 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
649 </operands>
650 </expression>
651 </operands>
652 </value>
653 </relations>
654 <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries tooManyExtraInputsOfTurnout" annotations="//@problemConainer/@annotations.15">
655 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
656 <variables name="parameter T">
657 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
658 </variables>
659 <value xsi:type="language:Or">
660 <operands xsi:type="language:Exists">
661 <quantifiedVariables name="variable I1">
662 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
663 </quantifiedVariables>
664 <quantifiedVariables name="variable I2">
665 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
666 </quantifiedVariables>
667 <expression xsi:type="language:And">
668 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20">
669 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13/@variables.0"/>
670 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13/@value/@operands.0/@quantifiedVariables.0"/>
671 </operands>
672 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20">
673 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13/@variables.0"/>
674 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13/@value/@operands.0/@quantifiedVariables.1"/>
675 </operands>
676 <operands xsi:type="language:Distinct">
677 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13/@value/@operands.0/@quantifiedVariables.0"/>
678 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13/@value/@operands.0/@quantifiedVariables.1"/>
679 </operands>
680 </expression>
681 </operands>
682 </value>
683 </relations>
684 <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries unreachable" annotations="//@problemConainer/@annotations.16">
685 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
686 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
687 <variables name="parameter S1">
688 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
689 </variables>
690 <variables name="parameter S2">
691 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
692 </variables>
693 <value xsi:type="language:Or">
694 <operands xsi:type="language:And">
695 <operands xsi:type="language:InstanceOf">
696 <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14/@variables.0"/>
697 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
698 </operands>
699 <operands xsi:type="language:InstanceOf">
700 <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14/@variables.1"/>
701 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
702 </operands>
703 <operands xsi:type="language:Not">
704 <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.21">
705 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14/@variables.0"/>
706 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14/@variables.1"/>
707 </operand>
708 </operands>
709 </operands>
710 </value>
711 </relations>
712 <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries connectedToReflexive" annotations="//@problemConainer/@annotations.17">
713 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
714 <variables name="parameter S">
715 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
716 </variables>
717 <value xsi:type="language:Or">
718 <operands xsi:type="language:And">
719 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.0">
720 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.15/@variables.0"/>
721 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.15/@variables.0"/>
722 </operands>
723 </operands>
724 </value>
725 </relations>
726 <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries turnoutOutput" annotations="//@problemConainer/@annotations.18">
727 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
728 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
729 <variables name="parameter T">
730 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
731 </variables>
732 <variables name="parameter S">
733 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
734 </variables>
735 <value xsi:type="language:Or">
736 <operands xsi:type="language:And">
737 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5">
738 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16/@variables.0"/>
739 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16/@variables.1"/>
740 </operands>
741 <operands xsi:type="language:InstanceOf">
742 <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16/@variables.1"/>
743 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
744 </operands>
745 </operands>
746 <operands xsi:type="language:And">
747 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6">
748 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16/@variables.0"/>
749 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16/@variables.1"/>
750 </operands>
751 <operands xsi:type="language:InstanceOf">
752 <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16/@variables.1"/>
753 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
754 </operands>
755 </operands>
756 </value>
757 </relations>
758 <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries connectedTo" annotations="//@problemConainer/@annotations.19">
759 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
760 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
761 <variables name="parameter S1">
762 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
763 </variables>
764 <variables name="parameter S2">
765 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
766 </variables>
767 <value xsi:type="language:Or">
768 <operands xsi:type="language:And">
769 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.0">
770 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.17/@variables.0"/>
771 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.17/@variables.1"/>
772 </operands>
773 <operands xsi:type="language:InstanceOf">
774 <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.17/@variables.1"/>
775 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
776 </operands>
777 </operands>
778 </value>
779 </relations>
780 <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries outputReflexive" annotations="//@problemConainer/@annotations.20">
781 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
782 <variables name="parameter T">
783 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
784 </variables>
785 <value xsi:type="language:Or">
786 <operands xsi:type="language:And">
787 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16">
788 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.18/@variables.0"/>
789 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.18/@variables.0"/>
790 </operands>
791 </operands>
792 </value>
793 </relations>
794 <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries adjacent" annotations="//@problemConainer/@annotations.21">
795 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
796 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
797 <variables name="parameter S1">
798 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
799 </variables>
800 <variables name="parameter S2">
801 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
802 </variables>
803 <value xsi:type="language:Or">
804 <operands xsi:type="language:And">
805 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24">
806 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.19/@variables.0"/>
807 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.19/@variables.1"/>
808 </operands>
809 </operands>
810 <operands xsi:type="language:And">
811 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16">
812 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.19/@variables.1"/>
813 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.19/@variables.0"/>
814 </operands>
815 </operands>
816 </value>
817 </relations>
818 <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries extraInputOfTurnout" annotations="//@problemConainer/@annotations.22">
819 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
820 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
821 <variables name="parameter T">
822 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
823 </variables>
824 <variables name="parameter S">
825 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
826 </variables>
827 <value xsi:type="language:Or">
828 <operands xsi:type="language:Exists">
829 <quantifiedVariables name="variable Straight">
830 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
831 </quantifiedVariables>
832 <quantifiedVariables name="variable Divergent">
833 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
834 </quantifiedVariables>
835 <expression xsi:type="language:And">
836 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5">
837 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20/@variables.0"/>
838 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20/@value/@operands.0/@quantifiedVariables.0"/>
839 </operands>
840 <operands xsi:type="language:InstanceOf">
841 <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20/@value/@operands.0/@quantifiedVariables.0"/>
842 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
843 </operands>
844 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6">
845 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20/@variables.0"/>
846 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20/@value/@operands.0/@quantifiedVariables.1"/>
847 </operands>
848 <operands xsi:type="language:InstanceOf">
849 <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20/@value/@operands.0/@quantifiedVariables.1"/>
850 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
851 </operands>
852 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24">
853 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20/@variables.1"/>
854 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20/@variables.0"/>
855 </operands>
856 <operands xsi:type="language:Distinct">
857 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20/@variables.1"/>
858 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20/@value/@operands.0/@quantifiedVariables.0"/>
859 </operands>
860 <operands xsi:type="language:Distinct">
861 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20/@variables.1"/>
862 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20/@value/@operands.0/@quantifiedVariables.1"/>
863 </operands>
864 </expression>
865 </operands>
866 </value>
867 </relations>
868 <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries reachable" annotations="//@problemConainer/@annotations.23">
869 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
870 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
871 <variables name="parameter S1">
872 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
873 </variables>
874 <variables name="parameter S2">
875 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
876 </variables>
877 <value xsi:type="language:Or">
878 <operands xsi:type="language:And">
879 <operands xsi:type="language:InstanceOf">
880 <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.21/@variables.1"/>
881 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
882 </operands>
883 </operands>
884 <operands xsi:type="language:And">
885 <operands xsi:type="language:TransitiveClosure" relation="//@problemConainer/@relations.19">
886 <leftOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.21/@variables.0"/>
887 <rightOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.21/@variables.1"/>
888 </operands>
889 </operands>
890 </value>
891 </relations>
892 <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries noExtraInputOfTurnout" annotations="//@problemConainer/@annotations.24">
893 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
894 <variables name="parameter T">
895 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
896 </variables>
897 <value xsi:type="language:Or">
898 <operands xsi:type="language:Forall">
899 <quantifiedVariables name="variable 0">
900 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
901 </quantifiedVariables>
902 <expression xsi:type="language:And">
903 <operands xsi:type="language:InstanceOf">
904 <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.22/@variables.0"/>
905 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
906 </operands>
907 <operands xsi:type="language:Not">
908 <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20">
909 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.22/@variables.0"/>
910 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.22/@value/@operands.0/@quantifiedVariables.0"/>
911 </operand>
912 </operands>
913 </expression>
914 </operands>
915 </value>
916 </relations>
917 <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries connectedToNotSymmetric" annotations="//@problemConainer/@annotations.25">
918 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
919 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
920 <variables name="parameter S1">
921 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
922 </variables>
923 <variables name="parameter S2">
924 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
925 </variables>
926 <value xsi:type="language:Or">
927 <operands xsi:type="language:And">
928 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.0">
929 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.23/@variables.0"/>
930 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.23/@variables.1"/>
931 </operands>
932 <operands xsi:type="language:InstanceOf">
933 <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.23/@variables.1"/>
934 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
935 </operands>
936 <operands xsi:type="language:Not">
937 <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.17">
938 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.23/@variables.1"/>
939 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.23/@variables.0"/>
940 </operand>
941 </operands>
942 </operands>
943 </value>
944 </relations>
945 <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries output" annotations="//@problemConainer/@annotations.26">
946 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
947 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
948 <variables name="parameter S1">
949 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
950 </variables>
951 <variables name="parameter S2">
952 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
953 </variables>
954 <value xsi:type="language:Or">
955 <operands xsi:type="language:And">
956 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.0">
957 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24/@variables.0"/>
958 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24/@variables.1"/>
959 </operands>
960 <operands xsi:type="language:InstanceOf">
961 <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24/@variables.1"/>
962 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
963 </operands>
964 </operands>
965 <operands xsi:type="language:And">
966 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16">
967 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24/@variables.0"/>
968 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24/@variables.1"/>
969 </operands>
970 </operands>
971 </value>
972 </relations>
973 <elements name="o 1" definedInType="//@problemConainer/@types.4"/>
974 <containmentHierarchies typesOrderedInHierarchy="//@problemConainer/@types.0 //@problemConainer/@types.2 //@problemConainer/@types.3 //@problemConainer/@types.1 //@problemConainer/@types.4 //@problemConainer/@types.5" containmentRelations="//@problemConainer/@relations.2 //@problemConainer/@relations.3 //@problemConainer/@relations.4"/>
975 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.0" relation="//@problemConainer/@relations.0" upper="2"/>
976 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.1" relation="//@problemConainer/@relations.1" upper="1"/>
977 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.2" relation="//@problemConainer/@relations.5" lower="1"/>
978 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.3" relation="//@problemConainer/@relations.5" upper="1"/>
979 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.4" relation="//@problemConainer/@relations.6" lower="1"/>
980 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.5" relation="//@problemConainer/@relations.6" upper="1"/>
981 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.6" relation="//@problemConainer/@relations.7" lower="1"/>
982 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.7" relation="//@problemConainer/@relations.7" upper="1"/>
983 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@problemConainer/@assertions.8" inverseA="//@problemConainer/@relations.1" inverseB="//@problemConainer/@relations.7"/>
984 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@problemConainer/@assertions.9" inverseA="//@problemConainer/@relations.0" inverseB="//@problemConainer/@relations.0"/>
985 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.8" patternFullyQualifiedName="modes3.queries.turnoutInSegments">
986 <variableTrace targetLogicVariable="//@problemConainer/@relations.8/@value/@operands.0/@quantifiedVariables.0"/>
987 </annotations>
988 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.9" patternFullyQualifiedName="modes3.queries.tooManyInputsOfSegment">
989 <variableTrace targetLogicVariable="//@problemConainer/@relations.9/@value/@operands.0/@quantifiedVariables.0"/>
990 <variableTrace targetLogicVariable="//@problemConainer/@relations.9/@value/@operands.0/@quantifiedVariables.1"/>
991 <variableTrace targetLogicVariable="//@problemConainer/@relations.9/@value/@operands.0/@quantifiedVariables.2"/>
992 </annotations>
993 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.10" patternFullyQualifiedName="modes3.queries.turnoutConnectedToBothOutputs">
994 <variableTrace targetLogicVariable="//@problemConainer/@relations.10/@value/@operands.0/@quantifiedVariables.0"/>
995 <variableTrace targetLogicVariable="//@problemConainer/@relations.10/@value/@operands.0/@quantifiedVariables.1"/>
996 </annotations>
997 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.11" patternFullyQualifiedName="modes3.queries.turnout"/>
998 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.12" patternFullyQualifiedName="modes3.queries.turnoutOutputsAreSame">
999 <variableTrace targetLogicVariable="//@problemConainer/@relations.12/@value/@operands.0/@quantifiedVariables.0"/>
1000 </annotations>
1001 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.13" patternFullyQualifiedName="modes3.queries.tooManyExtraInputsOfTurnout">
1002 <variableTrace targetLogicVariable="//@problemConainer/@relations.13/@value/@operands.0/@quantifiedVariables.0"/>
1003 <variableTrace targetLogicVariable="//@problemConainer/@relations.13/@value/@operands.0/@quantifiedVariables.1"/>
1004 </annotations>
1005 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.14" patternFullyQualifiedName="modes3.queries.unreachable"/>
1006 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.15" patternFullyQualifiedName="modes3.queries.connectedToReflexive"/>
1007 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.16" patternFullyQualifiedName="modes3.queries.turnoutOutput"/>
1008 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.17" patternFullyQualifiedName="modes3.queries.connectedTo"/>
1009 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.18" patternFullyQualifiedName="modes3.queries.outputReflexive"/>
1010 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.19" patternFullyQualifiedName="modes3.queries.adjacent"/>
1011 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.20" patternFullyQualifiedName="modes3.queries.extraInputOfTurnout">
1012 <variableTrace targetLogicVariable="//@problemConainer/@relations.20/@value/@operands.0/@quantifiedVariables.0"/>
1013 <variableTrace targetLogicVariable="//@problemConainer/@relations.20/@value/@operands.0/@quantifiedVariables.1"/>
1014 </annotations>
1015 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.21" patternFullyQualifiedName="modes3.queries.reachable"/>
1016 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.22" patternFullyQualifiedName="modes3.queries.noExtraInputOfTurnout">
1017 <variableTrace targetLogicVariable="//@problemConainer/@relations.22/@value/@operands.0/@quantifiedVariables.0"/>
1018 </annotations>
1019 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.23" patternFullyQualifiedName="modes3.queries.connectedToNotSymmetric"/>
1020 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.24" patternFullyQualifiedName="modes3.queries.output"/>
1021 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@problemConainer/@assertions.10" query="//@problemConainer/@annotations.10"/>
1022 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@problemConainer/@assertions.11" query="//@problemConainer/@annotations.11"/>
1023 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@problemConainer/@assertions.12" query="//@problemConainer/@annotations.12"/>
1024 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@problemConainer/@assertions.13" query="//@problemConainer/@annotations.14"/>
1025 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@problemConainer/@assertions.14" query="//@problemConainer/@annotations.15"/>
1026 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@problemConainer/@assertions.15" query="//@problemConainer/@annotations.16"/>
1027 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@problemConainer/@assertions.16" query="//@problemConainer/@annotations.17"/>
1028 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@problemConainer/@assertions.17" query="//@problemConainer/@annotations.20"/>
1029 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@problemConainer/@assertions.18" query="//@problemConainer/@annotations.24"/>
1030 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@problemConainer/@assertions.19" query="//@problemConainer/@annotations.25"/>
1031 </problemConainer>
1032 <scopes maxNewElements="0" targetTypeInterpretation="//@partialtypeinterpratation.4"/>
1033 <scopes maxNewElements="0" targetTypeInterpretation="//@partialtypeinterpratation.5"/>
1034 <scopes maxNewElements="0" targetTypeInterpretation="//@partialtypeinterpratation.6"/>
1035 <scopes maxNewElements="0" targetTypeInterpretation="//@partialtypeinterpratation.7"/>
1036 <scopes maxNewElements="0" targetTypeInterpretation="//@partialtypeinterpratation.8"/>
1037</partialinterpretation:PartialInterpretation>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-08 07:56:42 +0000