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