aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/ca.mcgill.rtgmrt.example.modes3/output/solution.partialinterpretation
diff options
context:
space:
mode:
Diffstat (limited to 'Domains/ca.mcgill.rtgmrt.example.modes3/output/solution.partialinterpretation')
-rw-r--r--Domains/ca.mcgill.rtgmrt.example.modes3/output/solution.partialinterpretation1068
1 files changed, 1068 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>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-01 02:14:10 +0000