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