aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/crossingScenario/inputs/Debug/state000000019.xmi
diff options
context:
space:
mode:
Diffstat (limited to 'Domains/crossingScenario/inputs/Debug/state000000019.xmi')
-rw-r--r--Domains/crossingScenario/inputs/Debug/state000000019.xmi1353
1 files changed, 1353 insertions, 0 deletions
diff --git a/Domains/crossingScenario/inputs/Debug/state000000019.xmi b/Domains/crossingScenario/inputs/Debug/state000000019.xmi
new file mode 100644
index 00000000..e94d2b0d
--- /dev/null
+++ b/Domains/crossingScenario/inputs/Debug/state000000019.xmi
@@ -0,0 +1,1353 @@
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:partial2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/partial2logicannotation" 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" minNewElements="1" maxNewElements="11" minNewElementsHeuristic="1">
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="//@problemConainer/@elements.8" param2="//@newElements.3"/>
5 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.8" param2="//@newElements.15"/>
6 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.8" param2="//@newElements.22"/>
7 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.8" param2="//@newElements.30"/>
8 </partialrelationinterpretation>
9 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.1" param1="//@problemConainer/@relations.1/@parameters.0" param2="//@problemConainer/@relations.1/@parameters.1">
10 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.8" param2="//@newElements.12"/>
11 </partialrelationinterpretation>
12 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.2" param1="//@problemConainer/@relations.2/@parameters.0" param2="//@problemConainer/@relations.2/@parameters.1"/>
13 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.3" param1="//@problemConainer/@relations.3/@parameters.0" param2="//@problemConainer/@relations.3/@parameters.1">
14 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.12" param2="//@newElements.22"/>
15 </partialrelationinterpretation>
16 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.4" param1="//@problemConainer/@relations.4/@parameters.0" param2="//@problemConainer/@relations.4/@parameters.1">
17 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.3" param2="//@newElements.10"/>
18 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.3" param2="//@newElements.11"/>
19 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.3" param2="//@newElements.29"/>
20 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.22" param2="//@newElements.37"/>
21 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.3" param2="//@newElements.38"/>
22 </partialrelationinterpretation>
23 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.5" param1="//@problemConainer/@relations.5/@parameters.0" param2="//@problemConainer/@relations.5/@parameters.1">
24 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.22" param2="//@newElements.12"/>
25 </partialrelationinterpretation>
26 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.6" param1="//@problemConainer/@relations.6/@parameters.0" param2="//@problemConainer/@relations.6/@parameters.1">
27 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.11" param2="//@newElements.3"/>
28 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.29" param2="//@newElements.3"/>
29 </partialrelationinterpretation>
30 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.7" param1="//@problemConainer/@relations.7/@parameters.0" param2="//@problemConainer/@relations.7/@parameters.1">
31 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.10" param2="//@newElements.3"/>
32 </partialrelationinterpretation>
33 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.8" param1="//@problemConainer/@relations.8/@parameters.0" param2="//@problemConainer/@relations.8/@parameters.1">
34 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.8" param2="//@newElements.2"/>
35 </partialrelationinterpretation>
36 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.9" param1="//@problemConainer/@relations.9/@parameters.0" param2="//@problemConainer/@relations.9/@parameters.1">
37 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.8" param2="//@newElements.2"/>
38 </partialrelationinterpretation>
39 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.10" param1="//@problemConainer/@relations.10/@parameters.0" param2="//@problemConainer/@relations.10/@parameters.1">
40 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.8" param2="//@newElements.2"/>
41 </partialrelationinterpretation>
42 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.11" param1="//@problemConainer/@relations.11/@parameters.0" param2="//@problemConainer/@relations.11/@parameters.1"/>
43 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.12" param1="//@problemConainer/@relations.12/@parameters.0" param2="//@problemConainer/@relations.12/@parameters.1">
44 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.12" param2="//@problemConainer/@elements.2"/>
45 </partialrelationinterpretation>
46 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.13" param1="//@problemConainer/@relations.13/@parameters.0" param2="//@problemConainer/@relations.13/@parameters.1">
47 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.12" param2="//@newElements.13"/>
48 </partialrelationinterpretation>
49 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.14" param1="//@problemConainer/@relations.14/@parameters.0" param2="//@problemConainer/@relations.14/@parameters.1">
50 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.12" param2="//@newElements.14"/>
51 </partialrelationinterpretation>
52 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.15" param1="//@problemConainer/@relations.15/@parameters.0" param2="//@problemConainer/@relations.15/@parameters.1">
53 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.3" param2="//@newElements.4"/>
54 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.15" param2="//@newElements.16"/>
55 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.22" param2="//@newElements.23"/>
56 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.30" param2="//@newElements.31"/>
57 </partialrelationinterpretation>
58 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.16" param1="//@problemConainer/@relations.16/@parameters.0" param2="//@problemConainer/@relations.16/@parameters.1">
59 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.3" param2="//@newElements.5"/>
60 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.15" param2="//@newElements.17"/>
61 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.22" param2="//@newElements.24"/>
62 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.30" param2="//@newElements.32"/>
63 </partialrelationinterpretation>
64 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.17" param1="//@problemConainer/@relations.17/@parameters.0" param2="//@problemConainer/@relations.17/@parameters.1">
65 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.3" param2="//@newElements.6"/>
66 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.15" param2="//@newElements.18"/>
67 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.22" param2="//@newElements.25"/>
68 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.30" param2="//@newElements.33"/>
69 </partialrelationinterpretation>
70 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.18" param1="//@problemConainer/@relations.18/@parameters.0" param2="//@problemConainer/@relations.18/@parameters.1">
71 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.3" param2="//@newElements.7"/>
72 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.15" param2="//@newElements.19"/>
73 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.22" param2="//@newElements.26"/>
74 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.30" param2="//@newElements.34"/>
75 </partialrelationinterpretation>
76 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.19" param1="//@problemConainer/@relations.19/@parameters.0" param2="//@problemConainer/@relations.19/@parameters.1">
77 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.3" param2="//@newElements.8"/>
78 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.15" param2="//@newElements.20"/>
79 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.22" param2="//@newElements.27"/>
80 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.30" param2="//@newElements.35"/>
81 </partialrelationinterpretation>
82 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.20" param1="//@problemConainer/@relations.20/@parameters.0" param2="//@problemConainer/@relations.20/@parameters.1">
83 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.3" param2="//@newElements.9"/>
84 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.15" param2="//@newElements.21"/>
85 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.22" param2="//@newElements.28"/>
86 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.30" param2="//@newElements.36"/>
87 </partialrelationinterpretation>
88 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.21" param1="//@problemConainer/@relations.21/@parameters.0" param2="//@problemConainer/@relations.21/@parameters.1"/>
89 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.22" param1="//@problemConainer/@relations.22/@parameters.0" param2="//@problemConainer/@relations.22/@parameters.1">
90 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.38" param2="//@newElements.39"/>
91 </partialrelationinterpretation>
92 <newElements xsi:type="partialinterpretation:BooleanElement" name="true" valueSet="true" value="true"/>
93 <newElements xsi:type="partialinterpretation:BooleanElement" name="false" valueSet="true"/>
94 <newElements xsi:type="partialinterpretation:RealElement" name="0.0" valueSet="true"/>
95 <newElements/>
96 <newElements xsi:type="partialinterpretation:RealElement"/>
97 <newElements xsi:type="partialinterpretation:RealElement"/>
98 <newElements xsi:type="partialinterpretation:RealElement"/>
99 <newElements xsi:type="partialinterpretation:RealElement"/>
100 <newElements xsi:type="partialinterpretation:RealElement"/>
101 <newElements xsi:type="partialinterpretation:RealElement"/>
102 <newElements/>
103 <newElements/>
104 <newElements/>
105 <newElements xsi:type="partialinterpretation:RealElement"/>
106 <newElements xsi:type="partialinterpretation:RealElement"/>
107 <newElements/>
108 <newElements xsi:type="partialinterpretation:RealElement"/>
109 <newElements xsi:type="partialinterpretation:RealElement"/>
110 <newElements xsi:type="partialinterpretation:RealElement"/>
111 <newElements xsi:type="partialinterpretation:RealElement"/>
112 <newElements xsi:type="partialinterpretation:RealElement"/>
113 <newElements xsi:type="partialinterpretation:RealElement"/>
114 <newElements/>
115 <newElements xsi:type="partialinterpretation:RealElement"/>
116 <newElements xsi:type="partialinterpretation:RealElement"/>
117 <newElements xsi:type="partialinterpretation:RealElement"/>
118 <newElements xsi:type="partialinterpretation:RealElement"/>
119 <newElements xsi:type="partialinterpretation:RealElement"/>
120 <newElements xsi:type="partialinterpretation:RealElement"/>
121 <newElements/>
122 <newElements/>
123 <newElements xsi:type="partialinterpretation:RealElement"/>
124 <newElements xsi:type="partialinterpretation:RealElement"/>
125 <newElements xsi:type="partialinterpretation:RealElement"/>
126 <newElements xsi:type="partialinterpretation:RealElement"/>
127 <newElements xsi:type="partialinterpretation:RealElement"/>
128 <newElements xsi:type="partialinterpretation:RealElement"/>
129 <newElements/>
130 <newElements/>
131 <newElements xsi:type="partialinterpretation:RealElement"/>
132 <partialtypeinterpratation xsi:type="partialinterpretation:PartialBooleanInterpretation" elements="//@newElements.0 //@newElements.1"/>
133 <partialtypeinterpratation xsi:type="partialinterpretation:PartialIntegerInterpretation"/>
134 <partialtypeinterpratation xsi:type="partialinterpretation:PartialRealInterpretation" elements="//@newElements.2 //@openWorldElements.0 //@newElements.4 //@newElements.5 //@newElements.6 //@newElements.7 //@newElements.8 //@newElements.9 //@newElements.13 //@newElements.14 //@newElements.16 //@newElements.17 //@newElements.18 //@newElements.19 //@newElements.20 //@newElements.21 //@newElements.23 //@newElements.24 //@newElements.25 //@newElements.26 //@newElements.27 //@newElements.28 //@newElements.31 //@newElements.32 //@newElements.33 //@newElements.34 //@newElements.35 //@newElements.36 //@newElements.39"/>
135 <partialtypeinterpratation xsi:type="partialinterpretation:PartialStringInterpretation" elements="//@openWorldElements.1"/>
136 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@problemConainer/@elements.8" scopes="//@scopes.0" interpretationOf="//@problemConainer/@types.0"/>
137 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@newElements.12" scopes="//@scopes.1" interpretationOf="//@problemConainer/@types.1"/>
138 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@newElements.3 //@newElements.15 //@newElements.22 //@newElements.30" scopes="//@scopes.2" interpretationOf="//@problemConainer/@types.2"/>
139 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@newElements.10 //@newElements.11 //@newElements.29 //@newElements.37 //@newElements.38" scopes="//@scopes.3" interpretationOf="//@problemConainer/@types.3"/>
140 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@newElements.10" scopes="//@scopes.4" supertypeInterpretation="//@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.4"/>
141 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@newElements.11 //@newElements.29 //@newElements.37 //@newElements.38" scopes="//@scopes.5" supertypeInterpretation="//@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.5"/>
142 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@newElements.10" scopes="//@scopes.6" supertypeInterpretation="//@partialtypeinterpratation.8 //@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.6"/>
143 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.7" supertypeInterpretation="//@partialtypeinterpratation.8 //@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.7"/>
144 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@newElements.38" scopes="//@scopes.8" supertypeInterpretation="//@partialtypeinterpratation.9 //@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.8"/>
145 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@newElements.11 //@newElements.29 //@newElements.37" scopes="//@scopes.9" supertypeInterpretation="//@partialtypeinterpratation.9 //@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.9"/>
146 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@newElements.15" scopes="//@scopes.10" supertypeInterpretation="//@partialtypeinterpratation.6" interpretationOf="//@problemConainer/@types.10"/>
147 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@newElements.3 //@newElements.22 //@newElements.30" scopes="//@scopes.11" supertypeInterpretation="//@partialtypeinterpratation.6" interpretationOf="//@problemConainer/@types.11"/>
148 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.12" supertypeInterpretation="//@partialtypeinterpratation.4" interpretationOf="//@problemConainer/@types.16"/>
149 <openWorldElements xsi:type="partialinterpretation:RealElement" name="New Reals"/>
150 <openWorldElements xsi:type="partialinterpretation:StringElement" name="New Strings"/>
151 <openWorldElements name="New Objects"/>
152 <problemConainer>
153 <types xsi:type="language:TypeDeclaration" name="CrossingScenario class" subtypes="//@problemConainer/@types.15 //@problemConainer/@types.16" isAbstract="true"/>
154 <types xsi:type="language:TypeDeclaration" name="Lane class"/>
155 <types xsi:type="language:TypeDeclaration" name="Actor class" subtypes="//@problemConainer/@types.10 //@problemConainer/@types.11" isAbstract="true"/>
156 <types xsi:type="language:TypeDeclaration" name="Relation class" subtypes="//@problemConainer/@types.4 //@problemConainer/@types.5" isAbstract="true"/>
157 <types xsi:type="language:TypeDeclaration" name="SpatialRelation class" subtypes="//@problemConainer/@types.6 //@problemConainer/@types.7" supertypes="//@problemConainer/@types.3" isAbstract="true"/>
158 <types xsi:type="language:TypeDeclaration" name="TemporalRelation class" subtypes="//@problemConainer/@types.8 //@problemConainer/@types.9" supertypes="//@problemConainer/@types.3" isAbstract="true"/>
159 <types xsi:type="language:TypeDeclaration" name="VisionBlocked class" supertypes="//@problemConainer/@types.4"/>
160 <types xsi:type="language:TypeDeclaration" name="SeparationDistance class" supertypes="//@problemConainer/@types.4"/>
161 <types xsi:type="language:TypeDeclaration" name="CollisionExists class" supertypes="//@problemConainer/@types.5"/>
162 <types xsi:type="language:TypeDeclaration" name="CollisionDoesNotExist class" supertypes="//@problemConainer/@types.5"/>
163 <types xsi:type="language:TypeDeclaration" name="Pedestrian class" supertypes="//@problemConainer/@types.2"/>
164 <types xsi:type="language:TypeDeclaration" name="Vehicle class" supertypes="//@problemConainer/@types.2"/>
165 <types xsi:type="language:TypeDefinition" name="Orientation enum" elements="//@problemConainer/@elements.0 //@problemConainer/@elements.1"/>
166 <types xsi:type="language:TypeDefinition" name="Size enum" elements="//@problemConainer/@elements.2 //@problemConainer/@elements.3 //@problemConainer/@elements.4"/>
167 <types xsi:type="language:TypeDefinition" name="Distance enum" elements="//@problemConainer/@elements.5 //@problemConainer/@elements.6 //@problemConainer/@elements.7"/>
168 <types xsi:type="language:TypeDefinition" name="CrossingScenario class DefinedPart" supertypes="//@problemConainer/@types.0" elements="//@problemConainer/@elements.8"/>
169 <types xsi:type="language:TypeDeclaration" name="CrossingScenario class UndefinedPart" supertypes="//@problemConainer/@types.0"/>
170 <assertions name="upperMultiplicity prevLane Lane" annotations="//@problemConainer/@annotations.0">
171 <value xsi:type="language:Forall">
172 <quantifiedVariables name="src">
173 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
174 </quantifiedVariables>
175 <quantifiedVariables name="trg 1">
176 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
177 </quantifiedVariables>
178 <quantifiedVariables name="trg 2">
179 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
180 </quantifiedVariables>
181 <expression xsi:type="language:Impl">
182 <leftOperand xsi:type="language:And">
183 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.2">
184 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.0"/>
185 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.1"/>
186 </operands>
187 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.2">
188 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.0"/>
189 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.2"/>
190 </operands>
191 </leftOperand>
192 <rightOperand xsi:type="language:Not">
193 <operand xsi:type="language:Distinct">
194 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.1"/>
195 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.2"/>
196 </operand>
197 </rightOperand>
198 </expression>
199 </value>
200 </assertions>
201 <assertions name="lowerMultiplicity placedOn Actor" annotations="//@problemConainer/@annotations.1">
202 <value xsi:type="language:Forall">
203 <quantifiedVariables name="src">
204 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
205 </quantifiedVariables>
206 <expression xsi:type="language:Exists">
207 <quantifiedVariables name="trg 1">
208 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
209 </quantifiedVariables>
210 <expression xsi:type="language:And">
211 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5">
212 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.1/@value/@quantifiedVariables.0"/>
213 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.1/@value/@expression/@quantifiedVariables.0"/>
214 </operands>
215 </expression>
216 </expression>
217 </value>
218 </assertions>
219 <assertions name="upperMultiplicity placedOn Actor" annotations="//@problemConainer/@annotations.2">
220 <value xsi:type="language:Forall">
221 <quantifiedVariables name="src">
222 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
223 </quantifiedVariables>
224 <quantifiedVariables name="trg 1">
225 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
226 </quantifiedVariables>
227 <quantifiedVariables name="trg 2">
228 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
229 </quantifiedVariables>
230 <expression xsi:type="language:Impl">
231 <leftOperand xsi:type="language:And">
232 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5">
233 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.0"/>
234 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.1"/>
235 </operands>
236 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5">
237 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.0"/>
238 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.2"/>
239 </operands>
240 </leftOperand>
241 <rightOperand xsi:type="language:Not">
242 <operand xsi:type="language:Distinct">
243 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.1"/>
244 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.2"/>
245 </operand>
246 </rightOperand>
247 </expression>
248 </value>
249 </assertions>
250 <assertions name="lowerMultiplicity target Relation" annotations="//@problemConainer/@annotations.3">
251 <value xsi:type="language:Forall">
252 <quantifiedVariables name="src">
253 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/>
254 </quantifiedVariables>
255 <expression xsi:type="language:Exists">
256 <quantifiedVariables name="trg 1">
257 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
258 </quantifiedVariables>
259 <expression xsi:type="language:And">
260 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6">
261 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.3/@value/@quantifiedVariables.0"/>
262 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.3/@value/@expression/@quantifiedVariables.0"/>
263 </operands>
264 </expression>
265 </expression>
266 </value>
267 </assertions>
268 <assertions name="upperMultiplicity target Relation" annotations="//@problemConainer/@annotations.4">
269 <value xsi:type="language:Forall">
270 <quantifiedVariables name="src">
271 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/>
272 </quantifiedVariables>
273 <quantifiedVariables name="trg 1">
274 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
275 </quantifiedVariables>
276 <quantifiedVariables name="trg 2">
277 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
278 </quantifiedVariables>
279 <expression xsi:type="language:Impl">
280 <leftOperand xsi:type="language:And">
281 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6">
282 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.0"/>
283 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.1"/>
284 </operands>
285 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6">
286 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.0"/>
287 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.2"/>
288 </operands>
289 </leftOperand>
290 <rightOperand xsi:type="language:Not">
291 <operand xsi:type="language:Distinct">
292 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.1"/>
293 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.2"/>
294 </operand>
295 </rightOperand>
296 </expression>
297 </value>
298 </assertions>
299 <assertions name="lowerMultiplicity blockedBy VisionBlocked" annotations="//@problemConainer/@annotations.5">
300 <value xsi:type="language:Forall">
301 <quantifiedVariables name="src">
302 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.6"/>
303 </quantifiedVariables>
304 <expression xsi:type="language:Exists">
305 <quantifiedVariables name="trg 1">
306 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
307 </quantifiedVariables>
308 <expression xsi:type="language:And">
309 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.7">
310 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.0"/>
311 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@expression/@quantifiedVariables.0"/>
312 </operands>
313 </expression>
314 </expression>
315 </value>
316 </assertions>
317 <assertions name="upperMultiplicity blockedBy VisionBlocked" annotations="//@problemConainer/@annotations.6">
318 <value xsi:type="language:Forall">
319 <quantifiedVariables name="src">
320 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.6"/>
321 </quantifiedVariables>
322 <quantifiedVariables name="trg 1">
323 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
324 </quantifiedVariables>
325 <quantifiedVariables name="trg 2">
326 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
327 </quantifiedVariables>
328 <expression xsi:type="language:Impl">
329 <leftOperand xsi:type="language:And">
330 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.7">
331 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@quantifiedVariables.0"/>
332 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@quantifiedVariables.1"/>
333 </operands>
334 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.7">
335 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@quantifiedVariables.0"/>
336 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@quantifiedVariables.2"/>
337 </operands>
338 </leftOperand>
339 <rightOperand xsi:type="language:Not">
340 <operand xsi:type="language:Distinct">
341 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@quantifiedVariables.1"/>
342 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@quantifiedVariables.2"/>
343 </operand>
344 </rightOperand>
345 </expression>
346 </value>
347 </assertions>
348 <assertions name="oppositeReference actors Lane" annotations="//@problemConainer/@annotations.7">
349 <value xsi:type="language:Forall">
350 <quantifiedVariables name="src">
351 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
352 </quantifiedVariables>
353 <quantifiedVariables name="trg">
354 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
355 </quantifiedVariables>
356 <expression xsi:type="language:Iff">
357 <leftOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.3">
358 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.0"/>
359 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.1"/>
360 </leftOperand>
361 <rightOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5">
362 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.1"/>
363 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.0"/>
364 </rightOperand>
365 </expression>
366 </value>
367 </assertions>
368 <assertions name="upperMultiplicity xSize CrossingScenario" annotations="//@problemConainer/@annotations.8">
369 <value xsi:type="language:Forall">
370 <quantifiedVariables name="src">
371 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
372 </quantifiedVariables>
373 <quantifiedVariables name="trg 1">
374 <range xsi:type="language:RealTypeReference"/>
375 </quantifiedVariables>
376 <quantifiedVariables name="trg 2">
377 <range xsi:type="language:RealTypeReference"/>
378 </quantifiedVariables>
379 <expression xsi:type="language:Impl">
380 <leftOperand xsi:type="language:And">
381 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.8">
382 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.0"/>
383 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.1"/>
384 </operands>
385 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.8">
386 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.0"/>
387 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.2"/>
388 </operands>
389 </leftOperand>
390 <rightOperand xsi:type="language:Not">
391 <operand xsi:type="language:Distinct">
392 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.1"/>
393 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.2"/>
394 </operand>
395 </rightOperand>
396 </expression>
397 </value>
398 </assertions>
399 <assertions name="upperMultiplicity ySize CrossingScenario" annotations="//@problemConainer/@annotations.9">
400 <value xsi:type="language:Forall">
401 <quantifiedVariables name="src">
402 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
403 </quantifiedVariables>
404 <quantifiedVariables name="trg 1">
405 <range xsi:type="language:RealTypeReference"/>
406 </quantifiedVariables>
407 <quantifiedVariables name="trg 2">
408 <range xsi:type="language:RealTypeReference"/>
409 </quantifiedVariables>
410 <expression xsi:type="language:Impl">
411 <leftOperand xsi:type="language:And">
412 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9">
413 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.9/@value/@quantifiedVariables.0"/>
414 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.9/@value/@quantifiedVariables.1"/>
415 </operands>
416 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9">
417 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.9/@value/@quantifiedVariables.0"/>
418 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.9/@value/@quantifiedVariables.2"/>
419 </operands>
420 </leftOperand>
421 <rightOperand xsi:type="language:Not">
422 <operand xsi:type="language:Distinct">
423 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.9/@value/@quantifiedVariables.1"/>
424 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.9/@value/@quantifiedVariables.2"/>
425 </operand>
426 </rightOperand>
427 </expression>
428 </value>
429 </assertions>
430 <assertions name="upperMultiplicity maxTime CrossingScenario" annotations="//@problemConainer/@annotations.10">
431 <value xsi:type="language:Forall">
432 <quantifiedVariables name="src">
433 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
434 </quantifiedVariables>
435 <quantifiedVariables name="trg 1">
436 <range xsi:type="language:RealTypeReference"/>
437 </quantifiedVariables>
438 <quantifiedVariables name="trg 2">
439 <range xsi:type="language:RealTypeReference"/>
440 </quantifiedVariables>
441 <expression xsi:type="language:Impl">
442 <leftOperand xsi:type="language:And">
443 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10">
444 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.0"/>
445 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.1"/>
446 </operands>
447 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10">
448 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.0"/>
449 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.2"/>
450 </operands>
451 </leftOperand>
452 <rightOperand xsi:type="language:Not">
453 <operand xsi:type="language:Distinct">
454 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.1"/>
455 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.2"/>
456 </operand>
457 </rightOperand>
458 </expression>
459 </value>
460 </assertions>
461 <assertions name="lowerMultiplicity orientation Lane" annotations="//@problemConainer/@annotations.11">
462 <value xsi:type="language:Forall">
463 <quantifiedVariables name="src">
464 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
465 </quantifiedVariables>
466 <expression xsi:type="language:Exists">
467 <quantifiedVariables name="trg 1">
468 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.12"/>
469 </quantifiedVariables>
470 <expression xsi:type="language:And">
471 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.11">
472 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.11/@value/@quantifiedVariables.0"/>
473 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.11/@value/@expression/@quantifiedVariables.0"/>
474 </operands>
475 </expression>
476 </expression>
477 </value>
478 </assertions>
479 <assertions name="upperMultiplicity orientation Lane" annotations="//@problemConainer/@annotations.12">
480 <value xsi:type="language:Forall">
481 <quantifiedVariables name="src">
482 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
483 </quantifiedVariables>
484 <quantifiedVariables name="trg 1">
485 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.12"/>
486 </quantifiedVariables>
487 <quantifiedVariables name="trg 2">
488 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.12"/>
489 </quantifiedVariables>
490 <expression xsi:type="language:Impl">
491 <leftOperand xsi:type="language:And">
492 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.11">
493 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.0"/>
494 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.1"/>
495 </operands>
496 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.11">
497 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.0"/>
498 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.2"/>
499 </operands>
500 </leftOperand>
501 <rightOperand xsi:type="language:Not">
502 <operand xsi:type="language:Distinct">
503 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.1"/>
504 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.2"/>
505 </operand>
506 </rightOperand>
507 </expression>
508 </value>
509 </assertions>
510 <assertions name="lowerMultiplicity width Lane" annotations="//@problemConainer/@annotations.13">
511 <value xsi:type="language:Forall">
512 <quantifiedVariables name="src">
513 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
514 </quantifiedVariables>
515 <expression xsi:type="language:Exists">
516 <quantifiedVariables name="trg 1">
517 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.13"/>
518 </quantifiedVariables>
519 <expression xsi:type="language:And">
520 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12">
521 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.13/@value/@quantifiedVariables.0"/>
522 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.13/@value/@expression/@quantifiedVariables.0"/>
523 </operands>
524 </expression>
525 </expression>
526 </value>
527 </assertions>
528 <assertions name="upperMultiplicity width Lane" annotations="//@problemConainer/@annotations.14">
529 <value xsi:type="language:Forall">
530 <quantifiedVariables name="src">
531 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
532 </quantifiedVariables>
533 <quantifiedVariables name="trg 1">
534 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.13"/>
535 </quantifiedVariables>
536 <quantifiedVariables name="trg 2">
537 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.13"/>
538 </quantifiedVariables>
539 <expression xsi:type="language:Impl">
540 <leftOperand xsi:type="language:And">
541 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12">
542 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.0"/>
543 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.1"/>
544 </operands>
545 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12">
546 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.0"/>
547 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.2"/>
548 </operands>
549 </leftOperand>
550 <rightOperand xsi:type="language:Not">
551 <operand xsi:type="language:Distinct">
552 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.1"/>
553 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.2"/>
554 </operand>
555 </rightOperand>
556 </expression>
557 </value>
558 </assertions>
559 <assertions name="lowerMultiplicity referenceCoord Lane" annotations="//@problemConainer/@annotations.15">
560 <value xsi:type="language:Forall">
561 <quantifiedVariables name="src">
562 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
563 </quantifiedVariables>
564 <expression xsi:type="language:Exists">
565 <quantifiedVariables name="trg 1">
566 <range xsi:type="language:RealTypeReference"/>
567 </quantifiedVariables>
568 <expression xsi:type="language:And">
569 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13">
570 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.15/@value/@quantifiedVariables.0"/>
571 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.15/@value/@expression/@quantifiedVariables.0"/>
572 </operands>
573 </expression>
574 </expression>
575 </value>
576 </assertions>
577 <assertions name="upperMultiplicity referenceCoord Lane" annotations="//@problemConainer/@annotations.16">
578 <value xsi:type="language:Forall">
579 <quantifiedVariables name="src">
580 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
581 </quantifiedVariables>
582 <quantifiedVariables name="trg 1">
583 <range xsi:type="language:RealTypeReference"/>
584 </quantifiedVariables>
585 <quantifiedVariables name="trg 2">
586 <range xsi:type="language:RealTypeReference"/>
587 </quantifiedVariables>
588 <expression xsi:type="language:Impl">
589 <leftOperand xsi:type="language:And">
590 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13">
591 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.0"/>
592 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.1"/>
593 </operands>
594 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13">
595 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.0"/>
596 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.2"/>
597 </operands>
598 </leftOperand>
599 <rightOperand xsi:type="language:Not">
600 <operand xsi:type="language:Distinct">
601 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.1"/>
602 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.2"/>
603 </operand>
604 </rightOperand>
605 </expression>
606 </value>
607 </assertions>
608 <assertions name="lowerMultiplicity numWidth Lane" annotations="//@problemConainer/@annotations.17">
609 <value xsi:type="language:Forall">
610 <quantifiedVariables name="src">
611 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
612 </quantifiedVariables>
613 <expression xsi:type="language:Exists">
614 <quantifiedVariables name="trg 1">
615 <range xsi:type="language:RealTypeReference"/>
616 </quantifiedVariables>
617 <expression xsi:type="language:And">
618 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14">
619 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.17/@value/@quantifiedVariables.0"/>
620 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.17/@value/@expression/@quantifiedVariables.0"/>
621 </operands>
622 </expression>
623 </expression>
624 </value>
625 </assertions>
626 <assertions name="upperMultiplicity numWidth Lane" annotations="//@problemConainer/@annotations.18">
627 <value xsi:type="language:Forall">
628 <quantifiedVariables name="src">
629 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
630 </quantifiedVariables>
631 <quantifiedVariables name="trg 1">
632 <range xsi:type="language:RealTypeReference"/>
633 </quantifiedVariables>
634 <quantifiedVariables name="trg 2">
635 <range xsi:type="language:RealTypeReference"/>
636 </quantifiedVariables>
637 <expression xsi:type="language:Impl">
638 <leftOperand xsi:type="language:And">
639 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14">
640 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.0"/>
641 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.1"/>
642 </operands>
643 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14">
644 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.0"/>
645 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.2"/>
646 </operands>
647 </leftOperand>
648 <rightOperand xsi:type="language:Not">
649 <operand xsi:type="language:Distinct">
650 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.1"/>
651 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.2"/>
652 </operand>
653 </rightOperand>
654 </expression>
655 </value>
656 </assertions>
657 <assertions name="lowerMultiplicity xPos Actor" annotations="//@problemConainer/@annotations.19">
658 <value xsi:type="language:Forall">
659 <quantifiedVariables name="src">
660 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
661 </quantifiedVariables>
662 <expression xsi:type="language:Exists">
663 <quantifiedVariables name="trg 1">
664 <range xsi:type="language:RealTypeReference"/>
665 </quantifiedVariables>
666 <expression xsi:type="language:And">
667 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.15">
668 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.19/@value/@quantifiedVariables.0"/>
669 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.19/@value/@expression/@quantifiedVariables.0"/>
670 </operands>
671 </expression>
672 </expression>
673 </value>
674 </assertions>
675 <assertions name="upperMultiplicity xPos Actor" annotations="//@problemConainer/@annotations.20">
676 <value xsi:type="language:Forall">
677 <quantifiedVariables name="src">
678 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
679 </quantifiedVariables>
680 <quantifiedVariables name="trg 1">
681 <range xsi:type="language:RealTypeReference"/>
682 </quantifiedVariables>
683 <quantifiedVariables name="trg 2">
684 <range xsi:type="language:RealTypeReference"/>
685 </quantifiedVariables>
686 <expression xsi:type="language:Impl">
687 <leftOperand xsi:type="language:And">
688 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.15">
689 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.0"/>
690 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.1"/>
691 </operands>
692 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.15">
693 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.0"/>
694 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.2"/>
695 </operands>
696 </leftOperand>
697 <rightOperand xsi:type="language:Not">
698 <operand xsi:type="language:Distinct">
699 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.1"/>
700 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.2"/>
701 </operand>
702 </rightOperand>
703 </expression>
704 </value>
705 </assertions>
706 <assertions name="lowerMultiplicity yPos Actor" annotations="//@problemConainer/@annotations.21">
707 <value xsi:type="language:Forall">
708 <quantifiedVariables name="src">
709 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
710 </quantifiedVariables>
711 <expression xsi:type="language:Exists">
712 <quantifiedVariables name="trg 1">
713 <range xsi:type="language:RealTypeReference"/>
714 </quantifiedVariables>
715 <expression xsi:type="language:And">
716 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16">
717 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.21/@value/@quantifiedVariables.0"/>
718 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.21/@value/@expression/@quantifiedVariables.0"/>
719 </operands>
720 </expression>
721 </expression>
722 </value>
723 </assertions>
724 <assertions name="upperMultiplicity yPos Actor" annotations="//@problemConainer/@annotations.22">
725 <value xsi:type="language:Forall">
726 <quantifiedVariables name="src">
727 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
728 </quantifiedVariables>
729 <quantifiedVariables name="trg 1">
730 <range xsi:type="language:RealTypeReference"/>
731 </quantifiedVariables>
732 <quantifiedVariables name="trg 2">
733 <range xsi:type="language:RealTypeReference"/>
734 </quantifiedVariables>
735 <expression xsi:type="language:Impl">
736 <leftOperand xsi:type="language:And">
737 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16">
738 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.0"/>
739 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.1"/>
740 </operands>
741 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16">
742 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.0"/>
743 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.2"/>
744 </operands>
745 </leftOperand>
746 <rightOperand xsi:type="language:Not">
747 <operand xsi:type="language:Distinct">
748 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.1"/>
749 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.2"/>
750 </operand>
751 </rightOperand>
752 </expression>
753 </value>
754 </assertions>
755 <assertions name="lowerMultiplicity length Actor" annotations="//@problemConainer/@annotations.23">
756 <value xsi:type="language:Forall">
757 <quantifiedVariables name="src">
758 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
759 </quantifiedVariables>
760 <expression xsi:type="language:Exists">
761 <quantifiedVariables name="trg 1">
762 <range xsi:type="language:RealTypeReference"/>
763 </quantifiedVariables>
764 <expression xsi:type="language:And">
765 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.17">
766 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.23/@value/@quantifiedVariables.0"/>
767 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.23/@value/@expression/@quantifiedVariables.0"/>
768 </operands>
769 </expression>
770 </expression>
771 </value>
772 </assertions>
773 <assertions name="upperMultiplicity length Actor" annotations="//@problemConainer/@annotations.24">
774 <value xsi:type="language:Forall">
775 <quantifiedVariables name="src">
776 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
777 </quantifiedVariables>
778 <quantifiedVariables name="trg 1">
779 <range xsi:type="language:RealTypeReference"/>
780 </quantifiedVariables>
781 <quantifiedVariables name="trg 2">
782 <range xsi:type="language:RealTypeReference"/>
783 </quantifiedVariables>
784 <expression xsi:type="language:Impl">
785 <leftOperand xsi:type="language:And">
786 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.17">
787 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.0"/>
788 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.1"/>
789 </operands>
790 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.17">
791 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.0"/>
792 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.2"/>
793 </operands>
794 </leftOperand>
795 <rightOperand xsi:type="language:Not">
796 <operand xsi:type="language:Distinct">
797 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.1"/>
798 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.2"/>
799 </operand>
800 </rightOperand>
801 </expression>
802 </value>
803 </assertions>
804 <assertions name="lowerMultiplicity width Actor" annotations="//@problemConainer/@annotations.25">
805 <value xsi:type="language:Forall">
806 <quantifiedVariables name="src">
807 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
808 </quantifiedVariables>
809 <expression xsi:type="language:Exists">
810 <quantifiedVariables name="trg 1">
811 <range xsi:type="language:RealTypeReference"/>
812 </quantifiedVariables>
813 <expression xsi:type="language:And">
814 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.18">
815 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.25/@value/@quantifiedVariables.0"/>
816 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.25/@value/@expression/@quantifiedVariables.0"/>
817 </operands>
818 </expression>
819 </expression>
820 </value>
821 </assertions>
822 <assertions name="upperMultiplicity width Actor" annotations="//@problemConainer/@annotations.26">
823 <value xsi:type="language:Forall">
824 <quantifiedVariables name="src">
825 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
826 </quantifiedVariables>
827 <quantifiedVariables name="trg 1">
828 <range xsi:type="language:RealTypeReference"/>
829 </quantifiedVariables>
830 <quantifiedVariables name="trg 2">
831 <range xsi:type="language:RealTypeReference"/>
832 </quantifiedVariables>
833 <expression xsi:type="language:Impl">
834 <leftOperand xsi:type="language:And">
835 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.18">
836 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.0"/>
837 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.1"/>
838 </operands>
839 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.18">
840 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.0"/>
841 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.2"/>
842 </operands>
843 </leftOperand>
844 <rightOperand xsi:type="language:Not">
845 <operand xsi:type="language:Distinct">
846 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.1"/>
847 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.2"/>
848 </operand>
849 </rightOperand>
850 </expression>
851 </value>
852 </assertions>
853 <assertions name="lowerMultiplicity xSpeed Actor" annotations="//@problemConainer/@annotations.27">
854 <value xsi:type="language:Forall">
855 <quantifiedVariables name="src">
856 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
857 </quantifiedVariables>
858 <expression xsi:type="language:Exists">
859 <quantifiedVariables name="trg 1">
860 <range xsi:type="language:RealTypeReference"/>
861 </quantifiedVariables>
862 <expression xsi:type="language:And">
863 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.19">
864 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.27/@value/@quantifiedVariables.0"/>
865 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.27/@value/@expression/@quantifiedVariables.0"/>
866 </operands>
867 </expression>
868 </expression>
869 </value>
870 </assertions>
871 <assertions name="upperMultiplicity xSpeed Actor" annotations="//@problemConainer/@annotations.28">
872 <value xsi:type="language:Forall">
873 <quantifiedVariables name="src">
874 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
875 </quantifiedVariables>
876 <quantifiedVariables name="trg 1">
877 <range xsi:type="language:RealTypeReference"/>
878 </quantifiedVariables>
879 <quantifiedVariables name="trg 2">
880 <range xsi:type="language:RealTypeReference"/>
881 </quantifiedVariables>
882 <expression xsi:type="language:Impl">
883 <leftOperand xsi:type="language:And">
884 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.19">
885 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.0"/>
886 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.1"/>
887 </operands>
888 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.19">
889 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.0"/>
890 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.2"/>
891 </operands>
892 </leftOperand>
893 <rightOperand xsi:type="language:Not">
894 <operand xsi:type="language:Distinct">
895 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.1"/>
896 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.2"/>
897 </operand>
898 </rightOperand>
899 </expression>
900 </value>
901 </assertions>
902 <assertions name="lowerMultiplicity ySpeed Actor" annotations="//@problemConainer/@annotations.29">
903 <value xsi:type="language:Forall">
904 <quantifiedVariables name="src">
905 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
906 </quantifiedVariables>
907 <expression xsi:type="language:Exists">
908 <quantifiedVariables name="trg 1">
909 <range xsi:type="language:RealTypeReference"/>
910 </quantifiedVariables>
911 <expression xsi:type="language:And">
912 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20">
913 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.29/@value/@quantifiedVariables.0"/>
914 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.29/@value/@expression/@quantifiedVariables.0"/>
915 </operands>
916 </expression>
917 </expression>
918 </value>
919 </assertions>
920 <assertions name="upperMultiplicity ySpeed Actor" annotations="//@problemConainer/@annotations.30">
921 <value xsi:type="language:Forall">
922 <quantifiedVariables name="src">
923 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
924 </quantifiedVariables>
925 <quantifiedVariables name="trg 1">
926 <range xsi:type="language:RealTypeReference"/>
927 </quantifiedVariables>
928 <quantifiedVariables name="trg 2">
929 <range xsi:type="language:RealTypeReference"/>
930 </quantifiedVariables>
931 <expression xsi:type="language:Impl">
932 <leftOperand xsi:type="language:And">
933 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20">
934 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.0"/>
935 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.1"/>
936 </operands>
937 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20">
938 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.0"/>
939 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.2"/>
940 </operands>
941 </leftOperand>
942 <rightOperand xsi:type="language:Not">
943 <operand xsi:type="language:Distinct">
944 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.1"/>
945 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.2"/>
946 </operand>
947 </rightOperand>
948 </expression>
949 </value>
950 </assertions>
951 <assertions name="lowerMultiplicity distance SeparationDistance" annotations="//@problemConainer/@annotations.31">
952 <value xsi:type="language:Forall">
953 <quantifiedVariables name="src">
954 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.7"/>
955 </quantifiedVariables>
956 <expression xsi:type="language:Exists">
957 <quantifiedVariables name="trg 1">
958 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.14"/>
959 </quantifiedVariables>
960 <expression xsi:type="language:And">
961 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.21">
962 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.31/@value/@quantifiedVariables.0"/>
963 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.31/@value/@expression/@quantifiedVariables.0"/>
964 </operands>
965 </expression>
966 </expression>
967 </value>
968 </assertions>
969 <assertions name="upperMultiplicity distance SeparationDistance" annotations="//@problemConainer/@annotations.32">
970 <value xsi:type="language:Forall">
971 <quantifiedVariables name="src">
972 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.7"/>
973 </quantifiedVariables>
974 <quantifiedVariables name="trg 1">
975 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.14"/>
976 </quantifiedVariables>
977 <quantifiedVariables name="trg 2">
978 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.14"/>
979 </quantifiedVariables>
980 <expression xsi:type="language:Impl">
981 <leftOperand xsi:type="language:And">
982 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.21">
983 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.0"/>
984 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.1"/>
985 </operands>
986 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.21">
987 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.0"/>
988 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.2"/>
989 </operands>
990 </leftOperand>
991 <rightOperand xsi:type="language:Not">
992 <operand xsi:type="language:Distinct">
993 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.1"/>
994 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.2"/>
995 </operand>
996 </rightOperand>
997 </expression>
998 </value>
999 </assertions>
1000 <assertions name="lowerMultiplicity collisionTime CollisionExists" annotations="//@problemConainer/@annotations.33">
1001 <value xsi:type="language:Forall">
1002 <quantifiedVariables name="src">
1003 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.8"/>
1004 </quantifiedVariables>
1005 <expression xsi:type="language:Exists">
1006 <quantifiedVariables name="trg 1">
1007 <range xsi:type="language:RealTypeReference"/>
1008 </quantifiedVariables>
1009 <expression xsi:type="language:And">
1010 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.22">
1011 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.33/@value/@quantifiedVariables.0"/>
1012 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.33/@value/@expression/@quantifiedVariables.0"/>
1013 </operands>
1014 </expression>
1015 </expression>
1016 </value>
1017 </assertions>
1018 <assertions name="upperMultiplicity collisionTime CollisionExists" annotations="//@problemConainer/@annotations.34">
1019 <value xsi:type="language:Forall">
1020 <quantifiedVariables name="src">
1021 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.8"/>
1022 </quantifiedVariables>
1023 <quantifiedVariables name="trg 1">
1024 <range xsi:type="language:RealTypeReference"/>
1025 </quantifiedVariables>
1026 <quantifiedVariables name="trg 2">
1027 <range xsi:type="language:RealTypeReference"/>
1028 </quantifiedVariables>
1029 <expression xsi:type="language:Impl">
1030 <leftOperand xsi:type="language:And">
1031 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.22">
1032 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.34/@value/@quantifiedVariables.0"/>
1033 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.34/@value/@quantifiedVariables.1"/>
1034 </operands>
1035 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.22">
1036 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.34/@value/@quantifiedVariables.0"/>
1037 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.34/@value/@quantifiedVariables.2"/>
1038 </operands>
1039 </leftOperand>
1040 <rightOperand xsi:type="language:Not">
1041 <operand xsi:type="language:Distinct">
1042 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.34/@value/@quantifiedVariables.1"/>
1043 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.34/@value/@quantifiedVariables.2"/>
1044 </operand>
1045 </rightOperand>
1046 </expression>
1047 </value>
1048 </assertions>
1049 <assertions name="PartialInterpretation xSize attribute CrossingScenario" annotations="//@problemConainer/@annotations.35">
1050 <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.8">
1051 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@elements.8"/>
1052 <parameterSubstitutions xsi:type="language:RealLiteral"/>
1053 </value>
1054 </assertions>
1055 <assertions name="PartialInterpretation ySize attribute CrossingScenario" annotations="//@problemConainer/@annotations.36">
1056 <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9">
1057 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@elements.8"/>
1058 <parameterSubstitutions xsi:type="language:RealLiteral"/>
1059 </value>
1060 </assertions>
1061 <assertions name="PartialInterpretation maxTime attribute CrossingScenario" annotations="//@problemConainer/@annotations.37">
1062 <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10">
1063 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@elements.8"/>
1064 <parameterSubstitutions xsi:type="language:RealLiteral"/>
1065 </value>
1066 </assertions>
1067 <assertions name="errorpattern queries patterThatOnlyWorksWithInt" annotations="//@problemConainer/@annotations.41">
1068 <value xsi:type="language:Forall">
1069 <quantifiedVariables name="p0">
1070 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1071 </quantifiedVariables>
1072 <expression xsi:type="language:Not">
1073 <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.23">
1074 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.38/@value/@quantifiedVariables.0"/>
1075 </operand>
1076 </expression>
1077 </value>
1078 </assertions>
1079 <assertions name="errorpattern queries define_numWidth_small1" annotations="//@problemConainer/@annotations.42">
1080 <value xsi:type="language:Forall">
1081 <quantifiedVariables name="p0">
1082 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1083 </quantifiedVariables>
1084 <expression xsi:type="language:Not">
1085 <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24">
1086 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.39/@value/@quantifiedVariables.0"/>
1087 </operand>
1088 </expression>
1089 </value>
1090 </assertions>
1091 <assertions name="errorpattern queries define_numWidth_small2" annotations="//@problemConainer/@annotations.43">
1092 <value xsi:type="language:Forall">
1093 <quantifiedVariables name="p0">
1094 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1095 </quantifiedVariables>
1096 <expression xsi:type="language:Not">
1097 <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.25">
1098 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.40/@value/@quantifiedVariables.0"/>
1099 </operand>
1100 </expression>
1101 </value>
1102 </assertions>
1103 <relations xsi:type="language:RelationDeclaration" name="actors reference CrossingScenario">
1104 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
1105 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1106 </relations>
1107 <relations xsi:type="language:RelationDeclaration" name="lanes reference CrossingScenario">
1108 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
1109 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1110 </relations>
1111 <relations xsi:type="language:RelationDeclaration" name="prevLane reference Lane">
1112 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1113 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1114 </relations>
1115 <relations xsi:type="language:RelationDeclaration" name="actors reference Lane">
1116 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1117 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1118 </relations>
1119 <relations xsi:type="language:RelationDeclaration" name="relations reference Actor">
1120 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1121 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/>
1122 </relations>
1123 <relations xsi:type="language:RelationDeclaration" name="placedOn reference Actor">
1124 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1125 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1126 </relations>
1127 <relations xsi:type="language:RelationDeclaration" name="target reference Relation">
1128 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/>
1129 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1130 </relations>
1131 <relations xsi:type="language:RelationDeclaration" name="blockedBy reference VisionBlocked">
1132 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.6"/>
1133 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1134 </relations>
1135 <relations xsi:type="language:RelationDeclaration" name="xSize attribute CrossingScenario">
1136 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
1137 <parameters xsi:type="language:RealTypeReference"/>
1138 </relations>
1139 <relations xsi:type="language:RelationDeclaration" name="ySize attribute CrossingScenario">
1140 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
1141 <parameters xsi:type="language:RealTypeReference"/>
1142 </relations>
1143 <relations xsi:type="language:RelationDeclaration" name="maxTime attribute CrossingScenario">
1144 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
1145 <parameters xsi:type="language:RealTypeReference"/>
1146 </relations>
1147 <relations xsi:type="language:RelationDeclaration" name="orientation attribute Lane">
1148 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1149 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.12"/>
1150 </relations>
1151 <relations xsi:type="language:RelationDeclaration" name="width attribute Lane">
1152 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1153 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.13"/>
1154 </relations>
1155 <relations xsi:type="language:RelationDeclaration" name="referenceCoord attribute Lane">
1156 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1157 <parameters xsi:type="language:RealTypeReference"/>
1158 </relations>
1159 <relations xsi:type="language:RelationDeclaration" name="numWidth attribute Lane">
1160 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1161 <parameters xsi:type="language:RealTypeReference"/>
1162 </relations>
1163 <relations xsi:type="language:RelationDeclaration" name="xPos attribute Actor">
1164 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1165 <parameters xsi:type="language:RealTypeReference"/>
1166 </relations>
1167 <relations xsi:type="language:RelationDeclaration" name="yPos attribute Actor">
1168 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1169 <parameters xsi:type="language:RealTypeReference"/>
1170 </relations>
1171 <relations xsi:type="language:RelationDeclaration" name="length attribute Actor">
1172 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1173 <parameters xsi:type="language:RealTypeReference"/>
1174 </relations>
1175 <relations xsi:type="language:RelationDeclaration" name="width attribute Actor">
1176 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1177 <parameters xsi:type="language:RealTypeReference"/>
1178 </relations>
1179 <relations xsi:type="language:RelationDeclaration" name="xSpeed attribute Actor">
1180 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1181 <parameters xsi:type="language:RealTypeReference"/>
1182 </relations>
1183 <relations xsi:type="language:RelationDeclaration" name="ySpeed attribute Actor">
1184 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1185 <parameters xsi:type="language:RealTypeReference"/>
1186 </relations>
1187 <relations xsi:type="language:RelationDeclaration" name="distance attribute SeparationDistance">
1188 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.7"/>
1189 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.14"/>
1190 </relations>
1191 <relations xsi:type="language:RelationDeclaration" name="collisionTime attribute CollisionExists">
1192 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.8"/>
1193 <parameters xsi:type="language:RealTypeReference"/>
1194 </relations>
1195 <relations xsi:type="language:RelationDefinition" name="pattern queries patterThatOnlyWorksWithInt" annotations="//@problemConainer/@annotations.38">
1196 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1197 <variables name="parameter l">
1198 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1199 </variables>
1200 <value xsi:type="language:Or">
1201 <operands xsi:type="language:Exists">
1202 <quantifiedVariables name="variable w">
1203 <range xsi:type="language:RealTypeReference"/>
1204 </quantifiedVariables>
1205 <expression xsi:type="language:And">
1206 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13">
1207 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.23/@variables.0"/>
1208 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.23/@value/@operands.0/@quantifiedVariables.0"/>
1209 </operands>
1210 <operands xsi:type="language:LessOrEqualThan">
1211 <leftOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.23/@value/@operands.0/@quantifiedVariables.0"/>
1212 <rightOperand xsi:type="language:Minus">
1213 <leftOperand xsi:type="language:IntLiteral"/>
1214 <rightOperand xsi:type="language:RealLiteral" value="10.0"/>
1215 </rightOperand>
1216 </operands>
1217 </expression>
1218 </operands>
1219 </value>
1220 </relations>
1221 <relations xsi:type="language:RelationDefinition" name="pattern queries define_numWidth_small1" annotations="//@problemConainer/@annotations.39">
1222 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1223 <variables name="parameter l">
1224 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1225 </variables>
1226 <value xsi:type="language:Or">
1227 <operands xsi:type="language:Exists">
1228 <quantifiedVariables name="variable nw">
1229 <range xsi:type="language:RealTypeReference"/>
1230 </quantifiedVariables>
1231 <quantifiedVariables name="variable virtual1">
1232 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.13"/>
1233 </quantifiedVariables>
1234 <expression xsi:type="language:And">
1235 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14">
1236 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24/@variables.0"/>
1237 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24/@value/@operands.0/@quantifiedVariables.0"/>
1238 </operands>
1239 <operands xsi:type="language:MoreOrEqualThan">
1240 <leftOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24/@value/@operands.0/@quantifiedVariables.0"/>
1241 <rightOperand xsi:type="language:RealLiteral" value="5.0"/>
1242 </operands>
1243 <operands xsi:type="language:Equals">
1244 <leftOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24/@value/@operands.0/@quantifiedVariables.1"/>
1245 <rightOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@elements.2"/>
1246 </operands>
1247 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12">
1248 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24/@variables.0"/>
1249 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24/@value/@operands.0/@quantifiedVariables.1"/>
1250 </operands>
1251 </expression>
1252 </operands>
1253 </value>
1254 </relations>
1255 <relations xsi:type="language:RelationDefinition" name="pattern queries define_numWidth_small2" annotations="//@problemConainer/@annotations.40">
1256 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1257 <variables name="parameter l">
1258 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1259 </variables>
1260 <value xsi:type="language:Or">
1261 <operands xsi:type="language:Exists">
1262 <quantifiedVariables name="variable nw">
1263 <range xsi:type="language:RealTypeReference"/>
1264 </quantifiedVariables>
1265 <expression xsi:type="language:And">
1266 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14">
1267 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.25/@variables.0"/>
1268 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.25/@value/@operands.0/@quantifiedVariables.0"/>
1269 </operands>
1270 <operands xsi:type="language:LessOrEqualThan">
1271 <leftOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.25/@value/@operands.0/@quantifiedVariables.0"/>
1272 <rightOperand xsi:type="language:RealLiteral" value="5.0"/>
1273 </operands>
1274 </expression>
1275 </operands>
1276 </value>
1277 </relations>
1278 <elements name="Vertical literal Orientation" definedInType="//@problemConainer/@types.12"/>
1279 <elements name="Horizontal literal Orientation" definedInType="//@problemConainer/@types.12"/>
1280 <elements name="S_Small literal Size" definedInType="//@problemConainer/@types.13"/>
1281 <elements name="S_Med literal Size" definedInType="//@problemConainer/@types.13"/>
1282 <elements name="S_Large literal Size" definedInType="//@problemConainer/@types.13"/>
1283 <elements name="D_Near literal Distance" definedInType="//@problemConainer/@types.14"/>
1284 <elements name="D_Med literal Distance" definedInType="//@problemConainer/@types.14"/>
1285 <elements name="D_Far literal Distance" definedInType="//@problemConainer/@types.14"/>
1286 <elements name="o 1" definedInType="//@problemConainer/@types.15"/>
1287 <containmentHierarchies typesOrderedInHierarchy="//@problemConainer/@types.9 //@problemConainer/@types.10 //@problemConainer/@types.0 //@problemConainer/@types.5 //@problemConainer/@types.8 //@problemConainer/@types.1 //@problemConainer/@types.7 //@problemConainer/@types.6 //@problemConainer/@types.3 //@problemConainer/@types.4 //@problemConainer/@types.2 //@problemConainer/@types.11 //@problemConainer/@types.15 //@problemConainer/@types.16" containmentRelations="//@problemConainer/@relations.0 //@problemConainer/@relations.1 //@problemConainer/@relations.4"/>
1288 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.0" relation="//@problemConainer/@relations.2" upper="1"/>
1289 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.1" relation="//@problemConainer/@relations.5" lower="1"/>
1290 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.2" relation="//@problemConainer/@relations.5" upper="1"/>
1291 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.3" relation="//@problemConainer/@relations.6" lower="1"/>
1292 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.4" relation="//@problemConainer/@relations.6" upper="1"/>
1293 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.5" relation="//@problemConainer/@relations.7" lower="1"/>
1294 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.6" relation="//@problemConainer/@relations.7" upper="1"/>
1295 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@problemConainer/@assertions.7" inverseA="//@problemConainer/@relations.3" inverseB="//@problemConainer/@relations.5"/>
1296 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.8" relation="//@problemConainer/@relations.8" upper="1"/>
1297 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.9" relation="//@problemConainer/@relations.9" upper="1"/>
1298 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.10" relation="//@problemConainer/@relations.10" upper="1"/>
1299 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.11" relation="//@problemConainer/@relations.11" lower="1"/>
1300 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.12" relation="//@problemConainer/@relations.11" upper="1"/>
1301 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.13" relation="//@problemConainer/@relations.12" lower="1"/>
1302 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.14" relation="//@problemConainer/@relations.12" upper="1"/>
1303 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.15" relation="//@problemConainer/@relations.13" lower="1"/>
1304 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.16" relation="//@problemConainer/@relations.13" upper="1"/>
1305 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.17" relation="//@problemConainer/@relations.14" lower="1"/>
1306 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.18" relation="//@problemConainer/@relations.14" upper="1"/>
1307 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.19" relation="//@problemConainer/@relations.15" lower="1"/>
1308 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.20" relation="//@problemConainer/@relations.15" upper="1"/>
1309 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.21" relation="//@problemConainer/@relations.16" lower="1"/>
1310 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.22" relation="//@problemConainer/@relations.16" upper="1"/>
1311 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.23" relation="//@problemConainer/@relations.17" lower="1"/>
1312 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.24" relation="//@problemConainer/@relations.17" upper="1"/>
1313 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.25" relation="//@problemConainer/@relations.18" lower="1"/>
1314 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.26" relation="//@problemConainer/@relations.18" upper="1"/>
1315 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.27" relation="//@problemConainer/@relations.19" lower="1"/>
1316 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.28" relation="//@problemConainer/@relations.19" upper="1"/>
1317 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.29" relation="//@problemConainer/@relations.20" lower="1"/>
1318 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.30" relation="//@problemConainer/@relations.20" upper="1"/>
1319 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.31" relation="//@problemConainer/@relations.21" lower="1"/>
1320 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.32" relation="//@problemConainer/@relations.21" upper="1"/>
1321 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.33" relation="//@problemConainer/@relations.22" lower="1"/>
1322 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.34" relation="//@problemConainer/@relations.22" upper="1"/>
1323 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@problemConainer/@assertions.35" targetRelation="//@problemConainer/@relations.8"/>
1324 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@problemConainer/@assertions.36" targetRelation="//@problemConainer/@relations.9"/>
1325 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@problemConainer/@assertions.37" targetRelation="//@problemConainer/@relations.10"/>
1326 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.23" patternFullyQualifiedName="queries.patterThatOnlyWorksWithInt">
1327 <variableTrace targetLogicVariable="//@problemConainer/@relations.23/@value/@operands.0/@quantifiedVariables.0"/>
1328 </annotations>
1329 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.24" patternFullyQualifiedName="queries.define_numWidth_small1">
1330 <variableTrace targetLogicVariable="//@problemConainer/@relations.24/@value/@operands.0/@quantifiedVariables.0"/>
1331 <variableTrace targetLogicVariable="//@problemConainer/@relations.24/@value/@operands.0/@quantifiedVariables.1"/>
1332 </annotations>
1333 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.25" patternFullyQualifiedName="queries.define_numWidth_small2">
1334 <variableTrace targetLogicVariable="//@problemConainer/@relations.25/@value/@operands.0/@quantifiedVariables.0"/>
1335 </annotations>
1336 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@problemConainer/@assertions.38" query="//@problemConainer/@annotations.38"/>
1337 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@problemConainer/@assertions.39" query="//@problemConainer/@annotations.39"/>
1338 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@problemConainer/@assertions.40" query="//@problemConainer/@annotations.40"/>
1339 </problemConainer>
1340 <scopes maxNewElements="11" targetTypeInterpretation="//@partialtypeinterpratation.4"/>
1341 <scopes maxNewElements="9" targetTypeInterpretation="//@partialtypeinterpratation.5"/>
1342 <scopes maxNewElements="6" targetTypeInterpretation="//@partialtypeinterpratation.6"/>
1343 <scopes maxNewElements="5" targetTypeInterpretation="//@partialtypeinterpratation.7"/>
1344 <scopes maxNewElements="5" targetTypeInterpretation="//@partialtypeinterpratation.8"/>
1345 <scopes maxNewElements="5" targetTypeInterpretation="//@partialtypeinterpratation.9"/>
1346 <scopes maxNewElements="5" targetTypeInterpretation="//@partialtypeinterpratation.10"/>
1347 <scopes maxNewElements="5" targetTypeInterpretation="//@partialtypeinterpratation.11"/>
1348 <scopes maxNewElements="5" targetTypeInterpretation="//@partialtypeinterpratation.12"/>
1349 <scopes maxNewElements="5" targetTypeInterpretation="//@partialtypeinterpratation.13"/>
1350 <scopes maxNewElements="6" targetTypeInterpretation="//@partialtypeinterpratation.14"/>
1351 <scopes maxNewElements="6" targetTypeInterpretation="//@partialtypeinterpratation.15"/>
1352 <scopes maxNewElements="11" targetTypeInterpretation="//@partialtypeinterpratation.16"/>
1353</partialinterpretation:PartialInterpretation>
generated by cgit v1.2.3-54-g00ecf (git 2.44.0) at 2024-05-01 06:24:33 +0000