aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/debug/generation.logicproblem
diff options
context:
space:
mode:
authorLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-02-15 12:42:15 -0500
committerLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-02-15 12:42:15 -0500
commitf1d9a50a3be2bfabc6091d51e120ca63ac1ab2d4 (patch)
tree90b96d89d5e6f7f4e6c15b06d34851753350e35d /Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/debug/generation.logicproblem
parentFix FAM Test. Begin Grammar Fix. (diff)
downloadVIATRA-Generator-f1d9a50a3be2bfabc6091d51e120ca63ac1ab2d4.tar.gz
VIATRA-Generator-f1d9a50a3be2bfabc6091d51e120ca63ac1ab2d4.tar.zst
VIATRA-Generator-f1d9a50a3be2bfabc6091d51e120ca63ac1ab2d4.zip
Set up #19
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/debug/generation.logicproblem')
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/debug/generation.logicproblem2059
1 files changed, 2059 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/debug/generation.logicproblem b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/debug/generation.logicproblem
new file mode 100644
index 00000000..ab657f0b
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/debug/generation.logicproblem
@@ -0,0 +1,2059 @@
1<?xml version="1.0" encoding="ASCII"?>
2<language:LogicProblem xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/ecore2logicannotation" xmlns:language="http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem" xmlns:language_1="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language" xmlns:partial2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/partial2logicannotation">
3 <types xsi:type="language_1:TypeDeclaration" name="EAttribute class" supertypes="//@types.14"/>
4 <types xsi:type="language_1:TypeDeclaration" name="EAnnotation class" supertypes="//@types.7 //@types.20"/>
5 <types xsi:type="language_1:TypeDeclaration" name="EClass class" supertypes="//@types.3"/>
6 <types xsi:type="language_1:TypeDeclaration" name="EClassifier class" subtypes="//@types.2 //@types.4" supertypes="//@types.8 //@types.22" isAbstract="true"/>
7 <types xsi:type="language_1:TypeDeclaration" name="EDataType class" subtypes="//@types.5" supertypes="//@types.3"/>
8 <types xsi:type="language_1:TypeDeclaration" name="EEnum class" supertypes="//@types.4"/>
9 <types xsi:type="language_1:TypeDeclaration" name="EEnumLiteral class" supertypes="//@types.8 //@types.22"/>
10 <types xsi:type="language_1:TypeDeclaration" name="EModelElement class" subtypes="//@types.1 //@types.8 //@types.19 //@types.20" isAbstract="true"/>
11 <types xsi:type="language_1:TypeDeclaration" name="ENamedElement class" subtypes="//@types.3 //@types.6 //@types.11 //@types.15 //@types.18 //@types.21 //@types.22" supertypes="//@types.7" isAbstract="true"/>
12 <types xsi:type="language_1:TypeDeclaration" name="EObject class"/>
13 <types xsi:type="language_1:TypeDeclaration" name="EOperation class" supertypes="//@types.15"/>
14 <types xsi:type="language_1:TypeDeclaration" name="EPackage class" subtypes="//@types.23 //@types.24" supertypes="//@types.8" isAbstract="true"/>
15 <types xsi:type="language_1:TypeDeclaration" name="EParameter class" supertypes="//@types.15"/>
16 <types xsi:type="language_1:TypeDeclaration" name="EReference class" supertypes="//@types.14"/>
17 <types xsi:type="language_1:TypeDeclaration" name="EStructuralFeature class" subtypes="//@types.0 //@types.13" supertypes="//@types.15" isAbstract="true"/>
18 <types xsi:type="language_1:TypeDeclaration" name="ETypedElement class" subtypes="//@types.10 //@types.12 //@types.14" supertypes="//@types.8 //@types.22" isAbstract="true"/>
19 <types xsi:type="language_1:TypeDeclaration" name="EStringToStringMapEntry class"/>
20 <types xsi:type="language_1:TypeDeclaration" name="EGenericType class"/>
21 <types xsi:type="language_1:TypeDeclaration" name="ETypeParameter class" supertypes="//@types.8 //@types.22"/>
22 <types xsi:type="language_1:TypeDefinition" name="EModelElement class DefinedPart" subtypes="//@types.21" supertypes="//@types.7" isAbstract="true" elements="//@elements.0"/>
23 <types xsi:type="language_1:TypeDeclaration" name="EModelElement class UndefinedPart" subtypes="//@types.1 //@types.22" supertypes="//@types.7" isAbstract="true"/>
24 <types xsi:type="language_1:TypeDefinition" name="ENamedElement class DefinedPart" subtypes="//@types.23" supertypes="//@types.8 //@types.19" isAbstract="true" elements="//@elements.0"/>
25 <types xsi:type="language_1:TypeDeclaration" name="ENamedElement class UndefinedPart" subtypes="//@types.3 //@types.6 //@types.24 //@types.15 //@types.18" supertypes="//@types.8 //@types.20" isAbstract="true"/>
26 <types xsi:type="language_1:TypeDefinition" name="EPackage class DefinedPart" supertypes="//@types.11 //@types.21" elements="//@elements.0"/>
27 <types xsi:type="language_1:TypeDeclaration" name="EPackage class UndefinedPart" supertypes="//@types.11 //@types.22"/>
28 <assertions name="lowerMultiplicity eAttributeType EAttribute" annotations="//@annotations.0">
29 <value xsi:type="language_1:Forall">
30 <quantifiedVariables name="src">
31 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
32 </quantifiedVariables>
33 <expression xsi:type="language_1:Exists">
34 <quantifiedVariables name="trg 1">
35 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
36 </quantifiedVariables>
37 <expression xsi:type="language_1:And">
38 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
39 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/>
40 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@expression/@quantifiedVariables.0"/>
41 </operands>
42 </expression>
43 </expression>
44 </value>
45 </assertions>
46 <assertions name="upperMultiplicity eAttributeType EAttribute" annotations="//@annotations.1">
47 <value xsi:type="language_1:Forall">
48 <quantifiedVariables name="src">
49 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
50 </quantifiedVariables>
51 <quantifiedVariables name="trg 1">
52 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
53 </quantifiedVariables>
54 <quantifiedVariables name="trg 2">
55 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
56 </quantifiedVariables>
57 <expression xsi:type="language_1:Impl">
58 <leftOperand xsi:type="language_1:And">
59 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
60 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/>
61 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.1"/>
62 </operands>
63 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
64 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/>
65 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.2"/>
66 </operands>
67 </leftOperand>
68 <rightOperand xsi:type="language_1:Not">
69 <operand xsi:type="language_1:Distinct">
70 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.1"/>
71 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.2"/>
72 </operand>
73 </rightOperand>
74 </expression>
75 </value>
76 </assertions>
77 <assertions name="upperMultiplicity eModelElement EAnnotation" annotations="//@annotations.2">
78 <value xsi:type="language_1:Forall">
79 <quantifiedVariables name="src">
80 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
81 </quantifiedVariables>
82 <quantifiedVariables name="trg 1">
83 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
84 </quantifiedVariables>
85 <quantifiedVariables name="trg 2">
86 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
87 </quantifiedVariables>
88 <expression xsi:type="language_1:Impl">
89 <leftOperand xsi:type="language_1:And">
90 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
91 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/>
92 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.1"/>
93 </operands>
94 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
95 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/>
96 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.2"/>
97 </operands>
98 </leftOperand>
99 <rightOperand xsi:type="language_1:Not">
100 <operand xsi:type="language_1:Distinct">
101 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.1"/>
102 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.2"/>
103 </operand>
104 </rightOperand>
105 </expression>
106 </value>
107 </assertions>
108 <assertions name="upperMultiplicity eIDAttribute EClass" annotations="//@annotations.3">
109 <value xsi:type="language_1:Forall">
110 <quantifiedVariables name="src">
111 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
112 </quantifiedVariables>
113 <quantifiedVariables name="trg 1">
114 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
115 </quantifiedVariables>
116 <quantifiedVariables name="trg 2">
117 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
118 </quantifiedVariables>
119 <expression xsi:type="language_1:Impl">
120 <leftOperand xsi:type="language_1:And">
121 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15">
122 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
123 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.1"/>
124 </operands>
125 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15">
126 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
127 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.2"/>
128 </operands>
129 </leftOperand>
130 <rightOperand xsi:type="language_1:Not">
131 <operand xsi:type="language_1:Distinct">
132 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.1"/>
133 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.2"/>
134 </operand>
135 </rightOperand>
136 </expression>
137 </value>
138 </assertions>
139 <assertions name="upperMultiplicity ePackage EClassifier" annotations="//@annotations.4">
140 <value xsi:type="language_1:Forall">
141 <quantifiedVariables name="src">
142 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
143 </quantifiedVariables>
144 <quantifiedVariables name="trg 1">
145 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
146 </quantifiedVariables>
147 <quantifiedVariables name="trg 2">
148 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
149 </quantifiedVariables>
150 <expression xsi:type="language_1:Impl">
151 <leftOperand xsi:type="language_1:And">
152 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19">
153 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.0"/>
154 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.1"/>
155 </operands>
156 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19">
157 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.0"/>
158 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.2"/>
159 </operands>
160 </leftOperand>
161 <rightOperand xsi:type="language_1:Not">
162 <operand xsi:type="language_1:Distinct">
163 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.1"/>
164 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.2"/>
165 </operand>
166 </rightOperand>
167 </expression>
168 </value>
169 </assertions>
170 <assertions name="upperMultiplicity eEnum EEnumLiteral" annotations="//@annotations.5">
171 <value xsi:type="language_1:Forall">
172 <quantifiedVariables name="src">
173 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
174 </quantifiedVariables>
175 <quantifiedVariables name="trg 1">
176 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
177 </quantifiedVariables>
178 <quantifiedVariables name="trg 2">
179 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
180 </quantifiedVariables>
181 <expression xsi:type="language_1:Impl">
182 <leftOperand xsi:type="language_1:And">
183 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22">
184 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.0"/>
185 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.1"/>
186 </operands>
187 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22">
188 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.0"/>
189 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.2"/>
190 </operands>
191 </leftOperand>
192 <rightOperand xsi:type="language_1:Not">
193 <operand xsi:type="language_1:Distinct">
194 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.1"/>
195 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.2"/>
196 </operand>
197 </rightOperand>
198 </expression>
199 </value>
200 </assertions>
201 <assertions name="upperMultiplicity eContainingClass EOperation" annotations="//@annotations.6">
202 <value xsi:type="language_1:Forall">
203 <quantifiedVariables name="src">
204 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/>
205 </quantifiedVariables>
206 <quantifiedVariables name="trg 1">
207 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
208 </quantifiedVariables>
209 <quantifiedVariables name="trg 2">
210 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
211 </quantifiedVariables>
212 <expression xsi:type="language_1:Impl">
213 <leftOperand xsi:type="language_1:And">
214 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24">
215 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.0"/>
216 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.1"/>
217 </operands>
218 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24">
219 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.0"/>
220 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.2"/>
221 </operands>
222 </leftOperand>
223 <rightOperand xsi:type="language_1:Not">
224 <operand xsi:type="language_1:Distinct">
225 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.1"/>
226 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.2"/>
227 </operand>
228 </rightOperand>
229 </expression>
230 </value>
231 </assertions>
232 <assertions name="upperMultiplicity eSuperPackage EPackage" annotations="//@annotations.7">
233 <value xsi:type="language_1:Forall">
234 <quantifiedVariables name="src">
235 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
236 </quantifiedVariables>
237 <quantifiedVariables name="trg 1">
238 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
239 </quantifiedVariables>
240 <quantifiedVariables name="trg 2">
241 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
242 </quantifiedVariables>
243 <expression xsi:type="language_1:Impl">
244 <leftOperand xsi:type="language_1:And">
245 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.31">
246 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.0"/>
247 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.1"/>
248 </operands>
249 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.31">
250 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.0"/>
251 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.2"/>
252 </operands>
253 </leftOperand>
254 <rightOperand xsi:type="language_1:Not">
255 <operand xsi:type="language_1:Distinct">
256 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.1"/>
257 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.2"/>
258 </operand>
259 </rightOperand>
260 </expression>
261 </value>
262 </assertions>
263 <assertions name="upperMultiplicity eOperation EParameter" annotations="//@annotations.8">
264 <value xsi:type="language_1:Forall">
265 <quantifiedVariables name="src">
266 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/>
267 </quantifiedVariables>
268 <quantifiedVariables name="trg 1">
269 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/>
270 </quantifiedVariables>
271 <quantifiedVariables name="trg 2">
272 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/>
273 </quantifiedVariables>
274 <expression xsi:type="language_1:Impl">
275 <leftOperand xsi:type="language_1:And">
276 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32">
277 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.0"/>
278 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.1"/>
279 </operands>
280 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32">
281 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.0"/>
282 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.2"/>
283 </operands>
284 </leftOperand>
285 <rightOperand xsi:type="language_1:Not">
286 <operand xsi:type="language_1:Distinct">
287 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.1"/>
288 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.2"/>
289 </operand>
290 </rightOperand>
291 </expression>
292 </value>
293 </assertions>
294 <assertions name="upperMultiplicity eOpposite EReference" annotations="//@annotations.9">
295 <value xsi:type="language_1:Forall">
296 <quantifiedVariables name="src">
297 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
298 </quantifiedVariables>
299 <quantifiedVariables name="trg 1">
300 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
301 </quantifiedVariables>
302 <quantifiedVariables name="trg 2">
303 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
304 </quantifiedVariables>
305 <expression xsi:type="language_1:Impl">
306 <leftOperand xsi:type="language_1:And">
307 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.33">
308 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.0"/>
309 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.1"/>
310 </operands>
311 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.33">
312 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.0"/>
313 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.2"/>
314 </operands>
315 </leftOperand>
316 <rightOperand xsi:type="language_1:Not">
317 <operand xsi:type="language_1:Distinct">
318 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.1"/>
319 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.2"/>
320 </operand>
321 </rightOperand>
322 </expression>
323 </value>
324 </assertions>
325 <assertions name="lowerMultiplicity eReferenceType EReference" annotations="//@annotations.10">
326 <value xsi:type="language_1:Forall">
327 <quantifiedVariables name="src">
328 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
329 </quantifiedVariables>
330 <expression xsi:type="language_1:Exists">
331 <quantifiedVariables name="trg 1">
332 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
333 </quantifiedVariables>
334 <expression xsi:type="language_1:And">
335 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.34">
336 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.0"/>
337 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@expression/@quantifiedVariables.0"/>
338 </operands>
339 </expression>
340 </expression>
341 </value>
342 </assertions>
343 <assertions name="upperMultiplicity eReferenceType EReference" annotations="//@annotations.11">
344 <value xsi:type="language_1:Forall">
345 <quantifiedVariables name="src">
346 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
347 </quantifiedVariables>
348 <quantifiedVariables name="trg 1">
349 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
350 </quantifiedVariables>
351 <quantifiedVariables name="trg 2">
352 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
353 </quantifiedVariables>
354 <expression xsi:type="language_1:Impl">
355 <leftOperand xsi:type="language_1:And">
356 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.34">
357 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.0"/>
358 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.1"/>
359 </operands>
360 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.34">
361 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.0"/>
362 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.2"/>
363 </operands>
364 </leftOperand>
365 <rightOperand xsi:type="language_1:Not">
366 <operand xsi:type="language_1:Distinct">
367 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.1"/>
368 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.2"/>
369 </operand>
370 </rightOperand>
371 </expression>
372 </value>
373 </assertions>
374 <assertions name="upperMultiplicity eContainingClass EStructuralFeature" annotations="//@annotations.12">
375 <value xsi:type="language_1:Forall">
376 <quantifiedVariables name="src">
377 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
378 </quantifiedVariables>
379 <quantifiedVariables name="trg 1">
380 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
381 </quantifiedVariables>
382 <quantifiedVariables name="trg 2">
383 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
384 </quantifiedVariables>
385 <expression xsi:type="language_1:Impl">
386 <leftOperand xsi:type="language_1:And">
387 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.36">
388 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.0"/>
389 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.1"/>
390 </operands>
391 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.36">
392 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.0"/>
393 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.2"/>
394 </operands>
395 </leftOperand>
396 <rightOperand xsi:type="language_1:Not">
397 <operand xsi:type="language_1:Distinct">
398 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.1"/>
399 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.2"/>
400 </operand>
401 </rightOperand>
402 </expression>
403 </value>
404 </assertions>
405 <assertions name="upperMultiplicity eType ETypedElement" annotations="//@annotations.13">
406 <value xsi:type="language_1:Forall">
407 <quantifiedVariables name="src">
408 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
409 </quantifiedVariables>
410 <quantifiedVariables name="trg 1">
411 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
412 </quantifiedVariables>
413 <quantifiedVariables name="trg 2">
414 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
415 </quantifiedVariables>
416 <expression xsi:type="language_1:Impl">
417 <leftOperand xsi:type="language_1:And">
418 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.37">
419 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.0"/>
420 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.1"/>
421 </operands>
422 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.37">
423 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.0"/>
424 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.2"/>
425 </operands>
426 </leftOperand>
427 <rightOperand xsi:type="language_1:Not">
428 <operand xsi:type="language_1:Distinct">
429 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.1"/>
430 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.2"/>
431 </operand>
432 </rightOperand>
433 </expression>
434 </value>
435 </assertions>
436 <assertions name="upperMultiplicity eGenericType ETypedElement" annotations="//@annotations.14">
437 <value xsi:type="language_1:Forall">
438 <quantifiedVariables name="src">
439 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
440 </quantifiedVariables>
441 <quantifiedVariables name="trg 1">
442 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/>
443 </quantifiedVariables>
444 <quantifiedVariables name="trg 2">
445 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/>
446 </quantifiedVariables>
447 <expression xsi:type="language_1:Impl">
448 <leftOperand xsi:type="language_1:And">
449 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.38">
450 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.0"/>
451 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.1"/>
452 </operands>
453 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.38">
454 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.0"/>
455 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.2"/>
456 </operands>
457 </leftOperand>
458 <rightOperand xsi:type="language_1:Not">
459 <operand xsi:type="language_1:Distinct">
460 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.1"/>
461 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.2"/>
462 </operand>
463 </rightOperand>
464 </expression>
465 </value>
466 </assertions>
467 <assertions name="upperMultiplicity eUpperBound EGenericType" annotations="//@annotations.15">
468 <value xsi:type="language_1:Forall">
469 <quantifiedVariables name="src">
470 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/>
471 </quantifiedVariables>
472 <quantifiedVariables name="trg 1">
473 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/>
474 </quantifiedVariables>
475 <quantifiedVariables name="trg 2">
476 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/>
477 </quantifiedVariables>
478 <expression xsi:type="language_1:Impl">
479 <leftOperand xsi:type="language_1:And">
480 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.39">
481 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.0"/>
482 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.1"/>
483 </operands>
484 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.39">
485 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.0"/>
486 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.2"/>
487 </operands>
488 </leftOperand>
489 <rightOperand xsi:type="language_1:Not">
490 <operand xsi:type="language_1:Distinct">
491 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.1"/>
492 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.2"/>
493 </operand>
494 </rightOperand>
495 </expression>
496 </value>
497 </assertions>
498 <assertions name="lowerMultiplicity eRawType EGenericType" annotations="//@annotations.16">
499 <value xsi:type="language_1:Forall">
500 <quantifiedVariables name="src">
501 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/>
502 </quantifiedVariables>
503 <expression xsi:type="language_1:Exists">
504 <quantifiedVariables name="trg 1">
505 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
506 </quantifiedVariables>
507 <expression xsi:type="language_1:And">
508 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.41">
509 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@quantifiedVariables.0"/>
510 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@expression/@quantifiedVariables.0"/>
511 </operands>
512 </expression>
513 </expression>
514 </value>
515 </assertions>
516 <assertions name="upperMultiplicity eRawType EGenericType" annotations="//@annotations.17">
517 <value xsi:type="language_1:Forall">
518 <quantifiedVariables name="src">
519 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/>
520 </quantifiedVariables>
521 <quantifiedVariables name="trg 1">
522 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
523 </quantifiedVariables>
524 <quantifiedVariables name="trg 2">
525 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
526 </quantifiedVariables>
527 <expression xsi:type="language_1:Impl">
528 <leftOperand xsi:type="language_1:And">
529 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.41">
530 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.0"/>
531 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.1"/>
532 </operands>
533 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.41">
534 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.0"/>
535 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.2"/>
536 </operands>
537 </leftOperand>
538 <rightOperand xsi:type="language_1:Not">
539 <operand xsi:type="language_1:Distinct">
540 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.1"/>
541 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.2"/>
542 </operand>
543 </rightOperand>
544 </expression>
545 </value>
546 </assertions>
547 <assertions name="upperMultiplicity eLowerBound EGenericType" annotations="//@annotations.18">
548 <value xsi:type="language_1:Forall">
549 <quantifiedVariables name="src">
550 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/>
551 </quantifiedVariables>
552 <quantifiedVariables name="trg 1">
553 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/>
554 </quantifiedVariables>
555 <quantifiedVariables name="trg 2">
556 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/>
557 </quantifiedVariables>
558 <expression xsi:type="language_1:Impl">
559 <leftOperand xsi:type="language_1:And">
560 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.42">
561 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.0"/>
562 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.1"/>
563 </operands>
564 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.42">
565 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.0"/>
566 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.2"/>
567 </operands>
568 </leftOperand>
569 <rightOperand xsi:type="language_1:Not">
570 <operand xsi:type="language_1:Distinct">
571 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.1"/>
572 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.2"/>
573 </operand>
574 </rightOperand>
575 </expression>
576 </value>
577 </assertions>
578 <assertions name="upperMultiplicity eTypeParameter EGenericType" annotations="//@annotations.19">
579 <value xsi:type="language_1:Forall">
580 <quantifiedVariables name="src">
581 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/>
582 </quantifiedVariables>
583 <quantifiedVariables name="trg 1">
584 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.18"/>
585 </quantifiedVariables>
586 <quantifiedVariables name="trg 2">
587 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.18"/>
588 </quantifiedVariables>
589 <expression xsi:type="language_1:Impl">
590 <leftOperand xsi:type="language_1:And">
591 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.43">
592 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.19/@value/@quantifiedVariables.0"/>
593 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.19/@value/@quantifiedVariables.1"/>
594 </operands>
595 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.43">
596 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.19/@value/@quantifiedVariables.0"/>
597 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.19/@value/@quantifiedVariables.2"/>
598 </operands>
599 </leftOperand>
600 <rightOperand xsi:type="language_1:Not">
601 <operand xsi:type="language_1:Distinct">
602 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.19/@value/@quantifiedVariables.1"/>
603 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.19/@value/@quantifiedVariables.2"/>
604 </operand>
605 </rightOperand>
606 </expression>
607 </value>
608 </assertions>
609 <assertions name="upperMultiplicity eClassifier EGenericType" annotations="//@annotations.20">
610 <value xsi:type="language_1:Forall">
611 <quantifiedVariables name="src">
612 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/>
613 </quantifiedVariables>
614 <quantifiedVariables name="trg 1">
615 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
616 </quantifiedVariables>
617 <quantifiedVariables name="trg 2">
618 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
619 </quantifiedVariables>
620 <expression xsi:type="language_1:Impl">
621 <leftOperand xsi:type="language_1:And">
622 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.44">
623 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.20/@value/@quantifiedVariables.0"/>
624 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.20/@value/@quantifiedVariables.1"/>
625 </operands>
626 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.44">
627 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.20/@value/@quantifiedVariables.0"/>
628 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.20/@value/@quantifiedVariables.2"/>
629 </operands>
630 </leftOperand>
631 <rightOperand xsi:type="language_1:Not">
632 <operand xsi:type="language_1:Distinct">
633 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.20/@value/@quantifiedVariables.1"/>
634 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.20/@value/@quantifiedVariables.2"/>
635 </operand>
636 </rightOperand>
637 </expression>
638 </value>
639 </assertions>
640 <assertions name="oppositeReference eModelElement EAnnotation" annotations="//@annotations.21">
641 <value xsi:type="language_1:Forall">
642 <quantifiedVariables name="src">
643 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
644 </quantifiedVariables>
645 <quantifiedVariables name="trg">
646 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
647 </quantifiedVariables>
648 <expression xsi:type="language_1:Iff">
649 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
650 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.21/@value/@quantifiedVariables.0"/>
651 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.21/@value/@quantifiedVariables.1"/>
652 </leftOperand>
653 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23">
654 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.21/@value/@quantifiedVariables.1"/>
655 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.21/@value/@quantifiedVariables.0"/>
656 </rightOperand>
657 </expression>
658 </value>
659 </assertions>
660 <assertions name="oppositeReference eOperations EClass" annotations="//@annotations.22">
661 <value xsi:type="language_1:Forall">
662 <quantifiedVariables name="src">
663 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
664 </quantifiedVariables>
665 <quantifiedVariables name="trg">
666 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/>
667 </quantifiedVariables>
668 <expression xsi:type="language_1:Iff">
669 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
670 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.22/@value/@quantifiedVariables.0"/>
671 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.22/@value/@quantifiedVariables.1"/>
672 </leftOperand>
673 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24">
674 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.22/@value/@quantifiedVariables.1"/>
675 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.22/@value/@quantifiedVariables.0"/>
676 </rightOperand>
677 </expression>
678 </value>
679 </assertions>
680 <assertions name="oppositeReference eStructuralFeatures EClass" annotations="//@annotations.23">
681 <value xsi:type="language_1:Forall">
682 <quantifiedVariables name="src">
683 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
684 </quantifiedVariables>
685 <quantifiedVariables name="trg">
686 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
687 </quantifiedVariables>
688 <expression xsi:type="language_1:Iff">
689 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16">
690 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.23/@value/@quantifiedVariables.0"/>
691 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.23/@value/@quantifiedVariables.1"/>
692 </leftOperand>
693 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.36">
694 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.23/@value/@quantifiedVariables.1"/>
695 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.23/@value/@quantifiedVariables.0"/>
696 </rightOperand>
697 </expression>
698 </value>
699 </assertions>
700 <assertions name="oppositeReference ePackage EClassifier" annotations="//@annotations.24">
701 <value xsi:type="language_1:Forall">
702 <quantifiedVariables name="src">
703 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
704 </quantifiedVariables>
705 <quantifiedVariables name="trg">
706 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
707 </quantifiedVariables>
708 <expression xsi:type="language_1:Iff">
709 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19">
710 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.24/@value/@quantifiedVariables.0"/>
711 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.24/@value/@quantifiedVariables.1"/>
712 </leftOperand>
713 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29">
714 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.24/@value/@quantifiedVariables.1"/>
715 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.24/@value/@quantifiedVariables.0"/>
716 </rightOperand>
717 </expression>
718 </value>
719 </assertions>
720 <assertions name="oppositeReference eLiterals EEnum" annotations="//@annotations.25">
721 <value xsi:type="language_1:Forall">
722 <quantifiedVariables name="src">
723 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
724 </quantifiedVariables>
725 <quantifiedVariables name="trg">
726 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
727 </quantifiedVariables>
728 <expression xsi:type="language_1:Iff">
729 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21">
730 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.25/@value/@quantifiedVariables.0"/>
731 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.25/@value/@quantifiedVariables.1"/>
732 </leftOperand>
733 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22">
734 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.25/@value/@quantifiedVariables.1"/>
735 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.25/@value/@quantifiedVariables.0"/>
736 </rightOperand>
737 </expression>
738 </value>
739 </assertions>
740 <assertions name="oppositeReference eParameters EOperation" annotations="//@annotations.26">
741 <value xsi:type="language_1:Forall">
742 <quantifiedVariables name="src">
743 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/>
744 </quantifiedVariables>
745 <quantifiedVariables name="trg">
746 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/>
747 </quantifiedVariables>
748 <expression xsi:type="language_1:Iff">
749 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26">
750 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.26/@value/@quantifiedVariables.0"/>
751 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.26/@value/@quantifiedVariables.1"/>
752 </leftOperand>
753 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32">
754 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.26/@value/@quantifiedVariables.1"/>
755 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.26/@value/@quantifiedVariables.0"/>
756 </rightOperand>
757 </expression>
758 </value>
759 </assertions>
760 <assertions name="oppositeReference eSubpackages EPackage" annotations="//@annotations.27">
761 <value xsi:type="language_1:Forall">
762 <quantifiedVariables name="src">
763 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
764 </quantifiedVariables>
765 <quantifiedVariables name="trg">
766 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
767 </quantifiedVariables>
768 <expression xsi:type="language_1:Iff">
769 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.30">
770 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.27/@value/@quantifiedVariables.0"/>
771 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.27/@value/@quantifiedVariables.1"/>
772 </leftOperand>
773 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.31">
774 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.27/@value/@quantifiedVariables.1"/>
775 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.27/@value/@quantifiedVariables.0"/>
776 </rightOperand>
777 </expression>
778 </value>
779 </assertions>
780 <assertions name="upperMultiplicity iD EAttribute" annotations="//@annotations.28">
781 <value xsi:type="language_1:Forall">
782 <quantifiedVariables name="src">
783 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
784 </quantifiedVariables>
785 <quantifiedVariables name="trg 1">
786 <range xsi:type="language_1:BoolTypeReference"/>
787 </quantifiedVariables>
788 <quantifiedVariables name="trg 2">
789 <range xsi:type="language_1:BoolTypeReference"/>
790 </quantifiedVariables>
791 <expression xsi:type="language_1:Impl">
792 <leftOperand xsi:type="language_1:And">
793 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.46">
794 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.28/@value/@quantifiedVariables.0"/>
795 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.28/@value/@quantifiedVariables.1"/>
796 </operands>
797 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.46">
798 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.28/@value/@quantifiedVariables.0"/>
799 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.28/@value/@quantifiedVariables.2"/>
800 </operands>
801 </leftOperand>
802 <rightOperand xsi:type="language_1:Not">
803 <operand xsi:type="language_1:Distinct">
804 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.28/@value/@quantifiedVariables.1"/>
805 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.28/@value/@quantifiedVariables.2"/>
806 </operand>
807 </rightOperand>
808 </expression>
809 </value>
810 </assertions>
811 <assertions name="upperMultiplicity source EAnnotation" annotations="//@annotations.29">
812 <value xsi:type="language_1:Forall">
813 <quantifiedVariables name="src">
814 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
815 </quantifiedVariables>
816 <quantifiedVariables name="trg 1">
817 <range xsi:type="language_1:StringTypeReference"/>
818 </quantifiedVariables>
819 <quantifiedVariables name="trg 2">
820 <range xsi:type="language_1:StringTypeReference"/>
821 </quantifiedVariables>
822 <expression xsi:type="language_1:Impl">
823 <leftOperand xsi:type="language_1:And">
824 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.47">
825 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.29/@value/@quantifiedVariables.0"/>
826 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.29/@value/@quantifiedVariables.1"/>
827 </operands>
828 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.47">
829 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.29/@value/@quantifiedVariables.0"/>
830 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.29/@value/@quantifiedVariables.2"/>
831 </operands>
832 </leftOperand>
833 <rightOperand xsi:type="language_1:Not">
834 <operand xsi:type="language_1:Distinct">
835 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.29/@value/@quantifiedVariables.1"/>
836 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.29/@value/@quantifiedVariables.2"/>
837 </operand>
838 </rightOperand>
839 </expression>
840 </value>
841 </assertions>
842 <assertions name="upperMultiplicity abstract EClass" annotations="//@annotations.30">
843 <value xsi:type="language_1:Forall">
844 <quantifiedVariables name="src">
845 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
846 </quantifiedVariables>
847 <quantifiedVariables name="trg 1">
848 <range xsi:type="language_1:BoolTypeReference"/>
849 </quantifiedVariables>
850 <quantifiedVariables name="trg 2">
851 <range xsi:type="language_1:BoolTypeReference"/>
852 </quantifiedVariables>
853 <expression xsi:type="language_1:Impl">
854 <leftOperand xsi:type="language_1:And">
855 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.48">
856 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.30/@value/@quantifiedVariables.0"/>
857 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.30/@value/@quantifiedVariables.1"/>
858 </operands>
859 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.48">
860 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.30/@value/@quantifiedVariables.0"/>
861 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.30/@value/@quantifiedVariables.2"/>
862 </operands>
863 </leftOperand>
864 <rightOperand xsi:type="language_1:Not">
865 <operand xsi:type="language_1:Distinct">
866 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.30/@value/@quantifiedVariables.1"/>
867 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.30/@value/@quantifiedVariables.2"/>
868 </operand>
869 </rightOperand>
870 </expression>
871 </value>
872 </assertions>
873 <assertions name="upperMultiplicity interface EClass" annotations="//@annotations.31">
874 <value xsi:type="language_1:Forall">
875 <quantifiedVariables name="src">
876 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
877 </quantifiedVariables>
878 <quantifiedVariables name="trg 1">
879 <range xsi:type="language_1:BoolTypeReference"/>
880 </quantifiedVariables>
881 <quantifiedVariables name="trg 2">
882 <range xsi:type="language_1:BoolTypeReference"/>
883 </quantifiedVariables>
884 <expression xsi:type="language_1:Impl">
885 <leftOperand xsi:type="language_1:And">
886 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.49">
887 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.31/@value/@quantifiedVariables.0"/>
888 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.31/@value/@quantifiedVariables.1"/>
889 </operands>
890 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.49">
891 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.31/@value/@quantifiedVariables.0"/>
892 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.31/@value/@quantifiedVariables.2"/>
893 </operands>
894 </leftOperand>
895 <rightOperand xsi:type="language_1:Not">
896 <operand xsi:type="language_1:Distinct">
897 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.31/@value/@quantifiedVariables.1"/>
898 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.31/@value/@quantifiedVariables.2"/>
899 </operand>
900 </rightOperand>
901 </expression>
902 </value>
903 </assertions>
904 <assertions name="upperMultiplicity instanceClassName EClassifier" annotations="//@annotations.32">
905 <value xsi:type="language_1:Forall">
906 <quantifiedVariables name="src">
907 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
908 </quantifiedVariables>
909 <quantifiedVariables name="trg 1">
910 <range xsi:type="language_1:StringTypeReference"/>
911 </quantifiedVariables>
912 <quantifiedVariables name="trg 2">
913 <range xsi:type="language_1:StringTypeReference"/>
914 </quantifiedVariables>
915 <expression xsi:type="language_1:Impl">
916 <leftOperand xsi:type="language_1:And">
917 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.50">
918 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.32/@value/@quantifiedVariables.0"/>
919 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.32/@value/@quantifiedVariables.1"/>
920 </operands>
921 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.50">
922 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.32/@value/@quantifiedVariables.0"/>
923 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.32/@value/@quantifiedVariables.2"/>
924 </operands>
925 </leftOperand>
926 <rightOperand xsi:type="language_1:Not">
927 <operand xsi:type="language_1:Distinct">
928 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.32/@value/@quantifiedVariables.1"/>
929 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.32/@value/@quantifiedVariables.2"/>
930 </operand>
931 </rightOperand>
932 </expression>
933 </value>
934 </assertions>
935 <assertions name="upperMultiplicity instanceTypeName EClassifier" annotations="//@annotations.33">
936 <value xsi:type="language_1:Forall">
937 <quantifiedVariables name="src">
938 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
939 </quantifiedVariables>
940 <quantifiedVariables name="trg 1">
941 <range xsi:type="language_1:StringTypeReference"/>
942 </quantifiedVariables>
943 <quantifiedVariables name="trg 2">
944 <range xsi:type="language_1:StringTypeReference"/>
945 </quantifiedVariables>
946 <expression xsi:type="language_1:Impl">
947 <leftOperand xsi:type="language_1:And">
948 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.51">
949 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.33/@value/@quantifiedVariables.0"/>
950 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.33/@value/@quantifiedVariables.1"/>
951 </operands>
952 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.51">
953 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.33/@value/@quantifiedVariables.0"/>
954 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.33/@value/@quantifiedVariables.2"/>
955 </operands>
956 </leftOperand>
957 <rightOperand xsi:type="language_1:Not">
958 <operand xsi:type="language_1:Distinct">
959 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.33/@value/@quantifiedVariables.1"/>
960 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.33/@value/@quantifiedVariables.2"/>
961 </operand>
962 </rightOperand>
963 </expression>
964 </value>
965 </assertions>
966 <assertions name="upperMultiplicity serializable EDataType" annotations="//@annotations.34">
967 <value xsi:type="language_1:Forall">
968 <quantifiedVariables name="src">
969 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
970 </quantifiedVariables>
971 <quantifiedVariables name="trg 1">
972 <range xsi:type="language_1:BoolTypeReference"/>
973 </quantifiedVariables>
974 <quantifiedVariables name="trg 2">
975 <range xsi:type="language_1:BoolTypeReference"/>
976 </quantifiedVariables>
977 <expression xsi:type="language_1:Impl">
978 <leftOperand xsi:type="language_1:And">
979 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.52">
980 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.34/@value/@quantifiedVariables.0"/>
981 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.34/@value/@quantifiedVariables.1"/>
982 </operands>
983 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.52">
984 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.34/@value/@quantifiedVariables.0"/>
985 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.34/@value/@quantifiedVariables.2"/>
986 </operands>
987 </leftOperand>
988 <rightOperand xsi:type="language_1:Not">
989 <operand xsi:type="language_1:Distinct">
990 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.34/@value/@quantifiedVariables.1"/>
991 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.34/@value/@quantifiedVariables.2"/>
992 </operand>
993 </rightOperand>
994 </expression>
995 </value>
996 </assertions>
997 <assertions name="upperMultiplicity value EEnumLiteral" annotations="//@annotations.35">
998 <value xsi:type="language_1:Forall">
999 <quantifiedVariables name="src">
1000 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
1001 </quantifiedVariables>
1002 <quantifiedVariables name="trg 1">
1003 <range xsi:type="language_1:IntTypeReference"/>
1004 </quantifiedVariables>
1005 <quantifiedVariables name="trg 2">
1006 <range xsi:type="language_1:IntTypeReference"/>
1007 </quantifiedVariables>
1008 <expression xsi:type="language_1:Impl">
1009 <leftOperand xsi:type="language_1:And">
1010 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.53">
1011 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.35/@value/@quantifiedVariables.0"/>
1012 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.35/@value/@quantifiedVariables.1"/>
1013 </operands>
1014 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.53">
1015 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.35/@value/@quantifiedVariables.0"/>
1016 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.35/@value/@quantifiedVariables.2"/>
1017 </operands>
1018 </leftOperand>
1019 <rightOperand xsi:type="language_1:Not">
1020 <operand xsi:type="language_1:Distinct">
1021 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.35/@value/@quantifiedVariables.1"/>
1022 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.35/@value/@quantifiedVariables.2"/>
1023 </operand>
1024 </rightOperand>
1025 </expression>
1026 </value>
1027 </assertions>
1028 <assertions name="upperMultiplicity literal EEnumLiteral" annotations="//@annotations.36">
1029 <value xsi:type="language_1:Forall">
1030 <quantifiedVariables name="src">
1031 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
1032 </quantifiedVariables>
1033 <quantifiedVariables name="trg 1">
1034 <range xsi:type="language_1:StringTypeReference"/>
1035 </quantifiedVariables>
1036 <quantifiedVariables name="trg 2">
1037 <range xsi:type="language_1:StringTypeReference"/>
1038 </quantifiedVariables>
1039 <expression xsi:type="language_1:Impl">
1040 <leftOperand xsi:type="language_1:And">
1041 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.54">
1042 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.36/@value/@quantifiedVariables.0"/>
1043 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.36/@value/@quantifiedVariables.1"/>
1044 </operands>
1045 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.54">
1046 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.36/@value/@quantifiedVariables.0"/>
1047 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.36/@value/@quantifiedVariables.2"/>
1048 </operands>
1049 </leftOperand>
1050 <rightOperand xsi:type="language_1:Not">
1051 <operand xsi:type="language_1:Distinct">
1052 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.36/@value/@quantifiedVariables.1"/>
1053 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.36/@value/@quantifiedVariables.2"/>
1054 </operand>
1055 </rightOperand>
1056 </expression>
1057 </value>
1058 </assertions>
1059 <assertions name="upperMultiplicity name ENamedElement" annotations="//@annotations.37">
1060 <value xsi:type="language_1:Forall">
1061 <quantifiedVariables name="src">
1062 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1063 </quantifiedVariables>
1064 <quantifiedVariables name="trg 1">
1065 <range xsi:type="language_1:StringTypeReference"/>
1066 </quantifiedVariables>
1067 <quantifiedVariables name="trg 2">
1068 <range xsi:type="language_1:StringTypeReference"/>
1069 </quantifiedVariables>
1070 <expression xsi:type="language_1:Impl">
1071 <leftOperand xsi:type="language_1:And">
1072 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.55">
1073 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.37/@value/@quantifiedVariables.0"/>
1074 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.37/@value/@quantifiedVariables.1"/>
1075 </operands>
1076 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.55">
1077 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.37/@value/@quantifiedVariables.0"/>
1078 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.37/@value/@quantifiedVariables.2"/>
1079 </operands>
1080 </leftOperand>
1081 <rightOperand xsi:type="language_1:Not">
1082 <operand xsi:type="language_1:Distinct">
1083 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.37/@value/@quantifiedVariables.1"/>
1084 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.37/@value/@quantifiedVariables.2"/>
1085 </operand>
1086 </rightOperand>
1087 </expression>
1088 </value>
1089 </assertions>
1090 <assertions name="upperMultiplicity nsURI EPackage" annotations="//@annotations.38">
1091 <value xsi:type="language_1:Forall">
1092 <quantifiedVariables name="src">
1093 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
1094 </quantifiedVariables>
1095 <quantifiedVariables name="trg 1">
1096 <range xsi:type="language_1:StringTypeReference"/>
1097 </quantifiedVariables>
1098 <quantifiedVariables name="trg 2">
1099 <range xsi:type="language_1:StringTypeReference"/>
1100 </quantifiedVariables>
1101 <expression xsi:type="language_1:Impl">
1102 <leftOperand xsi:type="language_1:And">
1103 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.56">
1104 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.38/@value/@quantifiedVariables.0"/>
1105 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.38/@value/@quantifiedVariables.1"/>
1106 </operands>
1107 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.56">
1108 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.38/@value/@quantifiedVariables.0"/>
1109 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.38/@value/@quantifiedVariables.2"/>
1110 </operands>
1111 </leftOperand>
1112 <rightOperand xsi:type="language_1:Not">
1113 <operand xsi:type="language_1:Distinct">
1114 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.38/@value/@quantifiedVariables.1"/>
1115 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.38/@value/@quantifiedVariables.2"/>
1116 </operand>
1117 </rightOperand>
1118 </expression>
1119 </value>
1120 </assertions>
1121 <assertions name="upperMultiplicity nsPrefix EPackage" annotations="//@annotations.39">
1122 <value xsi:type="language_1:Forall">
1123 <quantifiedVariables name="src">
1124 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
1125 </quantifiedVariables>
1126 <quantifiedVariables name="trg 1">
1127 <range xsi:type="language_1:StringTypeReference"/>
1128 </quantifiedVariables>
1129 <quantifiedVariables name="trg 2">
1130 <range xsi:type="language_1:StringTypeReference"/>
1131 </quantifiedVariables>
1132 <expression xsi:type="language_1:Impl">
1133 <leftOperand xsi:type="language_1:And">
1134 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.57">
1135 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.39/@value/@quantifiedVariables.0"/>
1136 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.39/@value/@quantifiedVariables.1"/>
1137 </operands>
1138 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.57">
1139 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.39/@value/@quantifiedVariables.0"/>
1140 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.39/@value/@quantifiedVariables.2"/>
1141 </operands>
1142 </leftOperand>
1143 <rightOperand xsi:type="language_1:Not">
1144 <operand xsi:type="language_1:Distinct">
1145 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.39/@value/@quantifiedVariables.1"/>
1146 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.39/@value/@quantifiedVariables.2"/>
1147 </operand>
1148 </rightOperand>
1149 </expression>
1150 </value>
1151 </assertions>
1152 <assertions name="upperMultiplicity containment EReference" annotations="//@annotations.40">
1153 <value xsi:type="language_1:Forall">
1154 <quantifiedVariables name="src">
1155 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1156 </quantifiedVariables>
1157 <quantifiedVariables name="trg 1">
1158 <range xsi:type="language_1:BoolTypeReference"/>
1159 </quantifiedVariables>
1160 <quantifiedVariables name="trg 2">
1161 <range xsi:type="language_1:BoolTypeReference"/>
1162 </quantifiedVariables>
1163 <expression xsi:type="language_1:Impl">
1164 <leftOperand xsi:type="language_1:And">
1165 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.58">
1166 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.40/@value/@quantifiedVariables.0"/>
1167 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.40/@value/@quantifiedVariables.1"/>
1168 </operands>
1169 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.58">
1170 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.40/@value/@quantifiedVariables.0"/>
1171 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.40/@value/@quantifiedVariables.2"/>
1172 </operands>
1173 </leftOperand>
1174 <rightOperand xsi:type="language_1:Not">
1175 <operand xsi:type="language_1:Distinct">
1176 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.40/@value/@quantifiedVariables.1"/>
1177 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.40/@value/@quantifiedVariables.2"/>
1178 </operand>
1179 </rightOperand>
1180 </expression>
1181 </value>
1182 </assertions>
1183 <assertions name="upperMultiplicity container EReference" annotations="//@annotations.41">
1184 <value xsi:type="language_1:Forall">
1185 <quantifiedVariables name="src">
1186 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1187 </quantifiedVariables>
1188 <quantifiedVariables name="trg 1">
1189 <range xsi:type="language_1:BoolTypeReference"/>
1190 </quantifiedVariables>
1191 <quantifiedVariables name="trg 2">
1192 <range xsi:type="language_1:BoolTypeReference"/>
1193 </quantifiedVariables>
1194 <expression xsi:type="language_1:Impl">
1195 <leftOperand xsi:type="language_1:And">
1196 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.59">
1197 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.41/@value/@quantifiedVariables.0"/>
1198 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.41/@value/@quantifiedVariables.1"/>
1199 </operands>
1200 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.59">
1201 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.41/@value/@quantifiedVariables.0"/>
1202 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.41/@value/@quantifiedVariables.2"/>
1203 </operands>
1204 </leftOperand>
1205 <rightOperand xsi:type="language_1:Not">
1206 <operand xsi:type="language_1:Distinct">
1207 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.41/@value/@quantifiedVariables.1"/>
1208 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.41/@value/@quantifiedVariables.2"/>
1209 </operand>
1210 </rightOperand>
1211 </expression>
1212 </value>
1213 </assertions>
1214 <assertions name="upperMultiplicity resolveProxies EReference" annotations="//@annotations.42">
1215 <value xsi:type="language_1:Forall">
1216 <quantifiedVariables name="src">
1217 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1218 </quantifiedVariables>
1219 <quantifiedVariables name="trg 1">
1220 <range xsi:type="language_1:BoolTypeReference"/>
1221 </quantifiedVariables>
1222 <quantifiedVariables name="trg 2">
1223 <range xsi:type="language_1:BoolTypeReference"/>
1224 </quantifiedVariables>
1225 <expression xsi:type="language_1:Impl">
1226 <leftOperand xsi:type="language_1:And">
1227 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.60">
1228 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.42/@value/@quantifiedVariables.0"/>
1229 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.42/@value/@quantifiedVariables.1"/>
1230 </operands>
1231 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.60">
1232 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.42/@value/@quantifiedVariables.0"/>
1233 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.42/@value/@quantifiedVariables.2"/>
1234 </operands>
1235 </leftOperand>
1236 <rightOperand xsi:type="language_1:Not">
1237 <operand xsi:type="language_1:Distinct">
1238 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.42/@value/@quantifiedVariables.1"/>
1239 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.42/@value/@quantifiedVariables.2"/>
1240 </operand>
1241 </rightOperand>
1242 </expression>
1243 </value>
1244 </assertions>
1245 <assertions name="upperMultiplicity changeable EStructuralFeature" annotations="//@annotations.43">
1246 <value xsi:type="language_1:Forall">
1247 <quantifiedVariables name="src">
1248 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1249 </quantifiedVariables>
1250 <quantifiedVariables name="trg 1">
1251 <range xsi:type="language_1:BoolTypeReference"/>
1252 </quantifiedVariables>
1253 <quantifiedVariables name="trg 2">
1254 <range xsi:type="language_1:BoolTypeReference"/>
1255 </quantifiedVariables>
1256 <expression xsi:type="language_1:Impl">
1257 <leftOperand xsi:type="language_1:And">
1258 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.61">
1259 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.43/@value/@quantifiedVariables.0"/>
1260 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.43/@value/@quantifiedVariables.1"/>
1261 </operands>
1262 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.61">
1263 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.43/@value/@quantifiedVariables.0"/>
1264 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.43/@value/@quantifiedVariables.2"/>
1265 </operands>
1266 </leftOperand>
1267 <rightOperand xsi:type="language_1:Not">
1268 <operand xsi:type="language_1:Distinct">
1269 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.43/@value/@quantifiedVariables.1"/>
1270 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.43/@value/@quantifiedVariables.2"/>
1271 </operand>
1272 </rightOperand>
1273 </expression>
1274 </value>
1275 </assertions>
1276 <assertions name="upperMultiplicity volatile EStructuralFeature" annotations="//@annotations.44">
1277 <value xsi:type="language_1:Forall">
1278 <quantifiedVariables name="src">
1279 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1280 </quantifiedVariables>
1281 <quantifiedVariables name="trg 1">
1282 <range xsi:type="language_1:BoolTypeReference"/>
1283 </quantifiedVariables>
1284 <quantifiedVariables name="trg 2">
1285 <range xsi:type="language_1:BoolTypeReference"/>
1286 </quantifiedVariables>
1287 <expression xsi:type="language_1:Impl">
1288 <leftOperand xsi:type="language_1:And">
1289 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.62">
1290 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.44/@value/@quantifiedVariables.0"/>
1291 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.44/@value/@quantifiedVariables.1"/>
1292 </operands>
1293 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.62">
1294 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.44/@value/@quantifiedVariables.0"/>
1295 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.44/@value/@quantifiedVariables.2"/>
1296 </operands>
1297 </leftOperand>
1298 <rightOperand xsi:type="language_1:Not">
1299 <operand xsi:type="language_1:Distinct">
1300 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.44/@value/@quantifiedVariables.1"/>
1301 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.44/@value/@quantifiedVariables.2"/>
1302 </operand>
1303 </rightOperand>
1304 </expression>
1305 </value>
1306 </assertions>
1307 <assertions name="upperMultiplicity transient EStructuralFeature" annotations="//@annotations.45">
1308 <value xsi:type="language_1:Forall">
1309 <quantifiedVariables name="src">
1310 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1311 </quantifiedVariables>
1312 <quantifiedVariables name="trg 1">
1313 <range xsi:type="language_1:BoolTypeReference"/>
1314 </quantifiedVariables>
1315 <quantifiedVariables name="trg 2">
1316 <range xsi:type="language_1:BoolTypeReference"/>
1317 </quantifiedVariables>
1318 <expression xsi:type="language_1:Impl">
1319 <leftOperand xsi:type="language_1:And">
1320 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.63">
1321 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.45/@value/@quantifiedVariables.0"/>
1322 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.45/@value/@quantifiedVariables.1"/>
1323 </operands>
1324 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.63">
1325 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.45/@value/@quantifiedVariables.0"/>
1326 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.45/@value/@quantifiedVariables.2"/>
1327 </operands>
1328 </leftOperand>
1329 <rightOperand xsi:type="language_1:Not">
1330 <operand xsi:type="language_1:Distinct">
1331 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.45/@value/@quantifiedVariables.1"/>
1332 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.45/@value/@quantifiedVariables.2"/>
1333 </operand>
1334 </rightOperand>
1335 </expression>
1336 </value>
1337 </assertions>
1338 <assertions name="upperMultiplicity defaultValueLiteral EStructuralFeature" annotations="//@annotations.46">
1339 <value xsi:type="language_1:Forall">
1340 <quantifiedVariables name="src">
1341 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1342 </quantifiedVariables>
1343 <quantifiedVariables name="trg 1">
1344 <range xsi:type="language_1:StringTypeReference"/>
1345 </quantifiedVariables>
1346 <quantifiedVariables name="trg 2">
1347 <range xsi:type="language_1:StringTypeReference"/>
1348 </quantifiedVariables>
1349 <expression xsi:type="language_1:Impl">
1350 <leftOperand xsi:type="language_1:And">
1351 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.64">
1352 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.46/@value/@quantifiedVariables.0"/>
1353 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.46/@value/@quantifiedVariables.1"/>
1354 </operands>
1355 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.64">
1356 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.46/@value/@quantifiedVariables.0"/>
1357 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.46/@value/@quantifiedVariables.2"/>
1358 </operands>
1359 </leftOperand>
1360 <rightOperand xsi:type="language_1:Not">
1361 <operand xsi:type="language_1:Distinct">
1362 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.46/@value/@quantifiedVariables.1"/>
1363 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.46/@value/@quantifiedVariables.2"/>
1364 </operand>
1365 </rightOperand>
1366 </expression>
1367 </value>
1368 </assertions>
1369 <assertions name="upperMultiplicity unsettable EStructuralFeature" annotations="//@annotations.47">
1370 <value xsi:type="language_1:Forall">
1371 <quantifiedVariables name="src">
1372 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1373 </quantifiedVariables>
1374 <quantifiedVariables name="trg 1">
1375 <range xsi:type="language_1:BoolTypeReference"/>
1376 </quantifiedVariables>
1377 <quantifiedVariables name="trg 2">
1378 <range xsi:type="language_1:BoolTypeReference"/>
1379 </quantifiedVariables>
1380 <expression xsi:type="language_1:Impl">
1381 <leftOperand xsi:type="language_1:And">
1382 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.65">
1383 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.47/@value/@quantifiedVariables.0"/>
1384 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.47/@value/@quantifiedVariables.1"/>
1385 </operands>
1386 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.65">
1387 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.47/@value/@quantifiedVariables.0"/>
1388 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.47/@value/@quantifiedVariables.2"/>
1389 </operands>
1390 </leftOperand>
1391 <rightOperand xsi:type="language_1:Not">
1392 <operand xsi:type="language_1:Distinct">
1393 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.47/@value/@quantifiedVariables.1"/>
1394 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.47/@value/@quantifiedVariables.2"/>
1395 </operand>
1396 </rightOperand>
1397 </expression>
1398 </value>
1399 </assertions>
1400 <assertions name="upperMultiplicity derived EStructuralFeature" annotations="//@annotations.48">
1401 <value xsi:type="language_1:Forall">
1402 <quantifiedVariables name="src">
1403 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1404 </quantifiedVariables>
1405 <quantifiedVariables name="trg 1">
1406 <range xsi:type="language_1:BoolTypeReference"/>
1407 </quantifiedVariables>
1408 <quantifiedVariables name="trg 2">
1409 <range xsi:type="language_1:BoolTypeReference"/>
1410 </quantifiedVariables>
1411 <expression xsi:type="language_1:Impl">
1412 <leftOperand xsi:type="language_1:And">
1413 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.66">
1414 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.48/@value/@quantifiedVariables.0"/>
1415 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.48/@value/@quantifiedVariables.1"/>
1416 </operands>
1417 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.66">
1418 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.48/@value/@quantifiedVariables.0"/>
1419 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.48/@value/@quantifiedVariables.2"/>
1420 </operands>
1421 </leftOperand>
1422 <rightOperand xsi:type="language_1:Not">
1423 <operand xsi:type="language_1:Distinct">
1424 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.48/@value/@quantifiedVariables.1"/>
1425 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.48/@value/@quantifiedVariables.2"/>
1426 </operand>
1427 </rightOperand>
1428 </expression>
1429 </value>
1430 </assertions>
1431 <assertions name="upperMultiplicity ordered ETypedElement" annotations="//@annotations.49">
1432 <value xsi:type="language_1:Forall">
1433 <quantifiedVariables name="src">
1434 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
1435 </quantifiedVariables>
1436 <quantifiedVariables name="trg 1">
1437 <range xsi:type="language_1:BoolTypeReference"/>
1438 </quantifiedVariables>
1439 <quantifiedVariables name="trg 2">
1440 <range xsi:type="language_1:BoolTypeReference"/>
1441 </quantifiedVariables>
1442 <expression xsi:type="language_1:Impl">
1443 <leftOperand xsi:type="language_1:And">
1444 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.67">
1445 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.49/@value/@quantifiedVariables.0"/>
1446 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.49/@value/@quantifiedVariables.1"/>
1447 </operands>
1448 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.67">
1449 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.49/@value/@quantifiedVariables.0"/>
1450 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.49/@value/@quantifiedVariables.2"/>
1451 </operands>
1452 </leftOperand>
1453 <rightOperand xsi:type="language_1:Not">
1454 <operand xsi:type="language_1:Distinct">
1455 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.49/@value/@quantifiedVariables.1"/>
1456 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.49/@value/@quantifiedVariables.2"/>
1457 </operand>
1458 </rightOperand>
1459 </expression>
1460 </value>
1461 </assertions>
1462 <assertions name="upperMultiplicity unique ETypedElement" annotations="//@annotations.50">
1463 <value xsi:type="language_1:Forall">
1464 <quantifiedVariables name="src">
1465 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
1466 </quantifiedVariables>
1467 <quantifiedVariables name="trg 1">
1468 <range xsi:type="language_1:BoolTypeReference"/>
1469 </quantifiedVariables>
1470 <quantifiedVariables name="trg 2">
1471 <range xsi:type="language_1:BoolTypeReference"/>
1472 </quantifiedVariables>
1473 <expression xsi:type="language_1:Impl">
1474 <leftOperand xsi:type="language_1:And">
1475 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.68">
1476 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.50/@value/@quantifiedVariables.0"/>
1477 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.50/@value/@quantifiedVariables.1"/>
1478 </operands>
1479 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.68">
1480 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.50/@value/@quantifiedVariables.0"/>
1481 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.50/@value/@quantifiedVariables.2"/>
1482 </operands>
1483 </leftOperand>
1484 <rightOperand xsi:type="language_1:Not">
1485 <operand xsi:type="language_1:Distinct">
1486 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.50/@value/@quantifiedVariables.1"/>
1487 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.50/@value/@quantifiedVariables.2"/>
1488 </operand>
1489 </rightOperand>
1490 </expression>
1491 </value>
1492 </assertions>
1493 <assertions name="upperMultiplicity lowerBound ETypedElement" annotations="//@annotations.51">
1494 <value xsi:type="language_1:Forall">
1495 <quantifiedVariables name="src">
1496 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
1497 </quantifiedVariables>
1498 <quantifiedVariables name="trg 1">
1499 <range xsi:type="language_1:IntTypeReference"/>
1500 </quantifiedVariables>
1501 <quantifiedVariables name="trg 2">
1502 <range xsi:type="language_1:IntTypeReference"/>
1503 </quantifiedVariables>
1504 <expression xsi:type="language_1:Impl">
1505 <leftOperand xsi:type="language_1:And">
1506 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.69">
1507 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.51/@value/@quantifiedVariables.0"/>
1508 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.51/@value/@quantifiedVariables.1"/>
1509 </operands>
1510 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.69">
1511 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.51/@value/@quantifiedVariables.0"/>
1512 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.51/@value/@quantifiedVariables.2"/>
1513 </operands>
1514 </leftOperand>
1515 <rightOperand xsi:type="language_1:Not">
1516 <operand xsi:type="language_1:Distinct">
1517 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.51/@value/@quantifiedVariables.1"/>
1518 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.51/@value/@quantifiedVariables.2"/>
1519 </operand>
1520 </rightOperand>
1521 </expression>
1522 </value>
1523 </assertions>
1524 <assertions name="upperMultiplicity upperBound ETypedElement" annotations="//@annotations.52">
1525 <value xsi:type="language_1:Forall">
1526 <quantifiedVariables name="src">
1527 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
1528 </quantifiedVariables>
1529 <quantifiedVariables name="trg 1">
1530 <range xsi:type="language_1:IntTypeReference"/>
1531 </quantifiedVariables>
1532 <quantifiedVariables name="trg 2">
1533 <range xsi:type="language_1:IntTypeReference"/>
1534 </quantifiedVariables>
1535 <expression xsi:type="language_1:Impl">
1536 <leftOperand xsi:type="language_1:And">
1537 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.70">
1538 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.52/@value/@quantifiedVariables.0"/>
1539 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.52/@value/@quantifiedVariables.1"/>
1540 </operands>
1541 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.70">
1542 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.52/@value/@quantifiedVariables.0"/>
1543 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.52/@value/@quantifiedVariables.2"/>
1544 </operands>
1545 </leftOperand>
1546 <rightOperand xsi:type="language_1:Not">
1547 <operand xsi:type="language_1:Distinct">
1548 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.52/@value/@quantifiedVariables.1"/>
1549 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.52/@value/@quantifiedVariables.2"/>
1550 </operand>
1551 </rightOperand>
1552 </expression>
1553 </value>
1554 </assertions>
1555 <assertions name="upperMultiplicity many ETypedElement" annotations="//@annotations.53">
1556 <value xsi:type="language_1:Forall">
1557 <quantifiedVariables name="src">
1558 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
1559 </quantifiedVariables>
1560 <quantifiedVariables name="trg 1">
1561 <range xsi:type="language_1:BoolTypeReference"/>
1562 </quantifiedVariables>
1563 <quantifiedVariables name="trg 2">
1564 <range xsi:type="language_1:BoolTypeReference"/>
1565 </quantifiedVariables>
1566 <expression xsi:type="language_1:Impl">
1567 <leftOperand xsi:type="language_1:And">
1568 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.71">
1569 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.53/@value/@quantifiedVariables.0"/>
1570 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.53/@value/@quantifiedVariables.1"/>
1571 </operands>
1572 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.71">
1573 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.53/@value/@quantifiedVariables.0"/>
1574 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.53/@value/@quantifiedVariables.2"/>
1575 </operands>
1576 </leftOperand>
1577 <rightOperand xsi:type="language_1:Not">
1578 <operand xsi:type="language_1:Distinct">
1579 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.53/@value/@quantifiedVariables.1"/>
1580 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.53/@value/@quantifiedVariables.2"/>
1581 </operand>
1582 </rightOperand>
1583 </expression>
1584 </value>
1585 </assertions>
1586 <assertions name="upperMultiplicity required ETypedElement" annotations="//@annotations.54">
1587 <value xsi:type="language_1:Forall">
1588 <quantifiedVariables name="src">
1589 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
1590 </quantifiedVariables>
1591 <quantifiedVariables name="trg 1">
1592 <range xsi:type="language_1:BoolTypeReference"/>
1593 </quantifiedVariables>
1594 <quantifiedVariables name="trg 2">
1595 <range xsi:type="language_1:BoolTypeReference"/>
1596 </quantifiedVariables>
1597 <expression xsi:type="language_1:Impl">
1598 <leftOperand xsi:type="language_1:And">
1599 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.72">
1600 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.54/@value/@quantifiedVariables.0"/>
1601 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.54/@value/@quantifiedVariables.1"/>
1602 </operands>
1603 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.72">
1604 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.54/@value/@quantifiedVariables.0"/>
1605 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.54/@value/@quantifiedVariables.2"/>
1606 </operands>
1607 </leftOperand>
1608 <rightOperand xsi:type="language_1:Not">
1609 <operand xsi:type="language_1:Distinct">
1610 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.54/@value/@quantifiedVariables.1"/>
1611 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.54/@value/@quantifiedVariables.2"/>
1612 </operand>
1613 </rightOperand>
1614 </expression>
1615 </value>
1616 </assertions>
1617 <assertions name="upperMultiplicity key EStringToStringMapEntry" annotations="//@annotations.55">
1618 <value xsi:type="language_1:Forall">
1619 <quantifiedVariables name="src">
1620 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.16"/>
1621 </quantifiedVariables>
1622 <quantifiedVariables name="trg 1">
1623 <range xsi:type="language_1:StringTypeReference"/>
1624 </quantifiedVariables>
1625 <quantifiedVariables name="trg 2">
1626 <range xsi:type="language_1:StringTypeReference"/>
1627 </quantifiedVariables>
1628 <expression xsi:type="language_1:Impl">
1629 <leftOperand xsi:type="language_1:And">
1630 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.73">
1631 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.55/@value/@quantifiedVariables.0"/>
1632 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.55/@value/@quantifiedVariables.1"/>
1633 </operands>
1634 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.73">
1635 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.55/@value/@quantifiedVariables.0"/>
1636 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.55/@value/@quantifiedVariables.2"/>
1637 </operands>
1638 </leftOperand>
1639 <rightOperand xsi:type="language_1:Not">
1640 <operand xsi:type="language_1:Distinct">
1641 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.55/@value/@quantifiedVariables.1"/>
1642 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.55/@value/@quantifiedVariables.2"/>
1643 </operand>
1644 </rightOperand>
1645 </expression>
1646 </value>
1647 </assertions>
1648 <assertions name="upperMultiplicity value EStringToStringMapEntry" annotations="//@annotations.56">
1649 <value xsi:type="language_1:Forall">
1650 <quantifiedVariables name="src">
1651 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.16"/>
1652 </quantifiedVariables>
1653 <quantifiedVariables name="trg 1">
1654 <range xsi:type="language_1:StringTypeReference"/>
1655 </quantifiedVariables>
1656 <quantifiedVariables name="trg 2">
1657 <range xsi:type="language_1:StringTypeReference"/>
1658 </quantifiedVariables>
1659 <expression xsi:type="language_1:Impl">
1660 <leftOperand xsi:type="language_1:And">
1661 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.74">
1662 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.56/@value/@quantifiedVariables.0"/>
1663 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.56/@value/@quantifiedVariables.1"/>
1664 </operands>
1665 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.74">
1666 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.56/@value/@quantifiedVariables.0"/>
1667 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.56/@value/@quantifiedVariables.2"/>
1668 </operands>
1669 </leftOperand>
1670 <rightOperand xsi:type="language_1:Not">
1671 <operand xsi:type="language_1:Distinct">
1672 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.56/@value/@quantifiedVariables.1"/>
1673 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.56/@value/@quantifiedVariables.2"/>
1674 </operand>
1675 </rightOperand>
1676 </expression>
1677 </value>
1678 </assertions>
1679 <assertions name="PartialInterpretation name attribute ENamedElement" annotations="//@annotations.57">
1680 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.55">
1681 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/>
1682 <parameterSubstitutions xsi:type="language_1:StringLiteral" value="packageName"/>
1683 </value>
1684 </assertions>
1685 <assertions name="PartialInterpretation nsURI attribute EPackage" annotations="//@annotations.58">
1686 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.56">
1687 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/>
1688 <parameterSubstitutions xsi:type="language_1:StringLiteral" value="nsUri"/>
1689 </value>
1690 </assertions>
1691 <assertions name="PartialInterpretation nsPrefix attribute EPackage" annotations="//@annotations.59">
1692 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.57">
1693 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/>
1694 <parameterSubstitutions xsi:type="language_1:StringLiteral" value="nsPrefix"/>
1695 </value>
1696 </assertions>
1697 <relations xsi:type="language_1:RelationDeclaration" name="eAttributeType reference EAttribute">
1698 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
1699 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1700 </relations>
1701 <relations xsi:type="language_1:RelationDeclaration" name="details reference EAnnotation">
1702 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
1703 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.16"/>
1704 </relations>
1705 <relations xsi:type="language_1:RelationDeclaration" name="eModelElement reference EAnnotation">
1706 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
1707 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
1708 </relations>
1709 <relations xsi:type="language_1:RelationDeclaration" name="contents reference EAnnotation">
1710 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
1711 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1712 </relations>
1713 <relations xsi:type="language_1:RelationDeclaration" name="references reference EAnnotation">
1714 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
1715 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1716 </relations>
1717 <relations xsi:type="language_1:RelationDeclaration" name="eSuperTypes reference EClass">
1718 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1719 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1720 </relations>
1721 <relations xsi:type="language_1:RelationDeclaration" name="eOperations reference EClass">
1722 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1723 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/>
1724 </relations>
1725 <relations xsi:type="language_1:RelationDeclaration" name="eAllAttributes reference EClass">
1726 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1727 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
1728 </relations>
1729 <relations xsi:type="language_1:RelationDeclaration" name="eAllReferences reference EClass">
1730 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1731 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1732 </relations>
1733 <relations xsi:type="language_1:RelationDeclaration" name="eReferences reference EClass">
1734 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1735 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1736 </relations>
1737 <relations xsi:type="language_1:RelationDeclaration" name="eAttributes reference EClass">
1738 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1739 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
1740 </relations>
1741 <relations xsi:type="language_1:RelationDeclaration" name="eAllContainments reference EClass">
1742 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1743 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1744 </relations>
1745 <relations xsi:type="language_1:RelationDeclaration" name="eAllOperations reference EClass">
1746 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1747 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/>
1748 </relations>
1749 <relations xsi:type="language_1:RelationDeclaration" name="eAllStructuralFeatures reference EClass">
1750 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1751 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1752 </relations>
1753 <relations xsi:type="language_1:RelationDeclaration" name="eAllSuperTypes reference EClass">
1754 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1755 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1756 </relations>
1757 <relations xsi:type="language_1:RelationDeclaration" name="eIDAttribute reference EClass">
1758 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1759 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
1760 </relations>
1761 <relations xsi:type="language_1:RelationDeclaration" name="eStructuralFeatures reference EClass">
1762 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1763 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1764 </relations>
1765 <relations xsi:type="language_1:RelationDeclaration" name="eGenericSuperTypes reference EClass">
1766 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1767 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/>
1768 </relations>
1769 <relations xsi:type="language_1:RelationDeclaration" name="eAllGenericSuperTypes reference EClass">
1770 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1771 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/>
1772 </relations>
1773 <relations xsi:type="language_1:RelationDeclaration" name="ePackage reference EClassifier">
1774 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
1775 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
1776 </relations>
1777 <relations xsi:type="language_1:RelationDeclaration" name="eTypeParameters reference EClassifier">
1778 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
1779 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.18"/>
1780 </relations>
1781 <relations xsi:type="language_1:RelationDeclaration" name="eLiterals reference EEnum">
1782 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1783 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
1784 </relations>
1785 <relations xsi:type="language_1:RelationDeclaration" name="eEnum reference EEnumLiteral">
1786 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
1787 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1788 </relations>
1789 <relations xsi:type="language_1:RelationDeclaration" name="eAnnotations reference EModelElement">
1790 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
1791 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
1792 </relations>
1793 <relations xsi:type="language_1:RelationDeclaration" name="eContainingClass reference EOperation">
1794 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/>
1795 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1796 </relations>
1797 <relations xsi:type="language_1:RelationDeclaration" name="eTypeParameters reference EOperation">
1798 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/>
1799 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.18"/>
1800 </relations>
1801 <relations xsi:type="language_1:RelationDeclaration" name="eParameters reference EOperation">
1802 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/>
1803 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/>
1804 </relations>
1805 <relations xsi:type="language_1:RelationDeclaration" name="eExceptions reference EOperation">
1806 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/>
1807 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
1808 </relations>
1809 <relations xsi:type="language_1:RelationDeclaration" name="eGenericExceptions reference EOperation">
1810 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/>
1811 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/>
1812 </relations>
1813 <relations xsi:type="language_1:RelationDeclaration" name="eClassifiers reference EPackage">
1814 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
1815 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
1816 </relations>
1817 <relations xsi:type="language_1:RelationDeclaration" name="eSubpackages reference EPackage">
1818 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
1819 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
1820 </relations>
1821 <relations xsi:type="language_1:RelationDeclaration" name="eSuperPackage reference EPackage">
1822 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
1823 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
1824 </relations>
1825 <relations xsi:type="language_1:RelationDeclaration" name="eOperation reference EParameter">
1826 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/>
1827 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/>
1828 </relations>
1829 <relations xsi:type="language_1:RelationDeclaration" name="eOpposite reference EReference">
1830 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1831 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1832 </relations>
1833 <relations xsi:type="language_1:RelationDeclaration" name="eReferenceType reference EReference">
1834 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1835 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1836 </relations>
1837 <relations xsi:type="language_1:RelationDeclaration" name="eKeys reference EReference">
1838 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1839 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
1840 </relations>
1841 <relations xsi:type="language_1:RelationDeclaration" name="eContainingClass reference EStructuralFeature">
1842 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1843 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1844 </relations>
1845 <relations xsi:type="language_1:RelationDeclaration" name="eType reference ETypedElement">
1846 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
1847 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
1848 </relations>
1849 <relations xsi:type="language_1:RelationDeclaration" name="eGenericType reference ETypedElement">
1850 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
1851 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/>
1852 </relations>
1853 <relations xsi:type="language_1:RelationDeclaration" name="eUpperBound reference EGenericType">
1854 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/>
1855 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/>
1856 </relations>
1857 <relations xsi:type="language_1:RelationDeclaration" name="eTypeArguments reference EGenericType">
1858 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/>
1859 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/>
1860 </relations>
1861 <relations xsi:type="language_1:RelationDeclaration" name="eRawType reference EGenericType">
1862 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/>
1863 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
1864 </relations>
1865 <relations xsi:type="language_1:RelationDeclaration" name="eLowerBound reference EGenericType">
1866 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/>
1867 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/>
1868 </relations>
1869 <relations xsi:type="language_1:RelationDeclaration" name="eTypeParameter reference EGenericType">
1870 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/>
1871 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.18"/>
1872 </relations>
1873 <relations xsi:type="language_1:RelationDeclaration" name="eClassifier reference EGenericType">
1874 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/>
1875 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
1876 </relations>
1877 <relations xsi:type="language_1:RelationDeclaration" name="eBounds reference ETypeParameter">
1878 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.18"/>
1879 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/>
1880 </relations>
1881 <relations xsi:type="language_1:RelationDeclaration" name="iD attribute EAttribute">
1882 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
1883 <parameters xsi:type="language_1:BoolTypeReference"/>
1884 </relations>
1885 <relations xsi:type="language_1:RelationDeclaration" name="source attribute EAnnotation">
1886 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
1887 <parameters xsi:type="language_1:StringTypeReference"/>
1888 </relations>
1889 <relations xsi:type="language_1:RelationDeclaration" name="abstract attribute EClass">
1890 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1891 <parameters xsi:type="language_1:BoolTypeReference"/>
1892 </relations>
1893 <relations xsi:type="language_1:RelationDeclaration" name="interface attribute EClass">
1894 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1895 <parameters xsi:type="language_1:BoolTypeReference"/>
1896 </relations>
1897 <relations xsi:type="language_1:RelationDeclaration" name="instanceClassName attribute EClassifier">
1898 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
1899 <parameters xsi:type="language_1:StringTypeReference"/>
1900 </relations>
1901 <relations xsi:type="language_1:RelationDeclaration" name="instanceTypeName attribute EClassifier">
1902 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
1903 <parameters xsi:type="language_1:StringTypeReference"/>
1904 </relations>
1905 <relations xsi:type="language_1:RelationDeclaration" name="serializable attribute EDataType">
1906 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1907 <parameters xsi:type="language_1:BoolTypeReference"/>
1908 </relations>
1909 <relations xsi:type="language_1:RelationDeclaration" name="value attribute EEnumLiteral">
1910 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
1911 <parameters xsi:type="language_1:IntTypeReference"/>
1912 </relations>
1913 <relations xsi:type="language_1:RelationDeclaration" name="literal attribute EEnumLiteral">
1914 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
1915 <parameters xsi:type="language_1:StringTypeReference"/>
1916 </relations>
1917 <relations xsi:type="language_1:RelationDeclaration" name="name attribute ENamedElement">
1918 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1919 <parameters xsi:type="language_1:StringTypeReference"/>
1920 </relations>
1921 <relations xsi:type="language_1:RelationDeclaration" name="nsURI attribute EPackage">
1922 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
1923 <parameters xsi:type="language_1:StringTypeReference"/>
1924 </relations>
1925 <relations xsi:type="language_1:RelationDeclaration" name="nsPrefix attribute EPackage">
1926 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
1927 <parameters xsi:type="language_1:StringTypeReference"/>
1928 </relations>
1929 <relations xsi:type="language_1:RelationDeclaration" name="containment attribute EReference">
1930 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1931 <parameters xsi:type="language_1:BoolTypeReference"/>
1932 </relations>
1933 <relations xsi:type="language_1:RelationDeclaration" name="container attribute EReference">
1934 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1935 <parameters xsi:type="language_1:BoolTypeReference"/>
1936 </relations>
1937 <relations xsi:type="language_1:RelationDeclaration" name="resolveProxies attribute EReference">
1938 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1939 <parameters xsi:type="language_1:BoolTypeReference"/>
1940 </relations>
1941 <relations xsi:type="language_1:RelationDeclaration" name="changeable attribute EStructuralFeature">
1942 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1943 <parameters xsi:type="language_1:BoolTypeReference"/>
1944 </relations>
1945 <relations xsi:type="language_1:RelationDeclaration" name="volatile attribute EStructuralFeature">
1946 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1947 <parameters xsi:type="language_1:BoolTypeReference"/>
1948 </relations>
1949 <relations xsi:type="language_1:RelationDeclaration" name="transient attribute EStructuralFeature">
1950 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1951 <parameters xsi:type="language_1:BoolTypeReference"/>
1952 </relations>
1953 <relations xsi:type="language_1:RelationDeclaration" name="defaultValueLiteral attribute EStructuralFeature">
1954 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1955 <parameters xsi:type="language_1:StringTypeReference"/>
1956 </relations>
1957 <relations xsi:type="language_1:RelationDeclaration" name="unsettable attribute EStructuralFeature">
1958 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1959 <parameters xsi:type="language_1:BoolTypeReference"/>
1960 </relations>
1961 <relations xsi:type="language_1:RelationDeclaration" name="derived attribute EStructuralFeature">
1962 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1963 <parameters xsi:type="language_1:BoolTypeReference"/>
1964 </relations>
1965 <relations xsi:type="language_1:RelationDeclaration" name="ordered attribute ETypedElement">
1966 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
1967 <parameters xsi:type="language_1:BoolTypeReference"/>
1968 </relations>
1969 <relations xsi:type="language_1:RelationDeclaration" name="unique attribute ETypedElement">
1970 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
1971 <parameters xsi:type="language_1:BoolTypeReference"/>
1972 </relations>
1973 <relations xsi:type="language_1:RelationDeclaration" name="lowerBound attribute ETypedElement">
1974 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
1975 <parameters xsi:type="language_1:IntTypeReference"/>
1976 </relations>
1977 <relations xsi:type="language_1:RelationDeclaration" name="upperBound attribute ETypedElement">
1978 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
1979 <parameters xsi:type="language_1:IntTypeReference"/>
1980 </relations>
1981 <relations xsi:type="language_1:RelationDeclaration" name="many attribute ETypedElement">
1982 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
1983 <parameters xsi:type="language_1:BoolTypeReference"/>
1984 </relations>
1985 <relations xsi:type="language_1:RelationDeclaration" name="required attribute ETypedElement">
1986 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
1987 <parameters xsi:type="language_1:BoolTypeReference"/>
1988 </relations>
1989 <relations xsi:type="language_1:RelationDeclaration" name="key attribute EStringToStringMapEntry">
1990 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.16"/>
1991 <parameters xsi:type="language_1:StringTypeReference"/>
1992 </relations>
1993 <relations xsi:type="language_1:RelationDeclaration" name="value attribute EStringToStringMapEntry">
1994 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.16"/>
1995 <parameters xsi:type="language_1:StringTypeReference"/>
1996 </relations>
1997 <elements name="o 1" definedInType="//@types.19 //@types.21 //@types.23"/>
1998 <containmentHierarchies typesOrderedInHierarchy="//@types.7 //@types.5 //@types.0 //@types.9 //@types.2 //@types.3 //@types.6 //@types.11 //@types.10 //@types.16 //@types.13 //@types.1 //@types.15 //@types.14 //@types.4 //@types.12 //@types.8 //@types.17 //@types.18 //@types.19 //@types.20 //@types.21 //@types.22 //@types.23 //@types.24" containmentRelations="//@relations.1 //@relations.3 //@relations.6 //@relations.16 //@relations.17 //@relations.20 //@relations.21 //@relations.23 //@relations.25 //@relations.26 //@relations.28 //@relations.29 //@relations.30 //@relations.38 //@relations.39 //@relations.40 //@relations.42 //@relations.45"/>
1999 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.0" relation="//@relations.0" lower="1"/>
2000 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.1" relation="//@relations.0" upper="1"/>
2001 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.2" relation="//@relations.2" upper="1"/>
2002 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.3" relation="//@relations.15" upper="1"/>
2003 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.4" relation="//@relations.19" upper="1"/>
2004 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.5" relation="//@relations.22" upper="1"/>
2005 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.6" relation="//@relations.24" upper="1"/>
2006 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.7" relation="//@relations.31" upper="1"/>
2007 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.8" relation="//@relations.32" upper="1"/>
2008 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.9" relation="//@relations.33" upper="1"/>
2009 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.10" relation="//@relations.34" lower="1"/>
2010 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.11" relation="//@relations.34" upper="1"/>
2011 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.12" relation="//@relations.36" upper="1"/>
2012 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.13" relation="//@relations.37" upper="1"/>
2013 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.14" relation="//@relations.38" upper="1"/>
2014 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.15" relation="//@relations.39" upper="1"/>
2015 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.16" relation="//@relations.41" lower="1"/>
2016 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.17" relation="//@relations.41" upper="1"/>
2017 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.18" relation="//@relations.42" upper="1"/>
2018 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.19" relation="//@relations.43" upper="1"/>
2019 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.20" relation="//@relations.44" upper="1"/>
2020 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.21" inverseA="//@relations.2" inverseB="//@relations.23"/>
2021 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.22" inverseA="//@relations.6" inverseB="//@relations.24"/>
2022 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.23" inverseA="//@relations.16" inverseB="//@relations.36"/>
2023 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.24" inverseA="//@relations.19" inverseB="//@relations.29"/>
2024 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.25" inverseA="//@relations.21" inverseB="//@relations.22"/>
2025 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.26" inverseA="//@relations.26" inverseB="//@relations.32"/>
2026 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.27" inverseA="//@relations.30" inverseB="//@relations.31"/>
2027 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.28" relation="//@relations.46" upper="1"/>
2028 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.29" relation="//@relations.47" upper="1"/>
2029 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.30" relation="//@relations.48" upper="1"/>
2030 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.31" relation="//@relations.49" upper="1"/>
2031 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.32" relation="//@relations.50" upper="1"/>
2032 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.33" relation="//@relations.51" upper="1"/>
2033 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.34" relation="//@relations.52" upper="1"/>
2034 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.35" relation="//@relations.53" upper="1"/>
2035 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.36" relation="//@relations.54" upper="1"/>
2036 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.37" relation="//@relations.55" upper="1"/>
2037 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.38" relation="//@relations.56" upper="1"/>
2038 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.39" relation="//@relations.57" upper="1"/>
2039 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.40" relation="//@relations.58" upper="1"/>
2040 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.41" relation="//@relations.59" upper="1"/>
2041 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.42" relation="//@relations.60" upper="1"/>
2042 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.43" relation="//@relations.61" upper="1"/>
2043 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.44" relation="//@relations.62" upper="1"/>
2044 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.45" relation="//@relations.63" upper="1"/>
2045 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.46" relation="//@relations.64" upper="1"/>
2046 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.47" relation="//@relations.65" upper="1"/>
2047 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.48" relation="//@relations.66" upper="1"/>
2048 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.49" relation="//@relations.67" upper="1"/>
2049 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.50" relation="//@relations.68" upper="1"/>
2050 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.51" relation="//@relations.69" upper="1"/>
2051 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.52" relation="//@relations.70" upper="1"/>
2052 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.53" relation="//@relations.71" upper="1"/>
2053 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.54" relation="//@relations.72" upper="1"/>
2054 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.55" relation="//@relations.73" upper="1"/>
2055 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.56" relation="//@relations.74" upper="1"/>
2056 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.57" targetRelation="//@relations.55"/>
2057 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.58" targetRelation="//@relations.56"/>
2058 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.59" targetRelation="//@relations.57"/>
2059</language:LogicProblem>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-17 19:40:00 +0000