aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorLibravatar Aren Babikian <aren.babikian@mail.mcgill.ca>2021-01-14 09:13:36 -0500
committerLibravatar Aren Babikian <aren.babikian@mail.mcgill.ca>2021-01-14 09:13:36 -0500
commit7193efd76bdd814db060fe88f294f40865cf6d09 (patch)
tree37b8bce3a5948866802530a6d219340dafe73b20
parentimprove simpleScenario MM (diff)
downloadVIATRA-Generator-7193efd76bdd814db060fe88f294f40865cf6d09.tar.gz
VIATRA-Generator-7193efd76bdd814db060fe88f294f40865cf6d09.tar.zst
VIATRA-Generator-7193efd76bdd814db060fe88f294f40865cf6d09.zip
Add some documents to debug MG issue
Diffstat
-rw-r--r--Domains/simpleScenario/META-INF/MANIFEST.MF14
-rw-r--r--Domains/simpleScenario/inputs/Debug/partial-int.xmi1115
-rw-r--r--Domains/simpleScenario/inputs/Debug/partial.xmi1115
-rw-r--r--Domains/simpleScenario/inputs/Debug/sample.xmi7
-rw-r--r--Domains/simpleScenario/queries/logProb.vql41
-rw-r--r--Domains/simpleScenario/src/simpleScenario/run/QueryDebug.java73
6 files changed, 2361 insertions, 4 deletions
diff --git a/Domains/simpleScenario/META-INF/MANIFEST.MF b/Domains/simpleScenario/META-INF/MANIFEST.MF
index 22f9477b..7772ef80 100644
--- a/Domains/simpleScenario/META-INF/MANIFEST.MF
+++ b/Domains/simpleScenario/META-INF/MANIFEST.MF
@@ -6,7 +6,8 @@ Bundle-Version: 1.0.0.qualifier
6Bundle-ClassPath: . 6Bundle-ClassPath: .
7Bundle-Vendor: %providerName 7Bundle-Vendor: %providerName
8Bundle-Localization: plugin 8Bundle-Localization: plugin
9Export-Package: simpleScenario, 9Export-Package: queries,
10 simpleScenario,
10 simpleScenario.impl, 11 simpleScenario.impl,
11 simpleScenario.util 12 simpleScenario.util
12Require-Bundle: org.eclipse.viatra.query.runtime, 13Require-Bundle: org.eclipse.viatra.query.runtime,
@@ -15,8 +16,13 @@ Require-Bundle: org.eclipse.viatra.query.runtime,
15 org.eclipse.xtext.xbase.lib, 16 org.eclipse.xtext.xbase.lib,
16 org.eclipse.core.runtime, 17 org.eclipse.core.runtime,
17 org.eclipse.emf.ecore;visibility:=reexport, 18 org.eclipse.emf.ecore;visibility:=reexport,
18 hu.bme.mit.inf.dslreasoner.application;bundle-version="1.0.0" 19 hu.bme.mit.inf.dslreasoner.application;bundle-version="1.0.0",
19Bundle-RequiredExecutionEnvironment: JavaSE-11 20 hu.bme.mit.inf.dslreasoner.logic.model;bundle-version="1.0.0",
20Bundle-ActivationPolicy: lazy 21 org.eclipse.emf.ecore.xmi;bundle-version="2.16.0",
22 hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0",
23 hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0",
24 hu.bme.mit.inf.dslreasoner.viatra2logic;bundle-version="1.0.0"
21Import-Package: org.apache.log4j 25Import-Package: org.apache.log4j
22Automatic-Module-Name: simpleScenario 26Automatic-Module-Name: simpleScenario
27Bundle-ActivationPolicy: lazy
28Bundle-RequiredExecutionEnvironment: JavaSE-11
diff --git a/Domains/simpleScenario/inputs/Debug/partial-int.xmi b/Domains/simpleScenario/inputs/Debug/partial-int.xmi
new file mode 100644
index 00000000..eaddaafc
--- /dev/null
+++ b/Domains/simpleScenario/inputs/Debug/partial-int.xmi
@@ -0,0 +1,1115 @@
1<?xml version="1.0" encoding="ASCII"?>
2<partialinterpretation:PartialInterpretation xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/ecore2logicannotation" xmlns:language="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language" xmlns:partial2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/partial2logicannotation" xmlns:partialinterpretation="http://www.bme.hu/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage" xmlns:viatra2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/viatra2logicannotation" problem="//@problemConainer" maxNewElements="20">
3 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.0" param1="//@problemConainer/@relations.0/@parameters.0" param2="//@problemConainer/@relations.0/@parameters.1"/>
4 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.1" param1="//@problemConainer/@relations.1/@parameters.0" param2="//@problemConainer/@relations.1/@parameters.1">
5 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.8" param2="//@newElements.3"/>
6 </partialrelationinterpretation>
7 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.2" param1="//@problemConainer/@relations.2/@parameters.0" param2="//@problemConainer/@relations.2/@parameters.1"/>
8 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.3" param1="//@problemConainer/@relations.3/@parameters.0" param2="//@problemConainer/@relations.3/@parameters.1"/>
9 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.4" param1="//@problemConainer/@relations.4/@parameters.0" param2="//@problemConainer/@relations.4/@parameters.1"/>
10 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.5" param1="//@problemConainer/@relations.5/@parameters.0" param2="//@problemConainer/@relations.5/@parameters.1"/>
11 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.6" param1="//@problemConainer/@relations.6/@parameters.0" param2="//@problemConainer/@relations.6/@parameters.1"/>
12 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.7" param1="//@problemConainer/@relations.7/@parameters.0" param2="//@problemConainer/@relations.7/@parameters.1"/>
13 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.8" param1="//@problemConainer/@relations.8/@parameters.0" param2="//@problemConainer/@relations.8/@parameters.1">
14 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.8" param2="//@newElements.2"/>
15 </partialrelationinterpretation>
16 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.9" param1="//@problemConainer/@relations.9/@parameters.0" param2="//@problemConainer/@relations.9/@parameters.1">
17 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.8" param2="//@newElements.2"/>
18 </partialrelationinterpretation>
19 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.10" param1="//@problemConainer/@relations.10/@parameters.0" param2="//@problemConainer/@relations.10/@parameters.1"/>
20 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.11" param1="//@problemConainer/@relations.11/@parameters.0" param2="//@problemConainer/@relations.11/@parameters.1"/>
21 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.12" param1="//@problemConainer/@relations.12/@parameters.0" param2="//@problemConainer/@relations.12/@parameters.1">
22 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.3" param2="//@newElements.4"/>
23 </partialrelationinterpretation>
24 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.13" param1="//@problemConainer/@relations.13/@parameters.0" param2="//@problemConainer/@relations.13/@parameters.1">
25 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.3" param2="//@newElements.5"/>
26 </partialrelationinterpretation>
27 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.14" param1="//@problemConainer/@relations.14/@parameters.0" param2="//@problemConainer/@relations.14/@parameters.1"/>
28 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.15" param1="//@problemConainer/@relations.15/@parameters.0" param2="//@problemConainer/@relations.15/@parameters.1"/>
29 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.16" param1="//@problemConainer/@relations.16/@parameters.0" param2="//@problemConainer/@relations.16/@parameters.1"/>
30 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.17" param1="//@problemConainer/@relations.17/@parameters.0" param2="//@problemConainer/@relations.17/@parameters.1"/>
31 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.18" param1="//@problemConainer/@relations.18/@parameters.0" param2="//@problemConainer/@relations.18/@parameters.1"/>
32 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.19" param1="//@problemConainer/@relations.19/@parameters.0" param2="//@problemConainer/@relations.19/@parameters.1"/>
33 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.20" param1="//@problemConainer/@relations.20/@parameters.0" param2="//@problemConainer/@relations.20/@parameters.1"/>
34 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.21" param1="//@problemConainer/@relations.21/@parameters.0" param2="//@problemConainer/@relations.21/@parameters.1"/>
35 <newElements xsi:type="partialinterpretation:BooleanElement" name="true" valueSet="true" value="true"/>
36 <newElements xsi:type="partialinterpretation:BooleanElement" name="false" valueSet="true"/>
37 <newElements xsi:type="partialinterpretation:RealElement" name="0.0" valueSet="true" value="0.0"/>
38 <newElements/>
39 <newElements xsi:type="partialinterpretation:IntegerElement"/>
40 <newElements xsi:type="partialinterpretation:RealElement"/>
41 <partialtypeinterpratation xsi:type="partialinterpretation:PartialBooleanInterpretation" elements="//@newElements.0 //@newElements.1"/>
42 <partialtypeinterpratation xsi:type="partialinterpretation:PartialIntegerInterpretation" elements="//@newElements.4"/>
43 <partialtypeinterpratation xsi:type="partialinterpretation:PartialRealInterpretation" elements="//@newElements.2 //@openWorldElements.0 //@newElements.5"/>
44 <partialtypeinterpratation xsi:type="partialinterpretation:PartialStringInterpretation" elements="//@openWorldElements.1"/>
45 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@problemConainer/@elements.8" scopes="//@scopes.0" interpretationOf="//@problemConainer/@types.0"/>
46 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@newElements.3" scopes="//@scopes.1" interpretationOf="//@problemConainer/@types.1"/>
47 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.2" interpretationOf="//@problemConainer/@types.2"/>
48 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.3" interpretationOf="//@problemConainer/@types.3"/>
49 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.4" supertypeInterpretation="//@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.4"/>
50 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.5" supertypeInterpretation="//@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.5"/>
51 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.6" supertypeInterpretation="//@partialtypeinterpratation.8 //@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.6"/>
52 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.7" supertypeInterpretation="//@partialtypeinterpratation.8 //@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.7"/>
53 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.8" supertypeInterpretation="//@partialtypeinterpratation.9 //@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.8"/>
54 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.9" supertypeInterpretation="//@partialtypeinterpratation.9 //@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.9"/>
55 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.10" supertypeInterpretation="//@partialtypeinterpratation.6" interpretationOf="//@problemConainer/@types.10"/>
56 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.11" supertypeInterpretation="//@partialtypeinterpratation.6" interpretationOf="//@problemConainer/@types.11"/>
57 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.12" supertypeInterpretation="//@partialtypeinterpratation.4" interpretationOf="//@problemConainer/@types.16"/>
58 <openWorldElements xsi:type="partialinterpretation:RealElement" name="New Reals"/>
59 <openWorldElements xsi:type="partialinterpretation:StringElement" name="New Strings"/>
60 <openWorldElements name="New Objects"/>
61 <problemConainer>
62 <types xsi:type="language:TypeDeclaration" name="SimpleScenario class" subtypes="//@problemConainer/@types.15 //@problemConainer/@types.16" isAbstract="true"/>
63 <types xsi:type="language:TypeDeclaration" name="Lane class"/>
64 <types xsi:type="language:TypeDeclaration" name="Actor class" subtypes="//@problemConainer/@types.10 //@problemConainer/@types.11" isAbstract="true"/>
65 <types xsi:type="language:TypeDeclaration" name="Relation class" subtypes="//@problemConainer/@types.4 //@problemConainer/@types.5" isAbstract="true"/>
66 <types xsi:type="language:TypeDeclaration" name="SpatialRelation class" subtypes="//@problemConainer/@types.6 //@problemConainer/@types.7" supertypes="//@problemConainer/@types.3" isAbstract="true"/>
67 <types xsi:type="language:TypeDeclaration" name="TemporalRelation class" subtypes="//@problemConainer/@types.8 //@problemConainer/@types.9" supertypes="//@problemConainer/@types.3" isAbstract="true"/>
68 <types xsi:type="language:TypeDeclaration" name="VisionBlocked class" supertypes="//@problemConainer/@types.4"/>
69 <types xsi:type="language:TypeDeclaration" name="SeperationDistance class" supertypes="//@problemConainer/@types.4"/>
70 <types xsi:type="language:TypeDeclaration" name="CollisionExists class" supertypes="//@problemConainer/@types.5"/>
71 <types xsi:type="language:TypeDeclaration" name="CollisionDoesNotExist class" supertypes="//@problemConainer/@types.5"/>
72 <types xsi:type="language:TypeDeclaration" name="Pedestrian class" supertypes="//@problemConainer/@types.2"/>
73 <types xsi:type="language:TypeDeclaration" name="Vehicle class" supertypes="//@problemConainer/@types.2"/>
74 <types xsi:type="language:TypeDefinition" name="Orientation enum" elements="//@problemConainer/@elements.0 //@problemConainer/@elements.1"/>
75 <types xsi:type="language:TypeDefinition" name="Size enum" elements="//@problemConainer/@elements.2 //@problemConainer/@elements.3 //@problemConainer/@elements.4"/>
76 <types xsi:type="language:TypeDefinition" name="Distance enum" elements="//@problemConainer/@elements.5 //@problemConainer/@elements.6 //@problemConainer/@elements.7"/>
77 <types xsi:type="language:TypeDefinition" name="SimpleScenario class DefinedPart" supertypes="//@problemConainer/@types.0" elements="//@problemConainer/@elements.8"/>
78 <types xsi:type="language:TypeDeclaration" name="SimpleScenario class UndefinedPart" supertypes="//@problemConainer/@types.0"/>
79 <assertions name="upperMultiplicity adjacent Lane" annotations="//@problemConainer/@annotations.0">
80 <value xsi:type="language:Forall">
81 <quantifiedVariables name="src">
82 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
83 </quantifiedVariables>
84 <quantifiedVariables name="trg 1">
85 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
86 </quantifiedVariables>
87 <quantifiedVariables name="trg 2">
88 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
89 </quantifiedVariables>
90 <quantifiedVariables name="trg 3">
91 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
92 </quantifiedVariables>
93 <expression xsi:type="language:Impl">
94 <leftOperand xsi:type="language:And">
95 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.2">
96 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.0"/>
97 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.1"/>
98 </operands>
99 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.2">
100 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.0"/>
101 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.2"/>
102 </operands>
103 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.2">
104 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.0"/>
105 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.3"/>
106 </operands>
107 </leftOperand>
108 <rightOperand xsi:type="language:Not">
109 <operand xsi:type="language:Distinct">
110 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.1"/>
111 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.2"/>
112 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.3"/>
113 </operand>
114 </rightOperand>
115 </expression>
116 </value>
117 </assertions>
118 <assertions name="lowerMultiplicity placedOn Actor" annotations="//@problemConainer/@annotations.1">
119 <value xsi:type="language:Forall">
120 <quantifiedVariables name="src">
121 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
122 </quantifiedVariables>
123 <expression xsi:type="language:Exists">
124 <quantifiedVariables name="trg 1">
125 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
126 </quantifiedVariables>
127 <expression xsi:type="language:And">
128 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5">
129 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.1/@value/@quantifiedVariables.0"/>
130 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.1/@value/@expression/@quantifiedVariables.0"/>
131 </operands>
132 </expression>
133 </expression>
134 </value>
135 </assertions>
136 <assertions name="upperMultiplicity placedOn Actor" annotations="//@problemConainer/@annotations.2">
137 <value xsi:type="language:Forall">
138 <quantifiedVariables name="src">
139 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
140 </quantifiedVariables>
141 <quantifiedVariables name="trg 1">
142 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
143 </quantifiedVariables>
144 <quantifiedVariables name="trg 2">
145 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
146 </quantifiedVariables>
147 <expression xsi:type="language:Impl">
148 <leftOperand xsi:type="language:And">
149 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5">
150 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.0"/>
151 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.1"/>
152 </operands>
153 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5">
154 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.0"/>
155 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.2"/>
156 </operands>
157 </leftOperand>
158 <rightOperand xsi:type="language:Not">
159 <operand xsi:type="language:Distinct">
160 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.1"/>
161 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.2"/>
162 </operand>
163 </rightOperand>
164 </expression>
165 </value>
166 </assertions>
167 <assertions name="lowerMultiplicity target Relation" annotations="//@problemConainer/@annotations.3">
168 <value xsi:type="language:Forall">
169 <quantifiedVariables name="src">
170 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/>
171 </quantifiedVariables>
172 <expression xsi:type="language:Exists">
173 <quantifiedVariables name="trg 1">
174 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
175 </quantifiedVariables>
176 <expression xsi:type="language:And">
177 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6">
178 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.3/@value/@quantifiedVariables.0"/>
179 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.3/@value/@expression/@quantifiedVariables.0"/>
180 </operands>
181 </expression>
182 </expression>
183 </value>
184 </assertions>
185 <assertions name="upperMultiplicity target Relation" annotations="//@problemConainer/@annotations.4">
186 <value xsi:type="language:Forall">
187 <quantifiedVariables name="src">
188 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/>
189 </quantifiedVariables>
190 <quantifiedVariables name="trg 1">
191 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
192 </quantifiedVariables>
193 <quantifiedVariables name="trg 2">
194 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
195 </quantifiedVariables>
196 <expression xsi:type="language:Impl">
197 <leftOperand xsi:type="language:And">
198 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6">
199 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.0"/>
200 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.1"/>
201 </operands>
202 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6">
203 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.0"/>
204 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.2"/>
205 </operands>
206 </leftOperand>
207 <rightOperand xsi:type="language:Not">
208 <operand xsi:type="language:Distinct">
209 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.1"/>
210 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.2"/>
211 </operand>
212 </rightOperand>
213 </expression>
214 </value>
215 </assertions>
216 <assertions name="upperMultiplicity blockedBy VisionBlocked" annotations="//@problemConainer/@annotations.5">
217 <value xsi:type="language:Forall">
218 <quantifiedVariables name="src">
219 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.6"/>
220 </quantifiedVariables>
221 <quantifiedVariables name="trg 1">
222 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
223 </quantifiedVariables>
224 <quantifiedVariables name="trg 2">
225 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
226 </quantifiedVariables>
227 <expression xsi:type="language:Impl">
228 <leftOperand xsi:type="language:And">
229 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.7">
230 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.0"/>
231 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.1"/>
232 </operands>
233 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.7">
234 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.0"/>
235 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.2"/>
236 </operands>
237 </leftOperand>
238 <rightOperand xsi:type="language:Not">
239 <operand xsi:type="language:Distinct">
240 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.1"/>
241 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.2"/>
242 </operand>
243 </rightOperand>
244 </expression>
245 </value>
246 </assertions>
247 <assertions name="oppositeReference actors Lane" annotations="//@problemConainer/@annotations.6">
248 <value xsi:type="language:Forall">
249 <quantifiedVariables name="src">
250 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
251 </quantifiedVariables>
252 <quantifiedVariables name="trg">
253 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
254 </quantifiedVariables>
255 <expression xsi:type="language:Iff">
256 <leftOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.3">
257 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@quantifiedVariables.0"/>
258 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@quantifiedVariables.1"/>
259 </leftOperand>
260 <rightOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5">
261 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@quantifiedVariables.1"/>
262 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@quantifiedVariables.0"/>
263 </rightOperand>
264 </expression>
265 </value>
266 </assertions>
267 <assertions name="upperMultiplicity xSize SimpleScenario" annotations="//@problemConainer/@annotations.7">
268 <value xsi:type="language:Forall">
269 <quantifiedVariables name="src">
270 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
271 </quantifiedVariables>
272 <quantifiedVariables name="trg 1">
273 <range xsi:type="language:RealTypeReference"/>
274 </quantifiedVariables>
275 <quantifiedVariables name="trg 2">
276 <range xsi:type="language:RealTypeReference"/>
277 </quantifiedVariables>
278 <expression xsi:type="language:Impl">
279 <leftOperand xsi:type="language:And">
280 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.8">
281 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.0"/>
282 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.1"/>
283 </operands>
284 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.8">
285 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.0"/>
286 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.2"/>
287 </operands>
288 </leftOperand>
289 <rightOperand xsi:type="language:Not">
290 <operand xsi:type="language:Distinct">
291 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.1"/>
292 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.2"/>
293 </operand>
294 </rightOperand>
295 </expression>
296 </value>
297 </assertions>
298 <assertions name="upperMultiplicity ySize SimpleScenario" annotations="//@problemConainer/@annotations.8">
299 <value xsi:type="language:Forall">
300 <quantifiedVariables name="src">
301 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
302 </quantifiedVariables>
303 <quantifiedVariables name="trg 1">
304 <range xsi:type="language:RealTypeReference"/>
305 </quantifiedVariables>
306 <quantifiedVariables name="trg 2">
307 <range xsi:type="language:RealTypeReference"/>
308 </quantifiedVariables>
309 <expression xsi:type="language:Impl">
310 <leftOperand xsi:type="language:And">
311 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9">
312 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.0"/>
313 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.1"/>
314 </operands>
315 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9">
316 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.0"/>
317 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.2"/>
318 </operands>
319 </leftOperand>
320 <rightOperand xsi:type="language:Not">
321 <operand xsi:type="language:Distinct">
322 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.1"/>
323 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.2"/>
324 </operand>
325 </rightOperand>
326 </expression>
327 </value>
328 </assertions>
329 <assertions name="lowerMultiplicity orientation Lane" annotations="//@problemConainer/@annotations.9">
330 <value xsi:type="language:Forall">
331 <quantifiedVariables name="src">
332 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
333 </quantifiedVariables>
334 <expression xsi:type="language:Exists">
335 <quantifiedVariables name="trg 1">
336 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.12"/>
337 </quantifiedVariables>
338 <expression xsi:type="language:And">
339 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10">
340 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.9/@value/@quantifiedVariables.0"/>
341 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.9/@value/@expression/@quantifiedVariables.0"/>
342 </operands>
343 </expression>
344 </expression>
345 </value>
346 </assertions>
347 <assertions name="upperMultiplicity orientation Lane" annotations="//@problemConainer/@annotations.10">
348 <value xsi:type="language:Forall">
349 <quantifiedVariables name="src">
350 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
351 </quantifiedVariables>
352 <quantifiedVariables name="trg 1">
353 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.12"/>
354 </quantifiedVariables>
355 <quantifiedVariables name="trg 2">
356 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.12"/>
357 </quantifiedVariables>
358 <expression xsi:type="language:Impl">
359 <leftOperand xsi:type="language:And">
360 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10">
361 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.0"/>
362 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.1"/>
363 </operands>
364 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10">
365 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.0"/>
366 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.2"/>
367 </operands>
368 </leftOperand>
369 <rightOperand xsi:type="language:Not">
370 <operand xsi:type="language:Distinct">
371 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.1"/>
372 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.2"/>
373 </operand>
374 </rightOperand>
375 </expression>
376 </value>
377 </assertions>
378 <assertions name="lowerMultiplicity width Lane" annotations="//@problemConainer/@annotations.11">
379 <value xsi:type="language:Forall">
380 <quantifiedVariables name="src">
381 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
382 </quantifiedVariables>
383 <expression xsi:type="language:Exists">
384 <quantifiedVariables name="trg 1">
385 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.13"/>
386 </quantifiedVariables>
387 <expression xsi:type="language:And">
388 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.11">
389 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.11/@value/@quantifiedVariables.0"/>
390 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.11/@value/@expression/@quantifiedVariables.0"/>
391 </operands>
392 </expression>
393 </expression>
394 </value>
395 </assertions>
396 <assertions name="upperMultiplicity width Lane" annotations="//@problemConainer/@annotations.12">
397 <value xsi:type="language:Forall">
398 <quantifiedVariables name="src">
399 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
400 </quantifiedVariables>
401 <quantifiedVariables name="trg 1">
402 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.13"/>
403 </quantifiedVariables>
404 <quantifiedVariables name="trg 2">
405 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.13"/>
406 </quantifiedVariables>
407 <expression xsi:type="language:Impl">
408 <leftOperand xsi:type="language:And">
409 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.11">
410 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.0"/>
411 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.1"/>
412 </operands>
413 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.11">
414 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.0"/>
415 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.2"/>
416 </operands>
417 </leftOperand>
418 <rightOperand xsi:type="language:Not">
419 <operand xsi:type="language:Distinct">
420 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.1"/>
421 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.2"/>
422 </operand>
423 </rightOperand>
424 </expression>
425 </value>
426 </assertions>
427 <assertions name="lowerMultiplicity referenceCoord Lane" annotations="//@problemConainer/@annotations.13">
428 <value xsi:type="language:Forall">
429 <quantifiedVariables name="src">
430 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
431 </quantifiedVariables>
432 <expression xsi:type="language:Exists">
433 <quantifiedVariables name="trg 1">
434 <range xsi:type="language:IntTypeReference"/>
435 </quantifiedVariables>
436 <expression xsi:type="language:And">
437 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12">
438 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.13/@value/@quantifiedVariables.0"/>
439 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.13/@value/@expression/@quantifiedVariables.0"/>
440 </operands>
441 </expression>
442 </expression>
443 </value>
444 </assertions>
445 <assertions name="upperMultiplicity referenceCoord Lane" annotations="//@problemConainer/@annotations.14">
446 <value xsi:type="language:Forall">
447 <quantifiedVariables name="src">
448 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
449 </quantifiedVariables>
450 <quantifiedVariables name="trg 1">
451 <range xsi:type="language:IntTypeReference"/>
452 </quantifiedVariables>
453 <quantifiedVariables name="trg 2">
454 <range xsi:type="language:IntTypeReference"/>
455 </quantifiedVariables>
456 <expression xsi:type="language:Impl">
457 <leftOperand xsi:type="language:And">
458 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12">
459 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.0"/>
460 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.1"/>
461 </operands>
462 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12">
463 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.0"/>
464 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.2"/>
465 </operands>
466 </leftOperand>
467 <rightOperand xsi:type="language:Not">
468 <operand xsi:type="language:Distinct">
469 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.1"/>
470 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.2"/>
471 </operand>
472 </rightOperand>
473 </expression>
474 </value>
475 </assertions>
476 <assertions name="lowerMultiplicity numWidth Lane" annotations="//@problemConainer/@annotations.15">
477 <value xsi:type="language:Forall">
478 <quantifiedVariables name="src">
479 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
480 </quantifiedVariables>
481 <expression xsi:type="language:Exists">
482 <quantifiedVariables name="trg 1">
483 <range xsi:type="language:RealTypeReference"/>
484 </quantifiedVariables>
485 <expression xsi:type="language:And">
486 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13">
487 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.15/@value/@quantifiedVariables.0"/>
488 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.15/@value/@expression/@quantifiedVariables.0"/>
489 </operands>
490 </expression>
491 </expression>
492 </value>
493 </assertions>
494 <assertions name="upperMultiplicity numWidth Lane" annotations="//@problemConainer/@annotations.16">
495 <value xsi:type="language:Forall">
496 <quantifiedVariables name="src">
497 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
498 </quantifiedVariables>
499 <quantifiedVariables name="trg 1">
500 <range xsi:type="language:RealTypeReference"/>
501 </quantifiedVariables>
502 <quantifiedVariables name="trg 2">
503 <range xsi:type="language:RealTypeReference"/>
504 </quantifiedVariables>
505 <expression xsi:type="language:Impl">
506 <leftOperand xsi:type="language:And">
507 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13">
508 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.0"/>
509 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.1"/>
510 </operands>
511 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13">
512 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.0"/>
513 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.2"/>
514 </operands>
515 </leftOperand>
516 <rightOperand xsi:type="language:Not">
517 <operand xsi:type="language:Distinct">
518 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.1"/>
519 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.2"/>
520 </operand>
521 </rightOperand>
522 </expression>
523 </value>
524 </assertions>
525 <assertions name="lowerMultiplicity xPos Actor" annotations="//@problemConainer/@annotations.17">
526 <value xsi:type="language:Forall">
527 <quantifiedVariables name="src">
528 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
529 </quantifiedVariables>
530 <expression xsi:type="language:Exists">
531 <quantifiedVariables name="trg 1">
532 <range xsi:type="language:RealTypeReference"/>
533 </quantifiedVariables>
534 <expression xsi:type="language:And">
535 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14">
536 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.17/@value/@quantifiedVariables.0"/>
537 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.17/@value/@expression/@quantifiedVariables.0"/>
538 </operands>
539 </expression>
540 </expression>
541 </value>
542 </assertions>
543 <assertions name="upperMultiplicity xPos Actor" annotations="//@problemConainer/@annotations.18">
544 <value xsi:type="language:Forall">
545 <quantifiedVariables name="src">
546 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
547 </quantifiedVariables>
548 <quantifiedVariables name="trg 1">
549 <range xsi:type="language:RealTypeReference"/>
550 </quantifiedVariables>
551 <quantifiedVariables name="trg 2">
552 <range xsi:type="language:RealTypeReference"/>
553 </quantifiedVariables>
554 <expression xsi:type="language:Impl">
555 <leftOperand xsi:type="language:And">
556 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14">
557 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.0"/>
558 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.1"/>
559 </operands>
560 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14">
561 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.0"/>
562 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.2"/>
563 </operands>
564 </leftOperand>
565 <rightOperand xsi:type="language:Not">
566 <operand xsi:type="language:Distinct">
567 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.1"/>
568 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.2"/>
569 </operand>
570 </rightOperand>
571 </expression>
572 </value>
573 </assertions>
574 <assertions name="lowerMultiplicity yPos Actor" annotations="//@problemConainer/@annotations.19">
575 <value xsi:type="language:Forall">
576 <quantifiedVariables name="src">
577 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
578 </quantifiedVariables>
579 <expression xsi:type="language:Exists">
580 <quantifiedVariables name="trg 1">
581 <range xsi:type="language:RealTypeReference"/>
582 </quantifiedVariables>
583 <expression xsi:type="language:And">
584 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.15">
585 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.19/@value/@quantifiedVariables.0"/>
586 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.19/@value/@expression/@quantifiedVariables.0"/>
587 </operands>
588 </expression>
589 </expression>
590 </value>
591 </assertions>
592 <assertions name="upperMultiplicity yPos Actor" annotations="//@problemConainer/@annotations.20">
593 <value xsi:type="language:Forall">
594 <quantifiedVariables name="src">
595 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
596 </quantifiedVariables>
597 <quantifiedVariables name="trg 1">
598 <range xsi:type="language:RealTypeReference"/>
599 </quantifiedVariables>
600 <quantifiedVariables name="trg 2">
601 <range xsi:type="language:RealTypeReference"/>
602 </quantifiedVariables>
603 <expression xsi:type="language:Impl">
604 <leftOperand xsi:type="language:And">
605 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.15">
606 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.0"/>
607 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.1"/>
608 </operands>
609 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.15">
610 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.0"/>
611 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.2"/>
612 </operands>
613 </leftOperand>
614 <rightOperand xsi:type="language:Not">
615 <operand xsi:type="language:Distinct">
616 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.1"/>
617 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.2"/>
618 </operand>
619 </rightOperand>
620 </expression>
621 </value>
622 </assertions>
623 <assertions name="lowerMultiplicity length Actor" annotations="//@problemConainer/@annotations.21">
624 <value xsi:type="language:Forall">
625 <quantifiedVariables name="src">
626 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
627 </quantifiedVariables>
628 <expression xsi:type="language:Exists">
629 <quantifiedVariables name="trg 1">
630 <range xsi:type="language:RealTypeReference"/>
631 </quantifiedVariables>
632 <expression xsi:type="language:And">
633 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16">
634 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.21/@value/@quantifiedVariables.0"/>
635 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.21/@value/@expression/@quantifiedVariables.0"/>
636 </operands>
637 </expression>
638 </expression>
639 </value>
640 </assertions>
641 <assertions name="upperMultiplicity length Actor" annotations="//@problemConainer/@annotations.22">
642 <value xsi:type="language:Forall">
643 <quantifiedVariables name="src">
644 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
645 </quantifiedVariables>
646 <quantifiedVariables name="trg 1">
647 <range xsi:type="language:RealTypeReference"/>
648 </quantifiedVariables>
649 <quantifiedVariables name="trg 2">
650 <range xsi:type="language:RealTypeReference"/>
651 </quantifiedVariables>
652 <expression xsi:type="language:Impl">
653 <leftOperand xsi:type="language:And">
654 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16">
655 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.0"/>
656 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.1"/>
657 </operands>
658 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16">
659 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.0"/>
660 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.2"/>
661 </operands>
662 </leftOperand>
663 <rightOperand xsi:type="language:Not">
664 <operand xsi:type="language:Distinct">
665 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.1"/>
666 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.2"/>
667 </operand>
668 </rightOperand>
669 </expression>
670 </value>
671 </assertions>
672 <assertions name="lowerMultiplicity width Actor" annotations="//@problemConainer/@annotations.23">
673 <value xsi:type="language:Forall">
674 <quantifiedVariables name="src">
675 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
676 </quantifiedVariables>
677 <expression xsi:type="language:Exists">
678 <quantifiedVariables name="trg 1">
679 <range xsi:type="language:RealTypeReference"/>
680 </quantifiedVariables>
681 <expression xsi:type="language:And">
682 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.17">
683 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.23/@value/@quantifiedVariables.0"/>
684 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.23/@value/@expression/@quantifiedVariables.0"/>
685 </operands>
686 </expression>
687 </expression>
688 </value>
689 </assertions>
690 <assertions name="upperMultiplicity width Actor" annotations="//@problemConainer/@annotations.24">
691 <value xsi:type="language:Forall">
692 <quantifiedVariables name="src">
693 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
694 </quantifiedVariables>
695 <quantifiedVariables name="trg 1">
696 <range xsi:type="language:RealTypeReference"/>
697 </quantifiedVariables>
698 <quantifiedVariables name="trg 2">
699 <range xsi:type="language:RealTypeReference"/>
700 </quantifiedVariables>
701 <expression xsi:type="language:Impl">
702 <leftOperand xsi:type="language:And">
703 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.17">
704 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.0"/>
705 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.1"/>
706 </operands>
707 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.17">
708 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.0"/>
709 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.2"/>
710 </operands>
711 </leftOperand>
712 <rightOperand xsi:type="language:Not">
713 <operand xsi:type="language:Distinct">
714 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.1"/>
715 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.2"/>
716 </operand>
717 </rightOperand>
718 </expression>
719 </value>
720 </assertions>
721 <assertions name="lowerMultiplicity speed Actor" annotations="//@problemConainer/@annotations.25">
722 <value xsi:type="language:Forall">
723 <quantifiedVariables name="src">
724 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
725 </quantifiedVariables>
726 <expression xsi:type="language:Exists">
727 <quantifiedVariables name="trg 1">
728 <range xsi:type="language:RealTypeReference"/>
729 </quantifiedVariables>
730 <expression xsi:type="language:And">
731 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.18">
732 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.25/@value/@quantifiedVariables.0"/>
733 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.25/@value/@expression/@quantifiedVariables.0"/>
734 </operands>
735 </expression>
736 </expression>
737 </value>
738 </assertions>
739 <assertions name="upperMultiplicity speed Actor" annotations="//@problemConainer/@annotations.26">
740 <value xsi:type="language:Forall">
741 <quantifiedVariables name="src">
742 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
743 </quantifiedVariables>
744 <quantifiedVariables name="trg 1">
745 <range xsi:type="language:RealTypeReference"/>
746 </quantifiedVariables>
747 <quantifiedVariables name="trg 2">
748 <range xsi:type="language:RealTypeReference"/>
749 </quantifiedVariables>
750 <expression xsi:type="language:Impl">
751 <leftOperand xsi:type="language:And">
752 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.18">
753 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.0"/>
754 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.1"/>
755 </operands>
756 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.18">
757 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.0"/>
758 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.2"/>
759 </operands>
760 </leftOperand>
761 <rightOperand xsi:type="language:Not">
762 <operand xsi:type="language:Distinct">
763 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.1"/>
764 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.2"/>
765 </operand>
766 </rightOperand>
767 </expression>
768 </value>
769 </assertions>
770 <assertions name="lowerMultiplicity distance SeperationDistance" annotations="//@problemConainer/@annotations.27">
771 <value xsi:type="language:Forall">
772 <quantifiedVariables name="src">
773 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.7"/>
774 </quantifiedVariables>
775 <expression xsi:type="language:Exists">
776 <quantifiedVariables name="trg 1">
777 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.14"/>
778 </quantifiedVariables>
779 <expression xsi:type="language:And">
780 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.19">
781 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.27/@value/@quantifiedVariables.0"/>
782 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.27/@value/@expression/@quantifiedVariables.0"/>
783 </operands>
784 </expression>
785 </expression>
786 </value>
787 </assertions>
788 <assertions name="upperMultiplicity distance SeperationDistance" annotations="//@problemConainer/@annotations.28">
789 <value xsi:type="language:Forall">
790 <quantifiedVariables name="src">
791 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.7"/>
792 </quantifiedVariables>
793 <quantifiedVariables name="trg 1">
794 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.14"/>
795 </quantifiedVariables>
796 <quantifiedVariables name="trg 2">
797 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.14"/>
798 </quantifiedVariables>
799 <expression xsi:type="language:Impl">
800 <leftOperand xsi:type="language:And">
801 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.19">
802 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.0"/>
803 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.1"/>
804 </operands>
805 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.19">
806 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.0"/>
807 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.2"/>
808 </operands>
809 </leftOperand>
810 <rightOperand xsi:type="language:Not">
811 <operand xsi:type="language:Distinct">
812 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.1"/>
813 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.2"/>
814 </operand>
815 </rightOperand>
816 </expression>
817 </value>
818 </assertions>
819 <assertions name="lowerMultiplicity numDistance SeperationDistance" annotations="//@problemConainer/@annotations.29">
820 <value xsi:type="language:Forall">
821 <quantifiedVariables name="src">
822 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.7"/>
823 </quantifiedVariables>
824 <expression xsi:type="language:Exists">
825 <quantifiedVariables name="trg 1">
826 <range xsi:type="language:RealTypeReference"/>
827 </quantifiedVariables>
828 <expression xsi:type="language:And">
829 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20">
830 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.29/@value/@quantifiedVariables.0"/>
831 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.29/@value/@expression/@quantifiedVariables.0"/>
832 </operands>
833 </expression>
834 </expression>
835 </value>
836 </assertions>
837 <assertions name="upperMultiplicity numDistance SeperationDistance" annotations="//@problemConainer/@annotations.30">
838 <value xsi:type="language:Forall">
839 <quantifiedVariables name="src">
840 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.7"/>
841 </quantifiedVariables>
842 <quantifiedVariables name="trg 1">
843 <range xsi:type="language:RealTypeReference"/>
844 </quantifiedVariables>
845 <quantifiedVariables name="trg 2">
846 <range xsi:type="language:RealTypeReference"/>
847 </quantifiedVariables>
848 <expression xsi:type="language:Impl">
849 <leftOperand xsi:type="language:And">
850 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20">
851 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.0"/>
852 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.1"/>
853 </operands>
854 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20">
855 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.0"/>
856 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.2"/>
857 </operands>
858 </leftOperand>
859 <rightOperand xsi:type="language:Not">
860 <operand xsi:type="language:Distinct">
861 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.1"/>
862 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.2"/>
863 </operand>
864 </rightOperand>
865 </expression>
866 </value>
867 </assertions>
868 <assertions name="lowerMultiplicity collisionTime CollisionExists" annotations="//@problemConainer/@annotations.31">
869 <value xsi:type="language:Forall">
870 <quantifiedVariables name="src">
871 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.8"/>
872 </quantifiedVariables>
873 <expression xsi:type="language:Exists">
874 <quantifiedVariables name="trg 1">
875 <range xsi:type="language:RealTypeReference"/>
876 </quantifiedVariables>
877 <expression xsi:type="language:And">
878 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.21">
879 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.31/@value/@quantifiedVariables.0"/>
880 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.31/@value/@expression/@quantifiedVariables.0"/>
881 </operands>
882 </expression>
883 </expression>
884 </value>
885 </assertions>
886 <assertions name="upperMultiplicity collisionTime CollisionExists" annotations="//@problemConainer/@annotations.32">
887 <value xsi:type="language:Forall">
888 <quantifiedVariables name="src">
889 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.8"/>
890 </quantifiedVariables>
891 <quantifiedVariables name="trg 1">
892 <range xsi:type="language:RealTypeReference"/>
893 </quantifiedVariables>
894 <quantifiedVariables name="trg 2">
895 <range xsi:type="language:RealTypeReference"/>
896 </quantifiedVariables>
897 <expression xsi:type="language:Impl">
898 <leftOperand xsi:type="language:And">
899 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.21">
900 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.0"/>
901 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.1"/>
902 </operands>
903 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.21">
904 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.0"/>
905 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.2"/>
906 </operands>
907 </leftOperand>
908 <rightOperand xsi:type="language:Not">
909 <operand xsi:type="language:Distinct">
910 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.1"/>
911 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.2"/>
912 </operand>
913 </rightOperand>
914 </expression>
915 </value>
916 </assertions>
917 <assertions name="PartialInterpretation xSize attribute SimpleScenario" annotations="//@problemConainer/@annotations.33">
918 <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.8">
919 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@elements.8"/>
920 <parameterSubstitutions xsi:type="language:RealLiteral" value="0.0"/>
921 </value>
922 </assertions>
923 <assertions name="PartialInterpretation ySize attribute SimpleScenario" annotations="//@problemConainer/@annotations.34">
924 <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9">
925 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@elements.8"/>
926 <parameterSubstitutions xsi:type="language:RealLiteral" value="0.0"/>
927 </value>
928 </assertions>
929 <assertions name="errorpattern queries refSpec" annotations="//@problemConainer/@annotations.36">
930 <value xsi:type="language:Forall">
931 <quantifiedVariables name="p0">
932 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
933 </quantifiedVariables>
934 <expression xsi:type="language:Not">
935 <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.22">
936 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.35/@value/@quantifiedVariables.0"/>
937 </operand>
938 </expression>
939 </value>
940 </assertions>
941 <relations xsi:type="language:RelationDeclaration" name="actors reference SimpleScenario">
942 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
943 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
944 </relations>
945 <relations xsi:type="language:RelationDeclaration" name="lanes reference SimpleScenario">
946 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
947 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
948 </relations>
949 <relations xsi:type="language:RelationDeclaration" name="adjacent reference Lane">
950 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
951 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
952 </relations>
953 <relations xsi:type="language:RelationDeclaration" name="actors reference Lane">
954 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
955 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
956 </relations>
957 <relations xsi:type="language:RelationDeclaration" name="relations reference Actor">
958 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
959 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/>
960 </relations>
961 <relations xsi:type="language:RelationDeclaration" name="placedOn reference Actor">
962 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
963 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
964 </relations>
965 <relations xsi:type="language:RelationDeclaration" name="target reference Relation">
966 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/>
967 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
968 </relations>
969 <relations xsi:type="language:RelationDeclaration" name="blockedBy reference VisionBlocked">
970 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.6"/>
971 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
972 </relations>
973 <relations xsi:type="language:RelationDeclaration" name="xSize attribute SimpleScenario">
974 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
975 <parameters xsi:type="language:RealTypeReference"/>
976 </relations>
977 <relations xsi:type="language:RelationDeclaration" name="ySize attribute SimpleScenario">
978 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
979 <parameters xsi:type="language:RealTypeReference"/>
980 </relations>
981 <relations xsi:type="language:RelationDeclaration" name="orientation attribute Lane">
982 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
983 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.12"/>
984 </relations>
985 <relations xsi:type="language:RelationDeclaration" name="width attribute Lane">
986 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
987 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.13"/>
988 </relations>
989 <relations xsi:type="language:RelationDeclaration" name="referenceCoord attribute Lane">
990 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
991 <parameters xsi:type="language:IntTypeReference"/>
992 </relations>
993 <relations xsi:type="language:RelationDeclaration" name="numWidth attribute Lane">
994 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
995 <parameters xsi:type="language:RealTypeReference"/>
996 </relations>
997 <relations xsi:type="language:RelationDeclaration" name="xPos attribute Actor">
998 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
999 <parameters xsi:type="language:RealTypeReference"/>
1000 </relations>
1001 <relations xsi:type="language:RelationDeclaration" name="yPos attribute Actor">
1002 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1003 <parameters xsi:type="language:RealTypeReference"/>
1004 </relations>
1005 <relations xsi:type="language:RelationDeclaration" name="length attribute Actor">
1006 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1007 <parameters xsi:type="language:RealTypeReference"/>
1008 </relations>
1009 <relations xsi:type="language:RelationDeclaration" name="width attribute Actor">
1010 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1011 <parameters xsi:type="language:RealTypeReference"/>
1012 </relations>
1013 <relations xsi:type="language:RelationDeclaration" name="speed attribute Actor">
1014 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1015 <parameters xsi:type="language:RealTypeReference"/>
1016 </relations>
1017 <relations xsi:type="language:RelationDeclaration" name="distance attribute SeperationDistance">
1018 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.7"/>
1019 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.14"/>
1020 </relations>
1021 <relations xsi:type="language:RelationDeclaration" name="numDistance attribute SeperationDistance">
1022 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.7"/>
1023 <parameters xsi:type="language:RealTypeReference"/>
1024 </relations>
1025 <relations xsi:type="language:RelationDeclaration" name="collisionTime attribute CollisionExists">
1026 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.8"/>
1027 <parameters xsi:type="language:RealTypeReference"/>
1028 </relations>
1029 <relations xsi:type="language:RelationDefinition" name="pattern queries refSpec" annotations="//@problemConainer/@annotations.35">
1030 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1031 <variables name="parameter l">
1032 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1033 </variables>
1034 <value xsi:type="language:Or">
1035 <operands xsi:type="language:Exists">
1036 <quantifiedVariables name="variable w">
1037 <range xsi:type="language:IntTypeReference"/>
1038 </quantifiedVariables>
1039 <expression xsi:type="language:And">
1040 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12">
1041 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.22/@variables.0"/>
1042 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.22/@value/@operands.0/@quantifiedVariables.0"/>
1043 </operands>
1044 <operands xsi:type="language:Distinct">
1045 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.22/@value/@operands.0/@quantifiedVariables.0"/>
1046 <operands xsi:type="language:IntLiteral" value="2"/>
1047 </operands>
1048 </expression>
1049 </operands>
1050 </value>
1051 </relations>
1052 <elements name="Vertical literal Orientation" definedInType="//@problemConainer/@types.12"/>
1053 <elements name="Horizontal literal Orientation" definedInType="//@problemConainer/@types.12"/>
1054 <elements name="Small literal Size" definedInType="//@problemConainer/@types.13"/>
1055 <elements name="Medium literal Size" definedInType="//@problemConainer/@types.13"/>
1056 <elements name="Large literal Size" definedInType="//@problemConainer/@types.13"/>
1057 <elements name="Near literal Distance" definedInType="//@problemConainer/@types.14"/>
1058 <elements name="Medium literal Distance" definedInType="//@problemConainer/@types.14"/>
1059 <elements name="Far literal Distance" definedInType="//@problemConainer/@types.14"/>
1060 <elements name="o 1" definedInType="//@problemConainer/@types.15"/>
1061 <containmentHierarchies typesOrderedInHierarchy="//@problemConainer/@types.1 //@problemConainer/@types.3 //@problemConainer/@types.6 //@problemConainer/@types.9 //@problemConainer/@types.2 //@problemConainer/@types.0 //@problemConainer/@types.4 //@problemConainer/@types.11 //@problemConainer/@types.5 //@problemConainer/@types.8 //@problemConainer/@types.10 //@problemConainer/@types.7 //@problemConainer/@types.15 //@problemConainer/@types.16" containmentRelations="//@problemConainer/@relations.0 //@problemConainer/@relations.1 //@problemConainer/@relations.4"/>
1062 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.0" relation="//@problemConainer/@relations.2" upper="2"/>
1063 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.1" relation="//@problemConainer/@relations.5" lower="1"/>
1064 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.2" relation="//@problemConainer/@relations.5" upper="1"/>
1065 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.3" relation="//@problemConainer/@relations.6" lower="1"/>
1066 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.4" relation="//@problemConainer/@relations.6" upper="1"/>
1067 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.5" relation="//@problemConainer/@relations.7" upper="1"/>
1068 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@problemConainer/@assertions.6" inverseA="//@problemConainer/@relations.3" inverseB="//@problemConainer/@relations.5"/>
1069 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.7" relation="//@problemConainer/@relations.8" upper="1"/>
1070 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.8" relation="//@problemConainer/@relations.9" upper="1"/>
1071 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.9" relation="//@problemConainer/@relations.10" lower="1"/>
1072 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.10" relation="//@problemConainer/@relations.10" upper="1"/>
1073 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.11" relation="//@problemConainer/@relations.11" lower="1"/>
1074 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.12" relation="//@problemConainer/@relations.11" upper="1"/>
1075 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.13" relation="//@problemConainer/@relations.12" lower="1"/>
1076 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.14" relation="//@problemConainer/@relations.12" upper="1"/>
1077 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.15" relation="//@problemConainer/@relations.13" lower="1"/>
1078 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.16" relation="//@problemConainer/@relations.13" upper="1"/>
1079 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.17" relation="//@problemConainer/@relations.14" lower="1"/>
1080 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.18" relation="//@problemConainer/@relations.14" upper="1"/>
1081 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.19" relation="//@problemConainer/@relations.15" lower="1"/>
1082 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.20" relation="//@problemConainer/@relations.15" upper="1"/>
1083 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.21" relation="//@problemConainer/@relations.16" lower="1"/>
1084 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.22" relation="//@problemConainer/@relations.16" upper="1"/>
1085 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.23" relation="//@problemConainer/@relations.17" lower="1"/>
1086 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.24" relation="//@problemConainer/@relations.17" upper="1"/>
1087 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.25" relation="//@problemConainer/@relations.18" lower="1"/>
1088 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.26" relation="//@problemConainer/@relations.18" upper="1"/>
1089 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.27" relation="//@problemConainer/@relations.19" lower="1"/>
1090 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.28" relation="//@problemConainer/@relations.19" upper="1"/>
1091 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.29" relation="//@problemConainer/@relations.20" lower="1"/>
1092 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.30" relation="//@problemConainer/@relations.20" upper="1"/>
1093 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.31" relation="//@problemConainer/@relations.21" lower="1"/>
1094 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.32" relation="//@problemConainer/@relations.21" upper="1"/>
1095 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@problemConainer/@assertions.33" targetRelation="//@problemConainer/@relations.8"/>
1096 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@problemConainer/@assertions.34" targetRelation="//@problemConainer/@relations.9"/>
1097 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.22" patternFullyQualifiedName="queries.refSpec">
1098 <variableTrace targetLogicVariable="//@problemConainer/@relations.22/@value/@operands.0/@quantifiedVariables.0"/>
1099 </annotations>
1100 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@problemConainer/@assertions.35" query="//@problemConainer/@annotations.35"/>
1101 </problemConainer>
1102 <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.4"/>
1103 <scopes maxNewElements="0" targetTypeInterpretation="//@partialtypeinterpratation.5"/>
1104 <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.6"/>
1105 <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.7"/>
1106 <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.8"/>
1107 <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.9"/>
1108 <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.10"/>
1109 <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.11"/>
1110 <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.12"/>
1111 <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.13"/>
1112 <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.14"/>
1113 <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.15"/>
1114 <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.16"/>
1115</partialinterpretation:PartialInterpretation>
diff --git a/Domains/simpleScenario/inputs/Debug/partial.xmi b/Domains/simpleScenario/inputs/Debug/partial.xmi
new file mode 100644
index 00000000..2b25e65e
--- /dev/null
+++ b/Domains/simpleScenario/inputs/Debug/partial.xmi
@@ -0,0 +1,1115 @@
1<?xml version="1.0" encoding="ASCII"?>
2<partialinterpretation:PartialInterpretation xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/ecore2logicannotation" xmlns:language="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language" xmlns:partial2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/partial2logicannotation" xmlns:partialinterpretation="http://www.bme.hu/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage" xmlns:viatra2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/viatra2logicannotation" problem="//@problemConainer" maxNewElements="20">
3 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.0" param1="//@problemConainer/@relations.0/@parameters.0" param2="//@problemConainer/@relations.0/@parameters.1"/>
4 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.1" param1="//@problemConainer/@relations.1/@parameters.0" param2="//@problemConainer/@relations.1/@parameters.1">
5 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.8" param2="//@newElements.3"/>
6 </partialrelationinterpretation>
7 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.2" param1="//@problemConainer/@relations.2/@parameters.0" param2="//@problemConainer/@relations.2/@parameters.1"/>
8 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.3" param1="//@problemConainer/@relations.3/@parameters.0" param2="//@problemConainer/@relations.3/@parameters.1"/>
9 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.4" param1="//@problemConainer/@relations.4/@parameters.0" param2="//@problemConainer/@relations.4/@parameters.1"/>
10 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.5" param1="//@problemConainer/@relations.5/@parameters.0" param2="//@problemConainer/@relations.5/@parameters.1"/>
11 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.6" param1="//@problemConainer/@relations.6/@parameters.0" param2="//@problemConainer/@relations.6/@parameters.1"/>
12 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.7" param1="//@problemConainer/@relations.7/@parameters.0" param2="//@problemConainer/@relations.7/@parameters.1"/>
13 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.8" param1="//@problemConainer/@relations.8/@parameters.0" param2="//@problemConainer/@relations.8/@parameters.1">
14 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.8" param2="//@newElements.2"/>
15 </partialrelationinterpretation>
16 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.9" param1="//@problemConainer/@relations.9/@parameters.0" param2="//@problemConainer/@relations.9/@parameters.1">
17 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.8" param2="//@newElements.2"/>
18 </partialrelationinterpretation>
19 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.10" param1="//@problemConainer/@relations.10/@parameters.0" param2="//@problemConainer/@relations.10/@parameters.1"/>
20 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.11" param1="//@problemConainer/@relations.11/@parameters.0" param2="//@problemConainer/@relations.11/@parameters.1"/>
21 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.12" param1="//@problemConainer/@relations.12/@parameters.0" param2="//@problemConainer/@relations.12/@parameters.1">
22 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.3" param2="//@newElements.4"/>
23 </partialrelationinterpretation>
24 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.13" param1="//@problemConainer/@relations.13/@parameters.0" param2="//@problemConainer/@relations.13/@parameters.1">
25 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.3" param2="//@newElements.5"/>
26 </partialrelationinterpretation>
27 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.14" param1="//@problemConainer/@relations.14/@parameters.0" param2="//@problemConainer/@relations.14/@parameters.1"/>
28 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.15" param1="//@problemConainer/@relations.15/@parameters.0" param2="//@problemConainer/@relations.15/@parameters.1"/>
29 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.16" param1="//@problemConainer/@relations.16/@parameters.0" param2="//@problemConainer/@relations.16/@parameters.1"/>
30 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.17" param1="//@problemConainer/@relations.17/@parameters.0" param2="//@problemConainer/@relations.17/@parameters.1"/>
31 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.18" param1="//@problemConainer/@relations.18/@parameters.0" param2="//@problemConainer/@relations.18/@parameters.1"/>
32 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.19" param1="//@problemConainer/@relations.19/@parameters.0" param2="//@problemConainer/@relations.19/@parameters.1"/>
33 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.20" param1="//@problemConainer/@relations.20/@parameters.0" param2="//@problemConainer/@relations.20/@parameters.1"/>
34 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.21" param1="//@problemConainer/@relations.21/@parameters.0" param2="//@problemConainer/@relations.21/@parameters.1"/>
35 <newElements xsi:type="partialinterpretation:BooleanElement" name="true" valueSet="true" value="true"/>
36 <newElements xsi:type="partialinterpretation:BooleanElement" name="false" valueSet="true"/>
37 <newElements xsi:type="partialinterpretation:RealElement" name="0.0" valueSet="true" value="0.0"/>
38 <newElements/>
39 <newElements xsi:type="partialinterpretation:RealElement"/>
40 <newElements xsi:type="partialinterpretation:RealElement"/>
41 <partialtypeinterpratation xsi:type="partialinterpretation:PartialBooleanInterpretation" elements="//@newElements.0 //@newElements.1"/>
42 <partialtypeinterpratation xsi:type="partialinterpretation:PartialIntegerInterpretation"/>
43 <partialtypeinterpratation xsi:type="partialinterpretation:PartialRealInterpretation" elements="//@newElements.2 //@openWorldElements.0 //@newElements.4 //@newElements.5"/>
44 <partialtypeinterpratation xsi:type="partialinterpretation:PartialStringInterpretation" elements="//@openWorldElements.1"/>
45 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@problemConainer/@elements.8" scopes="//@scopes.0" interpretationOf="//@problemConainer/@types.0"/>
46 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@newElements.3" scopes="//@scopes.1" interpretationOf="//@problemConainer/@types.1"/>
47 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.2" interpretationOf="//@problemConainer/@types.2"/>
48 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.3" interpretationOf="//@problemConainer/@types.3"/>
49 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.4" supertypeInterpretation="//@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.4"/>
50 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.5" supertypeInterpretation="//@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.5"/>
51 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.6" supertypeInterpretation="//@partialtypeinterpratation.8 //@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.6"/>
52 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.7" supertypeInterpretation="//@partialtypeinterpratation.8 //@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.7"/>
53 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.8" supertypeInterpretation="//@partialtypeinterpratation.9 //@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.8"/>
54 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.9" supertypeInterpretation="//@partialtypeinterpratation.9 //@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.9"/>
55 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.10" supertypeInterpretation="//@partialtypeinterpratation.6" interpretationOf="//@problemConainer/@types.10"/>
56 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.11" supertypeInterpretation="//@partialtypeinterpratation.6" interpretationOf="//@problemConainer/@types.11"/>
57 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.12" supertypeInterpretation="//@partialtypeinterpratation.4" interpretationOf="//@problemConainer/@types.16"/>
58 <openWorldElements xsi:type="partialinterpretation:RealElement" name="New Reals"/>
59 <openWorldElements xsi:type="partialinterpretation:StringElement" name="New Strings"/>
60 <openWorldElements name="New Objects"/>
61 <problemConainer>
62 <types xsi:type="language:TypeDeclaration" name="SimpleScenario class" subtypes="//@problemConainer/@types.15 //@problemConainer/@types.16" isAbstract="true"/>
63 <types xsi:type="language:TypeDeclaration" name="Lane class"/>
64 <types xsi:type="language:TypeDeclaration" name="Actor class" subtypes="//@problemConainer/@types.10 //@problemConainer/@types.11" isAbstract="true"/>
65 <types xsi:type="language:TypeDeclaration" name="Relation class" subtypes="//@problemConainer/@types.4 //@problemConainer/@types.5" isAbstract="true"/>
66 <types xsi:type="language:TypeDeclaration" name="SpatialRelation class" subtypes="//@problemConainer/@types.6 //@problemConainer/@types.7" supertypes="//@problemConainer/@types.3" isAbstract="true"/>
67 <types xsi:type="language:TypeDeclaration" name="TemporalRelation class" subtypes="//@problemConainer/@types.8 //@problemConainer/@types.9" supertypes="//@problemConainer/@types.3" isAbstract="true"/>
68 <types xsi:type="language:TypeDeclaration" name="VisionBlocked class" supertypes="//@problemConainer/@types.4"/>
69 <types xsi:type="language:TypeDeclaration" name="SeperationDistance class" supertypes="//@problemConainer/@types.4"/>
70 <types xsi:type="language:TypeDeclaration" name="CollisionExists class" supertypes="//@problemConainer/@types.5"/>
71 <types xsi:type="language:TypeDeclaration" name="CollisionDoesNotExist class" supertypes="//@problemConainer/@types.5"/>
72 <types xsi:type="language:TypeDeclaration" name="Pedestrian class" supertypes="//@problemConainer/@types.2"/>
73 <types xsi:type="language:TypeDeclaration" name="Vehicle class" supertypes="//@problemConainer/@types.2"/>
74 <types xsi:type="language:TypeDefinition" name="Orientation enum" elements="//@problemConainer/@elements.0 //@problemConainer/@elements.1"/>
75 <types xsi:type="language:TypeDefinition" name="Size enum" elements="//@problemConainer/@elements.2 //@problemConainer/@elements.3 //@problemConainer/@elements.4"/>
76 <types xsi:type="language:TypeDefinition" name="Distance enum" elements="//@problemConainer/@elements.5 //@problemConainer/@elements.6 //@problemConainer/@elements.7"/>
77 <types xsi:type="language:TypeDefinition" name="SimpleScenario class DefinedPart" supertypes="//@problemConainer/@types.0" elements="//@problemConainer/@elements.8"/>
78 <types xsi:type="language:TypeDeclaration" name="SimpleScenario class UndefinedPart" supertypes="//@problemConainer/@types.0"/>
79 <assertions name="upperMultiplicity adjacent Lane" annotations="//@problemConainer/@annotations.0">
80 <value xsi:type="language:Forall">
81 <quantifiedVariables name="src">
82 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
83 </quantifiedVariables>
84 <quantifiedVariables name="trg 1">
85 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
86 </quantifiedVariables>
87 <quantifiedVariables name="trg 2">
88 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
89 </quantifiedVariables>
90 <quantifiedVariables name="trg 3">
91 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
92 </quantifiedVariables>
93 <expression xsi:type="language:Impl">
94 <leftOperand xsi:type="language:And">
95 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.2">
96 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.0"/>
97 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.1"/>
98 </operands>
99 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.2">
100 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.0"/>
101 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.2"/>
102 </operands>
103 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.2">
104 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.0"/>
105 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.3"/>
106 </operands>
107 </leftOperand>
108 <rightOperand xsi:type="language:Not">
109 <operand xsi:type="language:Distinct">
110 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.1"/>
111 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.2"/>
112 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.3"/>
113 </operand>
114 </rightOperand>
115 </expression>
116 </value>
117 </assertions>
118 <assertions name="lowerMultiplicity placedOn Actor" annotations="//@problemConainer/@annotations.1">
119 <value xsi:type="language:Forall">
120 <quantifiedVariables name="src">
121 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
122 </quantifiedVariables>
123 <expression xsi:type="language:Exists">
124 <quantifiedVariables name="trg 1">
125 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
126 </quantifiedVariables>
127 <expression xsi:type="language:And">
128 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5">
129 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.1/@value/@quantifiedVariables.0"/>
130 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.1/@value/@expression/@quantifiedVariables.0"/>
131 </operands>
132 </expression>
133 </expression>
134 </value>
135 </assertions>
136 <assertions name="upperMultiplicity placedOn Actor" annotations="//@problemConainer/@annotations.2">
137 <value xsi:type="language:Forall">
138 <quantifiedVariables name="src">
139 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
140 </quantifiedVariables>
141 <quantifiedVariables name="trg 1">
142 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
143 </quantifiedVariables>
144 <quantifiedVariables name="trg 2">
145 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
146 </quantifiedVariables>
147 <expression xsi:type="language:Impl">
148 <leftOperand xsi:type="language:And">
149 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5">
150 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.0"/>
151 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.1"/>
152 </operands>
153 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5">
154 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.0"/>
155 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.2"/>
156 </operands>
157 </leftOperand>
158 <rightOperand xsi:type="language:Not">
159 <operand xsi:type="language:Distinct">
160 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.1"/>
161 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.2"/>
162 </operand>
163 </rightOperand>
164 </expression>
165 </value>
166 </assertions>
167 <assertions name="lowerMultiplicity target Relation" annotations="//@problemConainer/@annotations.3">
168 <value xsi:type="language:Forall">
169 <quantifiedVariables name="src">
170 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/>
171 </quantifiedVariables>
172 <expression xsi:type="language:Exists">
173 <quantifiedVariables name="trg 1">
174 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
175 </quantifiedVariables>
176 <expression xsi:type="language:And">
177 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6">
178 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.3/@value/@quantifiedVariables.0"/>
179 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.3/@value/@expression/@quantifiedVariables.0"/>
180 </operands>
181 </expression>
182 </expression>
183 </value>
184 </assertions>
185 <assertions name="upperMultiplicity target Relation" annotations="//@problemConainer/@annotations.4">
186 <value xsi:type="language:Forall">
187 <quantifiedVariables name="src">
188 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/>
189 </quantifiedVariables>
190 <quantifiedVariables name="trg 1">
191 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
192 </quantifiedVariables>
193 <quantifiedVariables name="trg 2">
194 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
195 </quantifiedVariables>
196 <expression xsi:type="language:Impl">
197 <leftOperand xsi:type="language:And">
198 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6">
199 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.0"/>
200 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.1"/>
201 </operands>
202 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6">
203 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.0"/>
204 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.2"/>
205 </operands>
206 </leftOperand>
207 <rightOperand xsi:type="language:Not">
208 <operand xsi:type="language:Distinct">
209 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.1"/>
210 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.2"/>
211 </operand>
212 </rightOperand>
213 </expression>
214 </value>
215 </assertions>
216 <assertions name="upperMultiplicity blockedBy VisionBlocked" annotations="//@problemConainer/@annotations.5">
217 <value xsi:type="language:Forall">
218 <quantifiedVariables name="src">
219 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.6"/>
220 </quantifiedVariables>
221 <quantifiedVariables name="trg 1">
222 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
223 </quantifiedVariables>
224 <quantifiedVariables name="trg 2">
225 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
226 </quantifiedVariables>
227 <expression xsi:type="language:Impl">
228 <leftOperand xsi:type="language:And">
229 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.7">
230 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.0"/>
231 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.1"/>
232 </operands>
233 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.7">
234 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.0"/>
235 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.2"/>
236 </operands>
237 </leftOperand>
238 <rightOperand xsi:type="language:Not">
239 <operand xsi:type="language:Distinct">
240 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.1"/>
241 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.2"/>
242 </operand>
243 </rightOperand>
244 </expression>
245 </value>
246 </assertions>
247 <assertions name="oppositeReference actors Lane" annotations="//@problemConainer/@annotations.6">
248 <value xsi:type="language:Forall">
249 <quantifiedVariables name="src">
250 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
251 </quantifiedVariables>
252 <quantifiedVariables name="trg">
253 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
254 </quantifiedVariables>
255 <expression xsi:type="language:Iff">
256 <leftOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.3">
257 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@quantifiedVariables.0"/>
258 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@quantifiedVariables.1"/>
259 </leftOperand>
260 <rightOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5">
261 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@quantifiedVariables.1"/>
262 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@quantifiedVariables.0"/>
263 </rightOperand>
264 </expression>
265 </value>
266 </assertions>
267 <assertions name="upperMultiplicity xSize SimpleScenario" annotations="//@problemConainer/@annotations.7">
268 <value xsi:type="language:Forall">
269 <quantifiedVariables name="src">
270 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
271 </quantifiedVariables>
272 <quantifiedVariables name="trg 1">
273 <range xsi:type="language:RealTypeReference"/>
274 </quantifiedVariables>
275 <quantifiedVariables name="trg 2">
276 <range xsi:type="language:RealTypeReference"/>
277 </quantifiedVariables>
278 <expression xsi:type="language:Impl">
279 <leftOperand xsi:type="language:And">
280 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.8">
281 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.0"/>
282 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.1"/>
283 </operands>
284 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.8">
285 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.0"/>
286 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.2"/>
287 </operands>
288 </leftOperand>
289 <rightOperand xsi:type="language:Not">
290 <operand xsi:type="language:Distinct">
291 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.1"/>
292 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.2"/>
293 </operand>
294 </rightOperand>
295 </expression>
296 </value>
297 </assertions>
298 <assertions name="upperMultiplicity ySize SimpleScenario" annotations="//@problemConainer/@annotations.8">
299 <value xsi:type="language:Forall">
300 <quantifiedVariables name="src">
301 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
302 </quantifiedVariables>
303 <quantifiedVariables name="trg 1">
304 <range xsi:type="language:RealTypeReference"/>
305 </quantifiedVariables>
306 <quantifiedVariables name="trg 2">
307 <range xsi:type="language:RealTypeReference"/>
308 </quantifiedVariables>
309 <expression xsi:type="language:Impl">
310 <leftOperand xsi:type="language:And">
311 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9">
312 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.0"/>
313 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.1"/>
314 </operands>
315 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9">
316 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.0"/>
317 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.2"/>
318 </operands>
319 </leftOperand>
320 <rightOperand xsi:type="language:Not">
321 <operand xsi:type="language:Distinct">
322 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.1"/>
323 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.2"/>
324 </operand>
325 </rightOperand>
326 </expression>
327 </value>
328 </assertions>
329 <assertions name="lowerMultiplicity orientation Lane" annotations="//@problemConainer/@annotations.9">
330 <value xsi:type="language:Forall">
331 <quantifiedVariables name="src">
332 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
333 </quantifiedVariables>
334 <expression xsi:type="language:Exists">
335 <quantifiedVariables name="trg 1">
336 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.12"/>
337 </quantifiedVariables>
338 <expression xsi:type="language:And">
339 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10">
340 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.9/@value/@quantifiedVariables.0"/>
341 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.9/@value/@expression/@quantifiedVariables.0"/>
342 </operands>
343 </expression>
344 </expression>
345 </value>
346 </assertions>
347 <assertions name="upperMultiplicity orientation Lane" annotations="//@problemConainer/@annotations.10">
348 <value xsi:type="language:Forall">
349 <quantifiedVariables name="src">
350 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
351 </quantifiedVariables>
352 <quantifiedVariables name="trg 1">
353 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.12"/>
354 </quantifiedVariables>
355 <quantifiedVariables name="trg 2">
356 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.12"/>
357 </quantifiedVariables>
358 <expression xsi:type="language:Impl">
359 <leftOperand xsi:type="language:And">
360 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10">
361 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.0"/>
362 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.1"/>
363 </operands>
364 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10">
365 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.0"/>
366 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.2"/>
367 </operands>
368 </leftOperand>
369 <rightOperand xsi:type="language:Not">
370 <operand xsi:type="language:Distinct">
371 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.1"/>
372 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.2"/>
373 </operand>
374 </rightOperand>
375 </expression>
376 </value>
377 </assertions>
378 <assertions name="lowerMultiplicity width Lane" annotations="//@problemConainer/@annotations.11">
379 <value xsi:type="language:Forall">
380 <quantifiedVariables name="src">
381 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
382 </quantifiedVariables>
383 <expression xsi:type="language:Exists">
384 <quantifiedVariables name="trg 1">
385 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.13"/>
386 </quantifiedVariables>
387 <expression xsi:type="language:And">
388 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.11">
389 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.11/@value/@quantifiedVariables.0"/>
390 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.11/@value/@expression/@quantifiedVariables.0"/>
391 </operands>
392 </expression>
393 </expression>
394 </value>
395 </assertions>
396 <assertions name="upperMultiplicity width Lane" annotations="//@problemConainer/@annotations.12">
397 <value xsi:type="language:Forall">
398 <quantifiedVariables name="src">
399 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
400 </quantifiedVariables>
401 <quantifiedVariables name="trg 1">
402 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.13"/>
403 </quantifiedVariables>
404 <quantifiedVariables name="trg 2">
405 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.13"/>
406 </quantifiedVariables>
407 <expression xsi:type="language:Impl">
408 <leftOperand xsi:type="language:And">
409 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.11">
410 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.0"/>
411 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.1"/>
412 </operands>
413 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.11">
414 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.0"/>
415 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.2"/>
416 </operands>
417 </leftOperand>
418 <rightOperand xsi:type="language:Not">
419 <operand xsi:type="language:Distinct">
420 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.1"/>
421 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.2"/>
422 </operand>
423 </rightOperand>
424 </expression>
425 </value>
426 </assertions>
427 <assertions name="lowerMultiplicity referenceCoord Lane" annotations="//@problemConainer/@annotations.13">
428 <value xsi:type="language:Forall">
429 <quantifiedVariables name="src">
430 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
431 </quantifiedVariables>
432 <expression xsi:type="language:Exists">
433 <quantifiedVariables name="trg 1">
434 <range xsi:type="language:RealTypeReference"/>
435 </quantifiedVariables>
436 <expression xsi:type="language:And">
437 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12">
438 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.13/@value/@quantifiedVariables.0"/>
439 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.13/@value/@expression/@quantifiedVariables.0"/>
440 </operands>
441 </expression>
442 </expression>
443 </value>
444 </assertions>
445 <assertions name="upperMultiplicity referenceCoord Lane" annotations="//@problemConainer/@annotations.14">
446 <value xsi:type="language:Forall">
447 <quantifiedVariables name="src">
448 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
449 </quantifiedVariables>
450 <quantifiedVariables name="trg 1">
451 <range xsi:type="language:RealTypeReference"/>
452 </quantifiedVariables>
453 <quantifiedVariables name="trg 2">
454 <range xsi:type="language:RealTypeReference"/>
455 </quantifiedVariables>
456 <expression xsi:type="language:Impl">
457 <leftOperand xsi:type="language:And">
458 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12">
459 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.0"/>
460 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.1"/>
461 </operands>
462 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12">
463 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.0"/>
464 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.2"/>
465 </operands>
466 </leftOperand>
467 <rightOperand xsi:type="language:Not">
468 <operand xsi:type="language:Distinct">
469 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.1"/>
470 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.2"/>
471 </operand>
472 </rightOperand>
473 </expression>
474 </value>
475 </assertions>
476 <assertions name="lowerMultiplicity numWidth Lane" annotations="//@problemConainer/@annotations.15">
477 <value xsi:type="language:Forall">
478 <quantifiedVariables name="src">
479 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
480 </quantifiedVariables>
481 <expression xsi:type="language:Exists">
482 <quantifiedVariables name="trg 1">
483 <range xsi:type="language:RealTypeReference"/>
484 </quantifiedVariables>
485 <expression xsi:type="language:And">
486 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13">
487 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.15/@value/@quantifiedVariables.0"/>
488 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.15/@value/@expression/@quantifiedVariables.0"/>
489 </operands>
490 </expression>
491 </expression>
492 </value>
493 </assertions>
494 <assertions name="upperMultiplicity numWidth Lane" annotations="//@problemConainer/@annotations.16">
495 <value xsi:type="language:Forall">
496 <quantifiedVariables name="src">
497 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
498 </quantifiedVariables>
499 <quantifiedVariables name="trg 1">
500 <range xsi:type="language:RealTypeReference"/>
501 </quantifiedVariables>
502 <quantifiedVariables name="trg 2">
503 <range xsi:type="language:RealTypeReference"/>
504 </quantifiedVariables>
505 <expression xsi:type="language:Impl">
506 <leftOperand xsi:type="language:And">
507 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13">
508 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.0"/>
509 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.1"/>
510 </operands>
511 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13">
512 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.0"/>
513 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.2"/>
514 </operands>
515 </leftOperand>
516 <rightOperand xsi:type="language:Not">
517 <operand xsi:type="language:Distinct">
518 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.1"/>
519 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.2"/>
520 </operand>
521 </rightOperand>
522 </expression>
523 </value>
524 </assertions>
525 <assertions name="lowerMultiplicity xPos Actor" annotations="//@problemConainer/@annotations.17">
526 <value xsi:type="language:Forall">
527 <quantifiedVariables name="src">
528 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
529 </quantifiedVariables>
530 <expression xsi:type="language:Exists">
531 <quantifiedVariables name="trg 1">
532 <range xsi:type="language:RealTypeReference"/>
533 </quantifiedVariables>
534 <expression xsi:type="language:And">
535 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14">
536 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.17/@value/@quantifiedVariables.0"/>
537 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.17/@value/@expression/@quantifiedVariables.0"/>
538 </operands>
539 </expression>
540 </expression>
541 </value>
542 </assertions>
543 <assertions name="upperMultiplicity xPos Actor" annotations="//@problemConainer/@annotations.18">
544 <value xsi:type="language:Forall">
545 <quantifiedVariables name="src">
546 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
547 </quantifiedVariables>
548 <quantifiedVariables name="trg 1">
549 <range xsi:type="language:RealTypeReference"/>
550 </quantifiedVariables>
551 <quantifiedVariables name="trg 2">
552 <range xsi:type="language:RealTypeReference"/>
553 </quantifiedVariables>
554 <expression xsi:type="language:Impl">
555 <leftOperand xsi:type="language:And">
556 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14">
557 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.0"/>
558 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.1"/>
559 </operands>
560 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14">
561 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.0"/>
562 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.2"/>
563 </operands>
564 </leftOperand>
565 <rightOperand xsi:type="language:Not">
566 <operand xsi:type="language:Distinct">
567 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.1"/>
568 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.2"/>
569 </operand>
570 </rightOperand>
571 </expression>
572 </value>
573 </assertions>
574 <assertions name="lowerMultiplicity yPos Actor" annotations="//@problemConainer/@annotations.19">
575 <value xsi:type="language:Forall">
576 <quantifiedVariables name="src">
577 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
578 </quantifiedVariables>
579 <expression xsi:type="language:Exists">
580 <quantifiedVariables name="trg 1">
581 <range xsi:type="language:RealTypeReference"/>
582 </quantifiedVariables>
583 <expression xsi:type="language:And">
584 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.15">
585 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.19/@value/@quantifiedVariables.0"/>
586 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.19/@value/@expression/@quantifiedVariables.0"/>
587 </operands>
588 </expression>
589 </expression>
590 </value>
591 </assertions>
592 <assertions name="upperMultiplicity yPos Actor" annotations="//@problemConainer/@annotations.20">
593 <value xsi:type="language:Forall">
594 <quantifiedVariables name="src">
595 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
596 </quantifiedVariables>
597 <quantifiedVariables name="trg 1">
598 <range xsi:type="language:RealTypeReference"/>
599 </quantifiedVariables>
600 <quantifiedVariables name="trg 2">
601 <range xsi:type="language:RealTypeReference"/>
602 </quantifiedVariables>
603 <expression xsi:type="language:Impl">
604 <leftOperand xsi:type="language:And">
605 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.15">
606 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.0"/>
607 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.1"/>
608 </operands>
609 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.15">
610 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.0"/>
611 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.2"/>
612 </operands>
613 </leftOperand>
614 <rightOperand xsi:type="language:Not">
615 <operand xsi:type="language:Distinct">
616 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.1"/>
617 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.2"/>
618 </operand>
619 </rightOperand>
620 </expression>
621 </value>
622 </assertions>
623 <assertions name="lowerMultiplicity length Actor" annotations="//@problemConainer/@annotations.21">
624 <value xsi:type="language:Forall">
625 <quantifiedVariables name="src">
626 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
627 </quantifiedVariables>
628 <expression xsi:type="language:Exists">
629 <quantifiedVariables name="trg 1">
630 <range xsi:type="language:RealTypeReference"/>
631 </quantifiedVariables>
632 <expression xsi:type="language:And">
633 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16">
634 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.21/@value/@quantifiedVariables.0"/>
635 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.21/@value/@expression/@quantifiedVariables.0"/>
636 </operands>
637 </expression>
638 </expression>
639 </value>
640 </assertions>
641 <assertions name="upperMultiplicity length Actor" annotations="//@problemConainer/@annotations.22">
642 <value xsi:type="language:Forall">
643 <quantifiedVariables name="src">
644 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
645 </quantifiedVariables>
646 <quantifiedVariables name="trg 1">
647 <range xsi:type="language:RealTypeReference"/>
648 </quantifiedVariables>
649 <quantifiedVariables name="trg 2">
650 <range xsi:type="language:RealTypeReference"/>
651 </quantifiedVariables>
652 <expression xsi:type="language:Impl">
653 <leftOperand xsi:type="language:And">
654 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16">
655 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.0"/>
656 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.1"/>
657 </operands>
658 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16">
659 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.0"/>
660 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.2"/>
661 </operands>
662 </leftOperand>
663 <rightOperand xsi:type="language:Not">
664 <operand xsi:type="language:Distinct">
665 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.1"/>
666 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.2"/>
667 </operand>
668 </rightOperand>
669 </expression>
670 </value>
671 </assertions>
672 <assertions name="lowerMultiplicity width Actor" annotations="//@problemConainer/@annotations.23">
673 <value xsi:type="language:Forall">
674 <quantifiedVariables name="src">
675 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
676 </quantifiedVariables>
677 <expression xsi:type="language:Exists">
678 <quantifiedVariables name="trg 1">
679 <range xsi:type="language:RealTypeReference"/>
680 </quantifiedVariables>
681 <expression xsi:type="language:And">
682 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.17">
683 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.23/@value/@quantifiedVariables.0"/>
684 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.23/@value/@expression/@quantifiedVariables.0"/>
685 </operands>
686 </expression>
687 </expression>
688 </value>
689 </assertions>
690 <assertions name="upperMultiplicity width Actor" annotations="//@problemConainer/@annotations.24">
691 <value xsi:type="language:Forall">
692 <quantifiedVariables name="src">
693 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
694 </quantifiedVariables>
695 <quantifiedVariables name="trg 1">
696 <range xsi:type="language:RealTypeReference"/>
697 </quantifiedVariables>
698 <quantifiedVariables name="trg 2">
699 <range xsi:type="language:RealTypeReference"/>
700 </quantifiedVariables>
701 <expression xsi:type="language:Impl">
702 <leftOperand xsi:type="language:And">
703 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.17">
704 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.0"/>
705 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.1"/>
706 </operands>
707 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.17">
708 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.0"/>
709 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.2"/>
710 </operands>
711 </leftOperand>
712 <rightOperand xsi:type="language:Not">
713 <operand xsi:type="language:Distinct">
714 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.1"/>
715 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.2"/>
716 </operand>
717 </rightOperand>
718 </expression>
719 </value>
720 </assertions>
721 <assertions name="lowerMultiplicity speed Actor" annotations="//@problemConainer/@annotations.25">
722 <value xsi:type="language:Forall">
723 <quantifiedVariables name="src">
724 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
725 </quantifiedVariables>
726 <expression xsi:type="language:Exists">
727 <quantifiedVariables name="trg 1">
728 <range xsi:type="language:RealTypeReference"/>
729 </quantifiedVariables>
730 <expression xsi:type="language:And">
731 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.18">
732 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.25/@value/@quantifiedVariables.0"/>
733 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.25/@value/@expression/@quantifiedVariables.0"/>
734 </operands>
735 </expression>
736 </expression>
737 </value>
738 </assertions>
739 <assertions name="upperMultiplicity speed Actor" annotations="//@problemConainer/@annotations.26">
740 <value xsi:type="language:Forall">
741 <quantifiedVariables name="src">
742 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
743 </quantifiedVariables>
744 <quantifiedVariables name="trg 1">
745 <range xsi:type="language:RealTypeReference"/>
746 </quantifiedVariables>
747 <quantifiedVariables name="trg 2">
748 <range xsi:type="language:RealTypeReference"/>
749 </quantifiedVariables>
750 <expression xsi:type="language:Impl">
751 <leftOperand xsi:type="language:And">
752 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.18">
753 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.0"/>
754 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.1"/>
755 </operands>
756 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.18">
757 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.0"/>
758 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.2"/>
759 </operands>
760 </leftOperand>
761 <rightOperand xsi:type="language:Not">
762 <operand xsi:type="language:Distinct">
763 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.1"/>
764 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.2"/>
765 </operand>
766 </rightOperand>
767 </expression>
768 </value>
769 </assertions>
770 <assertions name="lowerMultiplicity distance SeperationDistance" annotations="//@problemConainer/@annotations.27">
771 <value xsi:type="language:Forall">
772 <quantifiedVariables name="src">
773 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.7"/>
774 </quantifiedVariables>
775 <expression xsi:type="language:Exists">
776 <quantifiedVariables name="trg 1">
777 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.14"/>
778 </quantifiedVariables>
779 <expression xsi:type="language:And">
780 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.19">
781 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.27/@value/@quantifiedVariables.0"/>
782 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.27/@value/@expression/@quantifiedVariables.0"/>
783 </operands>
784 </expression>
785 </expression>
786 </value>
787 </assertions>
788 <assertions name="upperMultiplicity distance SeperationDistance" annotations="//@problemConainer/@annotations.28">
789 <value xsi:type="language:Forall">
790 <quantifiedVariables name="src">
791 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.7"/>
792 </quantifiedVariables>
793 <quantifiedVariables name="trg 1">
794 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.14"/>
795 </quantifiedVariables>
796 <quantifiedVariables name="trg 2">
797 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.14"/>
798 </quantifiedVariables>
799 <expression xsi:type="language:Impl">
800 <leftOperand xsi:type="language:And">
801 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.19">
802 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.0"/>
803 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.1"/>
804 </operands>
805 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.19">
806 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.0"/>
807 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.2"/>
808 </operands>
809 </leftOperand>
810 <rightOperand xsi:type="language:Not">
811 <operand xsi:type="language:Distinct">
812 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.1"/>
813 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.2"/>
814 </operand>
815 </rightOperand>
816 </expression>
817 </value>
818 </assertions>
819 <assertions name="lowerMultiplicity numDistance SeperationDistance" annotations="//@problemConainer/@annotations.29">
820 <value xsi:type="language:Forall">
821 <quantifiedVariables name="src">
822 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.7"/>
823 </quantifiedVariables>
824 <expression xsi:type="language:Exists">
825 <quantifiedVariables name="trg 1">
826 <range xsi:type="language:RealTypeReference"/>
827 </quantifiedVariables>
828 <expression xsi:type="language:And">
829 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20">
830 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.29/@value/@quantifiedVariables.0"/>
831 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.29/@value/@expression/@quantifiedVariables.0"/>
832 </operands>
833 </expression>
834 </expression>
835 </value>
836 </assertions>
837 <assertions name="upperMultiplicity numDistance SeperationDistance" annotations="//@problemConainer/@annotations.30">
838 <value xsi:type="language:Forall">
839 <quantifiedVariables name="src">
840 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.7"/>
841 </quantifiedVariables>
842 <quantifiedVariables name="trg 1">
843 <range xsi:type="language:RealTypeReference"/>
844 </quantifiedVariables>
845 <quantifiedVariables name="trg 2">
846 <range xsi:type="language:RealTypeReference"/>
847 </quantifiedVariables>
848 <expression xsi:type="language:Impl">
849 <leftOperand xsi:type="language:And">
850 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20">
851 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.0"/>
852 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.1"/>
853 </operands>
854 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20">
855 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.0"/>
856 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.2"/>
857 </operands>
858 </leftOperand>
859 <rightOperand xsi:type="language:Not">
860 <operand xsi:type="language:Distinct">
861 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.1"/>
862 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.2"/>
863 </operand>
864 </rightOperand>
865 </expression>
866 </value>
867 </assertions>
868 <assertions name="lowerMultiplicity collisionTime CollisionExists" annotations="//@problemConainer/@annotations.31">
869 <value xsi:type="language:Forall">
870 <quantifiedVariables name="src">
871 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.8"/>
872 </quantifiedVariables>
873 <expression xsi:type="language:Exists">
874 <quantifiedVariables name="trg 1">
875 <range xsi:type="language:RealTypeReference"/>
876 </quantifiedVariables>
877 <expression xsi:type="language:And">
878 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.21">
879 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.31/@value/@quantifiedVariables.0"/>
880 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.31/@value/@expression/@quantifiedVariables.0"/>
881 </operands>
882 </expression>
883 </expression>
884 </value>
885 </assertions>
886 <assertions name="upperMultiplicity collisionTime CollisionExists" annotations="//@problemConainer/@annotations.32">
887 <value xsi:type="language:Forall">
888 <quantifiedVariables name="src">
889 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.8"/>
890 </quantifiedVariables>
891 <quantifiedVariables name="trg 1">
892 <range xsi:type="language:RealTypeReference"/>
893 </quantifiedVariables>
894 <quantifiedVariables name="trg 2">
895 <range xsi:type="language:RealTypeReference"/>
896 </quantifiedVariables>
897 <expression xsi:type="language:Impl">
898 <leftOperand xsi:type="language:And">
899 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.21">
900 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.0"/>
901 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.1"/>
902 </operands>
903 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.21">
904 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.0"/>
905 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.2"/>
906 </operands>
907 </leftOperand>
908 <rightOperand xsi:type="language:Not">
909 <operand xsi:type="language:Distinct">
910 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.1"/>
911 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.2"/>
912 </operand>
913 </rightOperand>
914 </expression>
915 </value>
916 </assertions>
917 <assertions name="PartialInterpretation xSize attribute SimpleScenario" annotations="//@problemConainer/@annotations.33">
918 <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.8">
919 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@elements.8"/>
920 <parameterSubstitutions xsi:type="language:RealLiteral" value="0.0"/>
921 </value>
922 </assertions>
923 <assertions name="PartialInterpretation ySize attribute SimpleScenario" annotations="//@problemConainer/@annotations.34">
924 <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9">
925 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@elements.8"/>
926 <parameterSubstitutions xsi:type="language:RealLiteral" value="0.0"/>
927 </value>
928 </assertions>
929 <assertions name="errorpattern queries refSpec" annotations="//@problemConainer/@annotations.36">
930 <value xsi:type="language:Forall">
931 <quantifiedVariables name="p0">
932 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
933 </quantifiedVariables>
934 <expression xsi:type="language:Not">
935 <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.22">
936 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.35/@value/@quantifiedVariables.0"/>
937 </operand>
938 </expression>
939 </value>
940 </assertions>
941 <relations xsi:type="language:RelationDeclaration" name="actors reference SimpleScenario">
942 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
943 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
944 </relations>
945 <relations xsi:type="language:RelationDeclaration" name="lanes reference SimpleScenario">
946 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
947 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
948 </relations>
949 <relations xsi:type="language:RelationDeclaration" name="adjacent reference Lane">
950 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
951 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
952 </relations>
953 <relations xsi:type="language:RelationDeclaration" name="actors reference Lane">
954 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
955 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
956 </relations>
957 <relations xsi:type="language:RelationDeclaration" name="relations reference Actor">
958 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
959 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/>
960 </relations>
961 <relations xsi:type="language:RelationDeclaration" name="placedOn reference Actor">
962 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
963 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
964 </relations>
965 <relations xsi:type="language:RelationDeclaration" name="target reference Relation">
966 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/>
967 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
968 </relations>
969 <relations xsi:type="language:RelationDeclaration" name="blockedBy reference VisionBlocked">
970 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.6"/>
971 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
972 </relations>
973 <relations xsi:type="language:RelationDeclaration" name="xSize attribute SimpleScenario">
974 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
975 <parameters xsi:type="language:RealTypeReference"/>
976 </relations>
977 <relations xsi:type="language:RelationDeclaration" name="ySize attribute SimpleScenario">
978 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
979 <parameters xsi:type="language:RealTypeReference"/>
980 </relations>
981 <relations xsi:type="language:RelationDeclaration" name="orientation attribute Lane">
982 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
983 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.12"/>
984 </relations>
985 <relations xsi:type="language:RelationDeclaration" name="width attribute Lane">
986 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
987 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.13"/>
988 </relations>
989 <relations xsi:type="language:RelationDeclaration" name="referenceCoord attribute Lane">
990 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
991 <parameters xsi:type="language:RealTypeReference"/>
992 </relations>
993 <relations xsi:type="language:RelationDeclaration" name="numWidth attribute Lane">
994 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
995 <parameters xsi:type="language:RealTypeReference"/>
996 </relations>
997 <relations xsi:type="language:RelationDeclaration" name="xPos attribute Actor">
998 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
999 <parameters xsi:type="language:RealTypeReference"/>
1000 </relations>
1001 <relations xsi:type="language:RelationDeclaration" name="yPos attribute Actor">
1002 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1003 <parameters xsi:type="language:RealTypeReference"/>
1004 </relations>
1005 <relations xsi:type="language:RelationDeclaration" name="length attribute Actor">
1006 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1007 <parameters xsi:type="language:RealTypeReference"/>
1008 </relations>
1009 <relations xsi:type="language:RelationDeclaration" name="width attribute Actor">
1010 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1011 <parameters xsi:type="language:RealTypeReference"/>
1012 </relations>
1013 <relations xsi:type="language:RelationDeclaration" name="speed attribute Actor">
1014 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1015 <parameters xsi:type="language:RealTypeReference"/>
1016 </relations>
1017 <relations xsi:type="language:RelationDeclaration" name="distance attribute SeperationDistance">
1018 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.7"/>
1019 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.14"/>
1020 </relations>
1021 <relations xsi:type="language:RelationDeclaration" name="numDistance attribute SeperationDistance">
1022 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.7"/>
1023 <parameters xsi:type="language:RealTypeReference"/>
1024 </relations>
1025 <relations xsi:type="language:RelationDeclaration" name="collisionTime attribute CollisionExists">
1026 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.8"/>
1027 <parameters xsi:type="language:RealTypeReference"/>
1028 </relations>
1029 <relations xsi:type="language:RelationDefinition" name="pattern queries refSpec" annotations="//@problemConainer/@annotations.35">
1030 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1031 <variables name="parameter l">
1032 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1033 </variables>
1034 <value xsi:type="language:Or">
1035 <operands xsi:type="language:Exists">
1036 <quantifiedVariables name="variable w">
1037 <range xsi:type="language:RealTypeReference"/>
1038 </quantifiedVariables>
1039 <expression xsi:type="language:And">
1040 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12">
1041 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.22/@variables.0"/>
1042 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.22/@value/@operands.0/@quantifiedVariables.0"/>
1043 </operands>
1044 <operands xsi:type="language:Distinct">
1045 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.22/@value/@operands.0/@quantifiedVariables.0"/>
1046 <operands xsi:type="language:IntLiteral" value="2"/>
1047 </operands>
1048 </expression>
1049 </operands>
1050 </value>
1051 </relations>
1052 <elements name="Vertical literal Orientation" definedInType="//@problemConainer/@types.12"/>
1053 <elements name="Horizontal literal Orientation" definedInType="//@problemConainer/@types.12"/>
1054 <elements name="Small literal Size" definedInType="//@problemConainer/@types.13"/>
1055 <elements name="Medium literal Size" definedInType="//@problemConainer/@types.13"/>
1056 <elements name="Large literal Size" definedInType="//@problemConainer/@types.13"/>
1057 <elements name="Near literal Distance" definedInType="//@problemConainer/@types.14"/>
1058 <elements name="Medium literal Distance" definedInType="//@problemConainer/@types.14"/>
1059 <elements name="Far literal Distance" definedInType="//@problemConainer/@types.14"/>
1060 <elements name="o 1" definedInType="//@problemConainer/@types.15"/>
1061 <containmentHierarchies typesOrderedInHierarchy="//@problemConainer/@types.1 //@problemConainer/@types.4 //@problemConainer/@types.7 //@problemConainer/@types.10 //@problemConainer/@types.3 //@problemConainer/@types.0 //@problemConainer/@types.2 //@problemConainer/@types.5 //@problemConainer/@types.6 //@problemConainer/@types.9 //@problemConainer/@types.11 //@problemConainer/@types.8 //@problemConainer/@types.15 //@problemConainer/@types.16" containmentRelations="//@problemConainer/@relations.0 //@problemConainer/@relations.1 //@problemConainer/@relations.4"/>
1062 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.0" relation="//@problemConainer/@relations.2" upper="2"/>
1063 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.1" relation="//@problemConainer/@relations.5" lower="1"/>
1064 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.2" relation="//@problemConainer/@relations.5" upper="1"/>
1065 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.3" relation="//@problemConainer/@relations.6" lower="1"/>
1066 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.4" relation="//@problemConainer/@relations.6" upper="1"/>
1067 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.5" relation="//@problemConainer/@relations.7" upper="1"/>
1068 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@problemConainer/@assertions.6" inverseA="//@problemConainer/@relations.3" inverseB="//@problemConainer/@relations.5"/>
1069 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.7" relation="//@problemConainer/@relations.8" upper="1"/>
1070 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.8" relation="//@problemConainer/@relations.9" upper="1"/>
1071 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.9" relation="//@problemConainer/@relations.10" lower="1"/>
1072 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.10" relation="//@problemConainer/@relations.10" upper="1"/>
1073 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.11" relation="//@problemConainer/@relations.11" lower="1"/>
1074 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.12" relation="//@problemConainer/@relations.11" upper="1"/>
1075 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.13" relation="//@problemConainer/@relations.12" lower="1"/>
1076 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.14" relation="//@problemConainer/@relations.12" upper="1"/>
1077 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.15" relation="//@problemConainer/@relations.13" lower="1"/>
1078 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.16" relation="//@problemConainer/@relations.13" upper="1"/>
1079 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.17" relation="//@problemConainer/@relations.14" lower="1"/>
1080 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.18" relation="//@problemConainer/@relations.14" upper="1"/>
1081 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.19" relation="//@problemConainer/@relations.15" lower="1"/>
1082 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.20" relation="//@problemConainer/@relations.15" upper="1"/>
1083 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.21" relation="//@problemConainer/@relations.16" lower="1"/>
1084 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.22" relation="//@problemConainer/@relations.16" upper="1"/>
1085 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.23" relation="//@problemConainer/@relations.17" lower="1"/>
1086 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.24" relation="//@problemConainer/@relations.17" upper="1"/>
1087 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.25" relation="//@problemConainer/@relations.18" lower="1"/>
1088 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.26" relation="//@problemConainer/@relations.18" upper="1"/>
1089 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.27" relation="//@problemConainer/@relations.19" lower="1"/>
1090 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.28" relation="//@problemConainer/@relations.19" upper="1"/>
1091 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.29" relation="//@problemConainer/@relations.20" lower="1"/>
1092 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.30" relation="//@problemConainer/@relations.20" upper="1"/>
1093 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.31" relation="//@problemConainer/@relations.21" lower="1"/>
1094 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.32" relation="//@problemConainer/@relations.21" upper="1"/>
1095 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@problemConainer/@assertions.33" targetRelation="//@problemConainer/@relations.8"/>
1096 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@problemConainer/@assertions.34" targetRelation="//@problemConainer/@relations.9"/>
1097 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.22" patternFullyQualifiedName="queries.refSpec">
1098 <variableTrace targetLogicVariable="//@problemConainer/@relations.22/@value/@operands.0/@quantifiedVariables.0"/>
1099 </annotations>
1100 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@problemConainer/@assertions.35" query="//@problemConainer/@annotations.35"/>
1101 </problemConainer>
1102 <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.4"/>
1103 <scopes maxNewElements="0" targetTypeInterpretation="//@partialtypeinterpratation.5"/>
1104 <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.6"/>
1105 <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.7"/>
1106 <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.8"/>
1107 <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.9"/>
1108 <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.10"/>
1109 <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.11"/>
1110 <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.12"/>
1111 <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.13"/>
1112 <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.14"/>
1113 <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.15"/>
1114 <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.16"/>
1115</partialinterpretation:PartialInterpretation>
diff --git a/Domains/simpleScenario/inputs/Debug/sample.xmi b/Domains/simpleScenario/inputs/Debug/sample.xmi
new file mode 100644
index 00000000..cb4057fb
--- /dev/null
+++ b/Domains/simpleScenario/inputs/Debug/sample.xmi
@@ -0,0 +1,7 @@
1<?xml version="1.0" encoding="UTF-8"?>
2<simpleScenario:SimpleScenario
3 xmi:version="2.0"
4 xmlns:xmi="http://www.omg.org/XMI"
5 xmlns:simpleScenario="http://www.example.com/simpleScenario">
6 <lanes/>
7</simpleScenario:SimpleScenario>
diff --git a/Domains/simpleScenario/queries/logProb.vql b/Domains/simpleScenario/queries/logProb.vql
new file mode 100644
index 00000000..e6045909
--- /dev/null
+++ b/Domains/simpleScenario/queries/logProb.vql
@@ -0,0 +1,41 @@
1package queries
2
3import epackage "http://www.bme.hu/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage"
4import epackage "http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem"
5import epackage "http://www.bme.hu/mit/inf/dslreasoner/logic/model/language"
6
7pattern UPMUSTPropagateConstraint0_pattern_queries_refSpec(
8 problem:LogicProblem, interpretation:PartialInterpretation,
9 var_l)
10{
11// Original Constraints
12// var_l exported
13find mustInRelationreferenceCoord_attribute_Lane(problem,interpretation,var_l,var_w);
14// Propagation for constraint
15PrimitiveElement.valueSet(var_w,setted_var_w);
16IntegerElement.value(var_w,value_var_w);
17// Matching variables
18//var_w==up_1;
19}
20
21/**
22 * Matcher for detecting tuples t where []referenceCoord attribute Lane(source,target)
23 */
24pattern mustInRelationreferenceCoord_attribute_Lane(
25 problem:LogicProblem, interpretation:PartialInterpretation,
26 source: DefinedElement, target:DefinedElement)
27{
28 find interpretation(problem,interpretation);
29 PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation);
30 PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"referenceCoord attribute Lane");
31 PartialRelationInterpretation.relationlinks(relationIterpretation,link);
32 BinaryElementRelationLink.param1(link,source);
33 BinaryElementRelationLink.param2(link,target);
34}
35
36//////////
37// 0. Util
38//////////
39pattern interpretation(problem:LogicProblem, interpretation:PartialInterpretation) {
40 PartialInterpretation.problem(interpretation,problem);
41} \ No newline at end of file
diff --git a/Domains/simpleScenario/src/simpleScenario/run/QueryDebug.java b/Domains/simpleScenario/src/simpleScenario/run/QueryDebug.java
new file mode 100644
index 00000000..816a258d
--- /dev/null
+++ b/Domains/simpleScenario/src/simpleScenario/run/QueryDebug.java
@@ -0,0 +1,73 @@
1package simpleScenario.run;
2
3public class QueryDebug {
4// public static void main(String[] args) {
5// Resource.Factory.Registry.INSTANCE.getExtensionToFactoryMap( ).put("*", new XMIResourceFactoryImpl());
6// EPackage.Registry.INSTANCE.put(SimpleScenarioPackage.eNS_URI, SimpleScenarioPackage.eINSTANCE);
7// ResourceSet rs = new ResourceSetImpl();
8// rs.getResource(URI.createFileURI("inputs/sample.xmi"), true);
9//
10// ViatraQueryEngine engine = ViatraQueryEngine.on(new EMFScope(rs));
11// // Access pattern matcher
12//
13//
14//
15// SimpleScenarioQueries.instance().prepare(engine);
16// RefSpec.Matcher matcher = RefSpec.Matcher.on(engine);
17// // Get and iterate over all matches
18// for (RefSpec.Match match : matcher.getAllMatches()) {
19// // Print all the matches to the standard output
20// System.out.println(match.getL());
21// }
22// }
23
24 public static void main(String[] args) {
25// //Add xmi resource
26// Resource.Factory.Registry.INSTANCE.getExtensionToFactoryMap( ).put("*", new XMIResourceFactoryImpl());
27// //Add required EPackages
28//// EPackage.Registry.INSTANCE.put(SimpleScenarioPackage.eNS_URI, SimpleScenarioPackage.eINSTANCE);
29// EPackage.Registry.INSTANCE.put(LogiclanguagePackage.eNS_URI, LogiclanguagePackage.eINSTANCE);
30// EPackage.Registry.INSTANCE.put(LogicproblemPackage.eNS_URI, LogicproblemPackage.eINSTANCE);
31// EPackage.Registry.INSTANCE.put(PartialinterpretationPackage.eNS_URI, PartialinterpretationPackage.eINSTANCE);
32// EPackage.Registry.INSTANCE.put(Ecore2logicannotationsPackage.eNS_URI, Ecore2logicannotationsPackage.eINSTANCE);
33// EPackage.Registry.INSTANCE.put(Partial2logicannotationsPackage.eNS_URI, Partial2logicannotationsPackage.eINSTANCE);
34// EPackage.Registry.INSTANCE.put(Viatra2LogicAnnotationsPackage.eNS_URI, Viatra2LogicAnnotationsPackage.eINSTANCE);
35// EPackage.Registry.INSTANCE.put(LogicresultPackage.eNS_URI, LogicresultPackage.eINSTANCE);
36//
37// //Get res
38// ResourceSet rs = new ResourceSetImpl();
39// rs.getResource(URI.createFileURI("inputs/partial-int.xmi"), true);
40//
41// ViatraQueryEngine engine = ViatraQueryEngine.on(new EMFScope(rs));
42// // Access pattern matcher
43//
44//
45//
46// LogProb.instance().prepare(engine);
47// // Get and iterate over all matches
48// System.out.println("UPMUST:");
49// for (UPMUSTPropagateConstraint0_pattern_queries_refSpec.Match match :
50// UPMUSTPropagateConstraint0_pattern_queries_refSpec.Matcher.on(engine).getAllMatches()) {
51// // Print all the matches to the standard output
52// System.out.println(match.getVar_l());
53// }
54//
55// System.out.println("mustIn:");
56// for (MustInRelationreferenceCoord_attribute_Lane.Match match :
57// MustInRelationreferenceCoord_attribute_Lane.Matcher.on(engine).getAllMatches()) {
58// // Print all the matches to the standard output
59// DefinedElement de = match.getTarget();
60// System.out.println(de);
61// System.out.println("--set?: " + ((PrimitiveElement) de).isValueSet());
62// System.out.println("--val?: " + ((IntegerElement) de).getValue());
63//
64// }
65//
66// System.out.println("interp:");
67// for (Interpretation.Match match :
68// Interpretation.Matcher.on(engine).getAllMatches()) {
69// // Print all the matches to the standard output
70// System.out.println(match.getProblem());
71// }
72 }
73}
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-19 11:00:41 +0000