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.logicproblem1759
1 files changed, 1759 insertions, 0 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
new file mode 100644
index 00000000..7b46b451
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generation.logicproblem
@@ -0,0 +1,1759 @@
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.14 //@types.15" isAbstract="true"/>
4 <types xsi:type="language_1:TypeDeclaration" name="InterferometryMission class" subtypes="//@types.16 //@types.17" supertypes="//@types.0" isAbstract="true"/>
5 <types xsi:type="language_1:TypeDeclaration" name="CommunicatingElement class" subtypes="//@types.3 //@types.4 //@types.18 //@types.19" isAbstract="true"/>
6 <types xsi:type="language_1:TypeDeclaration" name="GroundStationNetwork class" subtypes="//@types.20 //@types.21" supertypes="//@types.2" isAbstract="true"/>
7 <types xsi:type="language_1:TypeDeclaration" name="Spacecraft class" subtypes="//@types.5 //@types.6 //@types.7" supertypes="//@types.2 //@types.19" isAbstract="true"/>
8 <types xsi:type="language_1:TypeDeclaration" name="CubeSat3U class" supertypes="//@types.4"/>
9 <types xsi:type="language_1:TypeDeclaration" name="CubeSat6U class" supertypes="//@types.4"/>
10 <types xsi:type="language_1:TypeDeclaration" name="SmallSat class" supertypes="//@types.4"/>
11 <types xsi:type="language_1:TypeDeclaration" name="CommSubsystem class" subtypes="//@types.22 //@types.23" isAbstract="true"/>
12 <types xsi:type="language_1:TypeDeclaration" name="DirectedCommunicationLink class"/>
13 <types xsi:type="language_1:TypeDeclaration" name="Payload class" subtypes="//@types.11" isAbstract="true"/>
14 <types xsi:type="language_1:TypeDeclaration" name="InterferometryPayload class" supertypes="//@types.10"/>
15 <types xsi:type="language_1:TypeDefinition" name="TransceiverBand enum" elements="//@elements.0 //@elements.1 //@elements.2"/>
16 <types xsi:type="language_1:TypeDefinition" name="AntennaGain enum" elements="//@elements.3 //@elements.4 //@elements.5"/>
17 <types xsi:type="language_1:TypeDefinition" name="ConstellationMission class DefinedPart" subtypes="//@types.16" supertypes="//@types.0" isAbstract="true" elements="//@elements.6"/>
18 <types xsi:type="language_1:TypeDeclaration" name="ConstellationMission class UndefinedPart" subtypes="//@types.17" supertypes="//@types.0" isAbstract="true"/>
19 <types xsi:type="language_1:TypeDefinition" name="InterferometryMission class DefinedPart" supertypes="//@types.1 //@types.14" elements="//@elements.6"/>
20 <types xsi:type="language_1:TypeDeclaration" name="InterferometryMission class UndefinedPart" supertypes="//@types.1 //@types.15"/>
21 <types xsi:type="language_1:TypeDefinition" name="CommunicatingElement class DefinedPart" subtypes="//@types.20" supertypes="//@types.2" isAbstract="true" elements="//@elements.7"/>
22 <types xsi:type="language_1:TypeDeclaration" name="CommunicatingElement class UndefinedPart" subtypes="//@types.21 //@types.4" supertypes="//@types.2" isAbstract="true"/>
23 <types xsi:type="language_1:TypeDefinition" name="GroundStationNetwork class DefinedPart" supertypes="//@types.3 //@types.18" elements="//@elements.7"/>
24 <types xsi:type="language_1:TypeDeclaration" name="GroundStationNetwork class UndefinedPart" supertypes="//@types.3 //@types.19"/>
25 <types xsi:type="language_1:TypeDefinition" name="CommSubsystem class DefinedPart" supertypes="//@types.8" elements="//@elements.8 //@elements.9"/>
26 <types xsi:type="language_1:TypeDeclaration" name="CommSubsystem class UndefinedPart" supertypes="//@types.8"/>
27 <assertions name="lowerMultiplicity groundStationNetwork ConstellationMission" annotations="//@annotations.0">
28 <value xsi:type="language_1:Forall">
29 <quantifiedVariables name="src">
30 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
31 </quantifiedVariables>
32 <expression xsi:type="language_1:Exists">
33 <quantifiedVariables name="trg 1">
34 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
35 </quantifiedVariables>
36 <expression xsi:type="language_1:And">
37 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
38 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/>
39 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@expression/@quantifiedVariables.0"/>
40 </operands>
41 </expression>
42 </expression>
43 </value>
44 </assertions>
45 <assertions name="upperMultiplicity groundStationNetwork ConstellationMission" annotations="//@annotations.1">
46 <value xsi:type="language_1:Forall">
47 <quantifiedVariables name="src">
48 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
49 </quantifiedVariables>
50 <quantifiedVariables name="trg 1">
51 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
52 </quantifiedVariables>
53 <quantifiedVariables name="trg 2">
54 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
55 </quantifiedVariables>
56 <expression xsi:type="language_1:Impl">
57 <leftOperand xsi:type="language_1:And">
58 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
59 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/>
60 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.1"/>
61 </operands>
62 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
63 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/>
64 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.2"/>
65 </operands>
66 </leftOperand>
67 <rightOperand xsi:type="language_1:Not">
68 <operand xsi:type="language_1:Distinct">
69 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.1"/>
70 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.2"/>
71 </operand>
72 </rightOperand>
73 </expression>
74 </value>
75 </assertions>
76 <assertions name="lowerMultiplicity spacecraft ConstellationMission" annotations="//@annotations.2">
77 <value xsi:type="language_1:Forall">
78 <quantifiedVariables name="src">
79 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
80 </quantifiedVariables>
81 <expression xsi:type="language_1:Exists">
82 <quantifiedVariables name="trg 1">
83 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
84 </quantifiedVariables>
85 <quantifiedVariables name="trg 2">
86 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
87 </quantifiedVariables>
88 <expression xsi:type="language_1:And">
89 <operands xsi:type="language_1:Distinct">
90 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@expression/@quantifiedVariables.0"/>
91 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@expression/@quantifiedVariables.1"/>
92 </operands>
93 <operands xsi:type="language_1:And">
94 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
95 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/>
96 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@expression/@quantifiedVariables.0"/>
97 </operands>
98 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
99 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/>
100 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@expression/@quantifiedVariables.1"/>
101 </operands>
102 </operands>
103 </expression>
104 </expression>
105 </value>
106 </assertions>
107 <assertions name="upperMultiplicity spacecraft ConstellationMission" annotations="//@annotations.3">
108 <value xsi:type="language_1:Forall">
109 <quantifiedVariables name="src">
110 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
111 </quantifiedVariables>
112 <quantifiedVariables name="trg 1">
113 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
114 </quantifiedVariables>
115 <quantifiedVariables name="trg 2">
116 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
117 </quantifiedVariables>
118 <quantifiedVariables name="trg 3">
119 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
120 </quantifiedVariables>
121 <quantifiedVariables name="trg 4">
122 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
123 </quantifiedVariables>
124 <quantifiedVariables name="trg 5">
125 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
126 </quantifiedVariables>
127 <quantifiedVariables name="trg 6">
128 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
129 </quantifiedVariables>
130 <quantifiedVariables name="trg 7">
131 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
132 </quantifiedVariables>
133 <quantifiedVariables name="trg 8">
134 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
135 </quantifiedVariables>
136 <quantifiedVariables name="trg 9">
137 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
138 </quantifiedVariables>
139 <quantifiedVariables name="trg 10">
140 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
141 </quantifiedVariables>
142 <quantifiedVariables name="trg 11">
143 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
144 </quantifiedVariables>
145 <quantifiedVariables name="trg 12">
146 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
147 </quantifiedVariables>
148 <quantifiedVariables name="trg 13">
149 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
150 </quantifiedVariables>
151 <quantifiedVariables name="trg 14">
152 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
153 </quantifiedVariables>
154 <quantifiedVariables name="trg 15">
155 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
156 </quantifiedVariables>
157 <quantifiedVariables name="trg 16">
158 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
159 </quantifiedVariables>
160 <quantifiedVariables name="trg 17">
161 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
162 </quantifiedVariables>
163 <quantifiedVariables name="trg 18">
164 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
165 </quantifiedVariables>
166 <quantifiedVariables name="trg 19">
167 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
168 </quantifiedVariables>
169 <quantifiedVariables name="trg 20">
170 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
171 </quantifiedVariables>
172 <quantifiedVariables name="trg 21">
173 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
174 </quantifiedVariables>
175 <quantifiedVariables name="trg 22">
176 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
177 </quantifiedVariables>
178 <quantifiedVariables name="trg 23">
179 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
180 </quantifiedVariables>
181 <quantifiedVariables name="trg 24">
182 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
183 </quantifiedVariables>
184 <quantifiedVariables name="trg 25">
185 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
186 </quantifiedVariables>
187 <quantifiedVariables name="trg 26">
188 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
189 </quantifiedVariables>
190 <quantifiedVariables name="trg 27">
191 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
192 </quantifiedVariables>
193 <quantifiedVariables name="trg 28">
194 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
195 </quantifiedVariables>
196 <quantifiedVariables name="trg 29">
197 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
198 </quantifiedVariables>
199 <quantifiedVariables name="trg 30">
200 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
201 </quantifiedVariables>
202 <quantifiedVariables name="trg 31">
203 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
204 </quantifiedVariables>
205 <quantifiedVariables name="trg 32">
206 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
207 </quantifiedVariables>
208 <quantifiedVariables name="trg 33">
209 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
210 </quantifiedVariables>
211 <quantifiedVariables name="trg 34">
212 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
213 </quantifiedVariables>
214 <quantifiedVariables name="trg 35">
215 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
216 </quantifiedVariables>
217 <quantifiedVariables name="trg 36">
218 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
219 </quantifiedVariables>
220 <quantifiedVariables name="trg 37">
221 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
222 </quantifiedVariables>
223 <quantifiedVariables name="trg 38">
224 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
225 </quantifiedVariables>
226 <quantifiedVariables name="trg 39">
227 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
228 </quantifiedVariables>
229 <quantifiedVariables name="trg 40">
230 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
231 </quantifiedVariables>
232 <quantifiedVariables name="trg 41">
233 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
234 </quantifiedVariables>
235 <quantifiedVariables name="trg 42">
236 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
237 </quantifiedVariables>
238 <quantifiedVariables name="trg 43">
239 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
240 </quantifiedVariables>
241 <quantifiedVariables name="trg 44">
242 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
243 </quantifiedVariables>
244 <quantifiedVariables name="trg 45">
245 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
246 </quantifiedVariables>
247 <quantifiedVariables name="trg 46">
248 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
249 </quantifiedVariables>
250 <quantifiedVariables name="trg 47">
251 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
252 </quantifiedVariables>
253 <quantifiedVariables name="trg 48">
254 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
255 </quantifiedVariables>
256 <quantifiedVariables name="trg 49">
257 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
258 </quantifiedVariables>
259 <quantifiedVariables name="trg 50">
260 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
261 </quantifiedVariables>
262 <quantifiedVariables name="trg 51">
263 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
264 </quantifiedVariables>
265 <expression xsi:type="language_1:Impl">
266 <leftOperand xsi:type="language_1:And">
267 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
268 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
269 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.1"/>
270 </operands>
271 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
272 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
273 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.2"/>
274 </operands>
275 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
276 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
277 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.3"/>
278 </operands>
279 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
280 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
281 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.4"/>
282 </operands>
283 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
284 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
285 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.5"/>
286 </operands>
287 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
288 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
289 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.6"/>
290 </operands>
291 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
292 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
293 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.7"/>
294 </operands>
295 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
296 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
297 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.8"/>
298 </operands>
299 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
300 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
301 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.9"/>
302 </operands>
303 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
304 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
305 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.10"/>
306 </operands>
307 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
308 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
309 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.11"/>
310 </operands>
311 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
312 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
313 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.12"/>
314 </operands>
315 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
316 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
317 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.13"/>
318 </operands>
319 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
320 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
321 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.14"/>
322 </operands>
323 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
324 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
325 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.15"/>
326 </operands>
327 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
328 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
329 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.16"/>
330 </operands>
331 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
332 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
333 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.17"/>
334 </operands>
335 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
336 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
337 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.18"/>
338 </operands>
339 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
340 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
341 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.19"/>
342 </operands>
343 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
344 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
345 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.20"/>
346 </operands>
347 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
348 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
349 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.21"/>
350 </operands>
351 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
352 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
353 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.22"/>
354 </operands>
355 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
356 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
357 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.23"/>
358 </operands>
359 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
360 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
361 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.24"/>
362 </operands>
363 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
364 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
365 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.25"/>
366 </operands>
367 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
368 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
369 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.26"/>
370 </operands>
371 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
372 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
373 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.27"/>
374 </operands>
375 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
376 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
377 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.28"/>
378 </operands>
379 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
380 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
381 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.29"/>
382 </operands>
383 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
384 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
385 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.30"/>
386 </operands>
387 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
388 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
389 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.31"/>
390 </operands>
391 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
392 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
393 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.32"/>
394 </operands>
395 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
396 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
397 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.33"/>
398 </operands>
399 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
400 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
401 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.34"/>
402 </operands>
403 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
404 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
405 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.35"/>
406 </operands>
407 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
408 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
409 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.36"/>
410 </operands>
411 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
412 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
413 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.37"/>
414 </operands>
415 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
416 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
417 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.38"/>
418 </operands>
419 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
420 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
421 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.39"/>
422 </operands>
423 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
424 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
425 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.40"/>
426 </operands>
427 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
428 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
429 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.41"/>
430 </operands>
431 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
432 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
433 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.42"/>
434 </operands>
435 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
436 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
437 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.43"/>
438 </operands>
439 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
440 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
441 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.44"/>
442 </operands>
443 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
444 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
445 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.45"/>
446 </operands>
447 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
448 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
449 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.46"/>
450 </operands>
451 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
452 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
453 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.47"/>
454 </operands>
455 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
456 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
457 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.48"/>
458 </operands>
459 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
460 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
461 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.49"/>
462 </operands>
463 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
464 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
465 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.50"/>
466 </operands>
467 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
468 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
469 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.51"/>
470 </operands>
471 </leftOperand>
472 <rightOperand xsi:type="language_1:Not">
473 <operand xsi:type="language_1:Distinct">
474 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.1"/>
475 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.2"/>
476 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.3"/>
477 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.4"/>
478 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.5"/>
479 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.6"/>
480 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.7"/>
481 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.8"/>
482 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.9"/>
483 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.10"/>
484 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.11"/>
485 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.12"/>
486 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.13"/>
487 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.14"/>
488 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.15"/>
489 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.16"/>
490 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.17"/>
491 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.18"/>
492 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.19"/>
493 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.20"/>
494 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.21"/>
495 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.22"/>
496 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.23"/>
497 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.24"/>
498 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.25"/>
499 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.26"/>
500 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.27"/>
501 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.28"/>
502 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.29"/>
503 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.30"/>
504 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.31"/>
505 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.32"/>
506 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.33"/>
507 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.34"/>
508 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.35"/>
509 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.36"/>
510 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.37"/>
511 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.38"/>
512 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.39"/>
513 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.40"/>
514 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.41"/>
515 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.42"/>
516 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.43"/>
517 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.44"/>
518 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.45"/>
519 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.46"/>
520 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.47"/>
521 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.48"/>
522 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.49"/>
523 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.50"/>
524 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.51"/>
525 </operand>
526 </rightOperand>
527 </expression>
528 </value>
529 </assertions>
530 <assertions name="lowerMultiplicity commSubsystem CommunicatingElement" annotations="//@annotations.4">
531 <value xsi:type="language_1:Forall">
532 <quantifiedVariables name="src">
533 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
534 </quantifiedVariables>
535 <expression xsi:type="language_1:Exists">
536 <quantifiedVariables name="trg 1">
537 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
538 </quantifiedVariables>
539 <expression xsi:type="language_1:And">
540 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
541 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.0"/>
542 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@expression/@quantifiedVariables.0"/>
543 </operands>
544 </expression>
545 </expression>
546 </value>
547 </assertions>
548 <assertions name="upperMultiplicity commSubsystem CommunicatingElement" annotations="//@annotations.5">
549 <value xsi:type="language_1:Forall">
550 <quantifiedVariables name="src">
551 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
552 </quantifiedVariables>
553 <quantifiedVariables name="trg 1">
554 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
555 </quantifiedVariables>
556 <quantifiedVariables name="trg 2">
557 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
558 </quantifiedVariables>
559 <quantifiedVariables name="trg 3">
560 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
561 </quantifiedVariables>
562 <expression xsi:type="language_1:Impl">
563 <leftOperand xsi:type="language_1:And">
564 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
565 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.0"/>
566 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.1"/>
567 </operands>
568 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
569 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.0"/>
570 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.2"/>
571 </operands>
572 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
573 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.0"/>
574 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.3"/>
575 </operands>
576 </leftOperand>
577 <rightOperand xsi:type="language_1:Not">
578 <operand xsi:type="language_1:Distinct">
579 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.1"/>
580 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.2"/>
581 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.3"/>
582 </operand>
583 </rightOperand>
584 </expression>
585 </value>
586 </assertions>
587 <assertions name="upperMultiplicity communicationLink CommunicatingElement" annotations="//@annotations.6">
588 <value xsi:type="language_1:Forall">
589 <quantifiedVariables name="src">
590 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
591 </quantifiedVariables>
592 <quantifiedVariables name="trg 1">
593 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
594 </quantifiedVariables>
595 <quantifiedVariables name="trg 2">
596 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
597 </quantifiedVariables>
598 <expression xsi:type="language_1:Impl">
599 <leftOperand xsi:type="language_1:And">
600 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3">
601 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.0"/>
602 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.1"/>
603 </operands>
604 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3">
605 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.0"/>
606 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.2"/>
607 </operands>
608 </leftOperand>
609 <rightOperand xsi:type="language_1:Not">
610 <operand xsi:type="language_1:Distinct">
611 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.1"/>
612 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.2"/>
613 </operand>
614 </rightOperand>
615 </expression>
616 </value>
617 </assertions>
618 <assertions name="upperMultiplicity payload Spacecraft" annotations="//@annotations.7">
619 <value xsi:type="language_1:Forall">
620 <quantifiedVariables name="src">
621 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
622 </quantifiedVariables>
623 <quantifiedVariables name="trg 1">
624 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/>
625 </quantifiedVariables>
626 <quantifiedVariables name="trg 2">
627 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/>
628 </quantifiedVariables>
629 <expression xsi:type="language_1:Impl">
630 <leftOperand xsi:type="language_1:And">
631 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4">
632 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.0"/>
633 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.1"/>
634 </operands>
635 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4">
636 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.0"/>
637 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.2"/>
638 </operands>
639 </leftOperand>
640 <rightOperand xsi:type="language_1:Not">
641 <operand xsi:type="language_1:Distinct">
642 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.1"/>
643 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.2"/>
644 </operand>
645 </rightOperand>
646 </expression>
647 </value>
648 </assertions>
649 <assertions name="lowerMultiplicity source DirectedCommunicationLink" annotations="//@annotations.8">
650 <value xsi:type="language_1:Forall">
651 <quantifiedVariables name="src">
652 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
653 </quantifiedVariables>
654 <expression xsi:type="language_1:Exists">
655 <quantifiedVariables name="trg 1">
656 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
657 </quantifiedVariables>
658 <expression xsi:type="language_1:And">
659 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
660 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.0"/>
661 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@expression/@quantifiedVariables.0"/>
662 </operands>
663 </expression>
664 </expression>
665 </value>
666 </assertions>
667 <assertions name="upperMultiplicity source DirectedCommunicationLink" annotations="//@annotations.9">
668 <value xsi:type="language_1:Forall">
669 <quantifiedVariables name="src">
670 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
671 </quantifiedVariables>
672 <quantifiedVariables name="trg 1">
673 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
674 </quantifiedVariables>
675 <quantifiedVariables name="trg 2">
676 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
677 </quantifiedVariables>
678 <expression xsi:type="language_1:Impl">
679 <leftOperand xsi:type="language_1:And">
680 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
681 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.0"/>
682 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.1"/>
683 </operands>
684 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
685 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.0"/>
686 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.2"/>
687 </operands>
688 </leftOperand>
689 <rightOperand xsi:type="language_1:Not">
690 <operand xsi:type="language_1:Distinct">
691 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.1"/>
692 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.2"/>
693 </operand>
694 </rightOperand>
695 </expression>
696 </value>
697 </assertions>
698 <assertions name="lowerMultiplicity target DirectedCommunicationLink" annotations="//@annotations.10">
699 <value xsi:type="language_1:Forall">
700 <quantifiedVariables name="src">
701 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
702 </quantifiedVariables>
703 <expression xsi:type="language_1:Exists">
704 <quantifiedVariables name="trg 1">
705 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
706 </quantifiedVariables>
707 <expression xsi:type="language_1:And">
708 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
709 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.0"/>
710 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@expression/@quantifiedVariables.0"/>
711 </operands>
712 </expression>
713 </expression>
714 </value>
715 </assertions>
716 <assertions name="upperMultiplicity target DirectedCommunicationLink" annotations="//@annotations.11">
717 <value xsi:type="language_1:Forall">
718 <quantifiedVariables name="src">
719 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
720 </quantifiedVariables>
721 <quantifiedVariables name="trg 1">
722 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
723 </quantifiedVariables>
724 <quantifiedVariables name="trg 2">
725 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
726 </quantifiedVariables>
727 <expression xsi:type="language_1:Impl">
728 <leftOperand xsi:type="language_1:And">
729 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
730 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.0"/>
731 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.1"/>
732 </operands>
733 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
734 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.0"/>
735 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.2"/>
736 </operands>
737 </leftOperand>
738 <rightOperand xsi:type="language_1:Not">
739 <operand xsi:type="language_1:Distinct">
740 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.1"/>
741 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.2"/>
742 </operand>
743 </rightOperand>
744 </expression>
745 </value>
746 </assertions>
747 <assertions name="lowerMultiplicity band CommSubsystem" annotations="//@annotations.12">
748 <value xsi:type="language_1:Forall">
749 <quantifiedVariables name="src">
750 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
751 </quantifiedVariables>
752 <expression xsi:type="language_1:Exists">
753 <quantifiedVariables name="trg 1">
754 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/>
755 </quantifiedVariables>
756 <expression xsi:type="language_1:And">
757 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
758 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.0"/>
759 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@expression/@quantifiedVariables.0"/>
760 </operands>
761 </expression>
762 </expression>
763 </value>
764 </assertions>
765 <assertions name="upperMultiplicity band CommSubsystem" annotations="//@annotations.13">
766 <value xsi:type="language_1:Forall">
767 <quantifiedVariables name="src">
768 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
769 </quantifiedVariables>
770 <quantifiedVariables name="trg 1">
771 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/>
772 </quantifiedVariables>
773 <quantifiedVariables name="trg 2">
774 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/>
775 </quantifiedVariables>
776 <expression xsi:type="language_1:Impl">
777 <leftOperand xsi:type="language_1:And">
778 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
779 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.0"/>
780 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.1"/>
781 </operands>
782 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
783 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.0"/>
784 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.2"/>
785 </operands>
786 </leftOperand>
787 <rightOperand xsi:type="language_1:Not">
788 <operand xsi:type="language_1:Distinct">
789 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.1"/>
790 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.2"/>
791 </operand>
792 </rightOperand>
793 </expression>
794 </value>
795 </assertions>
796 <assertions name="lowerMultiplicity gain CommSubsystem" annotations="//@annotations.14">
797 <value xsi:type="language_1:Forall">
798 <quantifiedVariables name="src">
799 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
800 </quantifiedVariables>
801 <expression xsi:type="language_1:Exists">
802 <quantifiedVariables name="trg 1">
803 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
804 </quantifiedVariables>
805 <expression xsi:type="language_1:And">
806 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
807 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.0"/>
808 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@expression/@quantifiedVariables.0"/>
809 </operands>
810 </expression>
811 </expression>
812 </value>
813 </assertions>
814 <assertions name="upperMultiplicity gain CommSubsystem" annotations="//@annotations.15">
815 <value xsi:type="language_1:Forall">
816 <quantifiedVariables name="src">
817 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
818 </quantifiedVariables>
819 <quantifiedVariables name="trg 1">
820 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
821 </quantifiedVariables>
822 <quantifiedVariables name="trg 2">
823 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
824 </quantifiedVariables>
825 <expression xsi:type="language_1:Impl">
826 <leftOperand xsi:type="language_1:And">
827 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
828 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.0"/>
829 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.1"/>
830 </operands>
831 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
832 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.0"/>
833 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.2"/>
834 </operands>
835 </leftOperand>
836 <rightOperand xsi:type="language_1:Not">
837 <operand xsi:type="language_1:Distinct">
838 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.1"/>
839 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.2"/>
840 </operand>
841 </rightOperand>
842 </expression>
843 </value>
844 </assertions>
845 <assertions name="PartialInterpretation groundStationNetwork reference ConstellationMission" annotations="//@annotations.16">
846 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
847 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.6"/>
848 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.7"/>
849 </value>
850 </assertions>
851 <assertions name="PartialInterpretation commSubsystem reference CommunicatingElement" annotations="//@annotations.17">
852 <value xsi:type="language_1:And">
853 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
854 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.7"/>
855 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.8"/>
856 </operands>
857 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
858 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.7"/>
859 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.9"/>
860 </operands>
861 </value>
862 </assertions>
863 <assertions name="PartialInterpretation band attribute CommSubsystem" annotations="//@annotations.18">
864 <value xsi:type="language_1:And">
865 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
866 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.8"/>
867 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.1"/>
868 </operands>
869 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
870 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.9"/>
871 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.2"/>
872 </operands>
873 </value>
874 </assertions>
875 <assertions name="PartialInterpretation gain attribute CommSubsystem" annotations="//@annotations.19">
876 <value xsi:type="language_1:And">
877 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
878 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.8"/>
879 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.4"/>
880 </operands>
881 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
882 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.9"/>
883 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.5"/>
884 </operands>
885 </value>
886 </assertions>
887 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries communicationLinkDoesNotStartAtContainingElement" annotations="//@annotations.42">
888 <value xsi:type="language_1:Forall">
889 <quantifiedVariables name="p0">
890 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
891 </quantifiedVariables>
892 <expression xsi:type="language_1:Not">
893 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
894 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.20/@value/@quantifiedVariables.0"/>
895 </operand>
896 </expression>
897 </value>
898 </assertions>
899 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries noLinkToGroundStation" annotations="//@annotations.43">
900 <value xsi:type="language_1:Forall">
901 <quantifiedVariables name="p0">
902 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
903 </quantifiedVariables>
904 <expression xsi:type="language_1:Not">
905 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13">
906 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.21/@value/@quantifiedVariables.0"/>
907 </operand>
908 </expression>
909 </value>
910 </assertions>
911 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries communicationLoop" annotations="//@annotations.44">
912 <value xsi:type="language_1:Forall">
913 <quantifiedVariables name="p0">
914 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
915 </quantifiedVariables>
916 <expression xsi:type="language_1:Not">
917 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14">
918 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.22/@value/@quantifiedVariables.0"/>
919 </operand>
920 </expression>
921 </value>
922 </assertions>
923 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetBand" annotations="//@annotations.45">
924 <value xsi:type="language_1:Forall">
925 <quantifiedVariables name="p0">
926 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
927 </quantifiedVariables>
928 <expression xsi:type="language_1:Not">
929 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17">
930 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.23/@value/@quantifiedVariables.0"/>
931 </operand>
932 </expression>
933 </value>
934 </assertions>
935 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetGain" annotations="//@annotations.46">
936 <value xsi:type="language_1:Forall">
937 <quantifiedVariables name="p0">
938 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
939 </quantifiedVariables>
940 <expression xsi:type="language_1:Not">
941 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19">
942 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.24/@value/@quantifiedVariables.0"/>
943 </operand>
944 </expression>
945 </value>
946 </assertions>
947 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries uhfAntennaGainNotLow" annotations="//@annotations.47">
948 <value xsi:type="language_1:Forall">
949 <quantifiedVariables name="p0">
950 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
951 </quantifiedVariables>
952 <expression xsi:type="language_1:Not">
953 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21">
954 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.25/@value/@quantifiedVariables.0"/>
955 </operand>
956 </expression>
957 </value>
958 </assertions>
959 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries xAntennaGainNotMedium" annotations="//@annotations.48">
960 <value xsi:type="language_1:Forall">
961 <quantifiedVariables name="p0">
962 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
963 </quantifiedVariables>
964 <expression xsi:type="language_1:Not">
965 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23">
966 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.26/@value/@quantifiedVariables.0"/>
967 </operand>
968 </expression>
969 </value>
970 </assertions>
971 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries kaAntennaGainLow" annotations="//@annotations.49">
972 <value xsi:type="language_1:Forall">
973 <quantifiedVariables name="p0">
974 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
975 </quantifiedVariables>
976 <expression xsi:type="language_1:Not">
977 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25">
978 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.27/@value/@quantifiedVariables.0"/>
979 </operand>
980 </expression>
981 </value>
982 </assertions>
983 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries threeUCubeSatWithNonUhfCrossLink" annotations="//@annotations.50">
984 <value xsi:type="language_1:Forall">
985 <quantifiedVariables name="p0">
986 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
987 </quantifiedVariables>
988 <expression xsi:type="language_1:Not">
989 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26">
990 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.28/@value/@quantifiedVariables.0"/>
991 </operand>
992 </expression>
993 </value>
994 </assertions>
995 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries cubeSatWithKaAntenna" annotations="//@annotations.51">
996 <value xsi:type="language_1:Forall">
997 <quantifiedVariables name="p0">
998 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
999 </quantifiedVariables>
1000 <expression xsi:type="language_1:Not">
1001 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29">
1002 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.29/@value/@quantifiedVariables.0"/>
1003 </operand>
1004 </expression>
1005 </value>
1006 </assertions>
1007 <relations xsi:type="language_1:RelationDeclaration" name="groundStationNetwork reference ConstellationMission">
1008 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
1009 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
1010 </relations>
1011 <relations xsi:type="language_1:RelationDeclaration" name="spacecraft reference ConstellationMission">
1012 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
1013 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1014 </relations>
1015 <relations xsi:type="language_1:RelationDeclaration" name="commSubsystem reference CommunicatingElement">
1016 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1017 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1018 </relations>
1019 <relations xsi:type="language_1:RelationDeclaration" name="communicationLink reference CommunicatingElement">
1020 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1021 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1022 </relations>
1023 <relations xsi:type="language_1:RelationDeclaration" name="payload reference Spacecraft">
1024 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1025 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/>
1026 </relations>
1027 <relations xsi:type="language_1:RelationDeclaration" name="source reference DirectedCommunicationLink">
1028 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1029 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1030 </relations>
1031 <relations xsi:type="language_1:RelationDeclaration" name="target reference DirectedCommunicationLink">
1032 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1033 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1034 </relations>
1035 <relations xsi:type="language_1:RelationDeclaration" name="band attribute CommSubsystem">
1036 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1037 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/>
1038 </relations>
1039 <relations xsi:type="language_1:RelationDeclaration" name="gain attribute CommSubsystem">
1040 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1041 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1042 </relations>
1043 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries communicationLinkDoesNotStartAtContainingElement" annotations="//@annotations.20">
1044 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1045 <variables name="parameter Link">
1046 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1047 </variables>
1048 <value xsi:type="language_1:Or">
1049 <operands xsi:type="language_1:Exists">
1050 <quantifiedVariables name="variable Element">
1051 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1052 </quantifiedVariables>
1053 <quantifiedVariables name="variable SourceComm">
1054 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1055 </quantifiedVariables>
1056 <quantifiedVariables name="variable SourceElement">
1057 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1058 </quantifiedVariables>
1059 <expression xsi:type="language_1:And">
1060 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3">
1061 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@value/@operands.0/@quantifiedVariables.0"/>
1062 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@variables.0"/>
1063 </operands>
1064 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
1065 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@variables.0"/>
1066 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@value/@operands.0/@quantifiedVariables.1"/>
1067 </operands>
1068 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
1069 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@value/@operands.0/@quantifiedVariables.2"/>
1070 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@value/@operands.0/@quantifiedVariables.1"/>
1071 </operands>
1072 <operands xsi:type="language_1:InstanceOf">
1073 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@value/@operands.0/@quantifiedVariables.1"/>
1074 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1075 </operands>
1076 <operands xsi:type="language_1:Distinct">
1077 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@value/@operands.0/@quantifiedVariables.0"/>
1078 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@value/@operands.0/@quantifiedVariables.2"/>
1079 </operands>
1080 </expression>
1081 </operands>
1082 </value>
1083 </relations>
1084 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries notEnoughInterferometryPayloads" annotations="//@annotations.21">
1085 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
1086 <variables name="parameter Mission">
1087 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
1088 </variables>
1089 <value xsi:type="language_1:Or">
1090 <operands xsi:type="language_1:And">
1091 <operands xsi:type="language_1:InstanceOf">
1092 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@variables.0"/>
1093 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
1094 </operands>
1095 <operands xsi:type="language_1:Not">
1096 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11">
1097 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@variables.0"/>
1098 </operand>
1099 </operands>
1100 </operands>
1101 </value>
1102 </relations>
1103 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries atLeastTwoInterferometryPayloads" annotations="//@annotations.22">
1104 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
1105 <variables name="parameter Mission">
1106 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
1107 </variables>
1108 <value xsi:type="language_1:Or">
1109 <operands xsi:type="language_1:Exists">
1110 <quantifiedVariables name="variable Spacecraft1">
1111 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1112 </quantifiedVariables>
1113 <quantifiedVariables name="variable Spacecraft2">
1114 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1115 </quantifiedVariables>
1116 <expression xsi:type="language_1:And">
1117 <operands xsi:type="language_1:InstanceOf">
1118 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.0"/>
1119 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
1120 </operands>
1121 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12">
1122 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.0"/>
1123 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.0"/>
1124 </operands>
1125 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12">
1126 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.0"/>
1127 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.1"/>
1128 </operands>
1129 <operands xsi:type="language_1:Distinct">
1130 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.0"/>
1131 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.1"/>
1132 </operands>
1133 </expression>
1134 </operands>
1135 </value>
1136 </relations>
1137 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries spacecraftWithInterferometryPayload" annotations="//@annotations.23">
1138 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
1139 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1140 <variables name="parameter Mission">
1141 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
1142 </variables>
1143 <variables name="parameter Spacecraft">
1144 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1145 </variables>
1146 <value xsi:type="language_1:Or">
1147 <operands xsi:type="language_1:Exists">
1148 <quantifiedVariables name="variable Payload">
1149 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
1150 </quantifiedVariables>
1151 <expression xsi:type="language_1:And">
1152 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
1153 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.0"/>
1154 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.1"/>
1155 </operands>
1156 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4">
1157 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.1"/>
1158 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.0"/>
1159 </operands>
1160 <operands xsi:type="language_1:InstanceOf">
1161 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.0"/>
1162 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
1163 </operands>
1164 </expression>
1165 </operands>
1166 </value>
1167 </relations>
1168 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries noLinkToGroundStation" annotations="//@annotations.24">
1169 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1170 <variables name="parameter Spacecraft">
1171 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1172 </variables>
1173 <value xsi:type="language_1:Or">
1174 <operands xsi:type="language_1:Exists">
1175 <quantifiedVariables name="variable Mission">
1176 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
1177 </quantifiedVariables>
1178 <quantifiedVariables name="variable GroundStation">
1179 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
1180 </quantifiedVariables>
1181 <expression xsi:type="language_1:And">
1182 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
1183 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@value/@operands.0/@quantifiedVariables.0"/>
1184 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@value/@operands.0/@quantifiedVariables.1"/>
1185 </operands>
1186 <operands xsi:type="language_1:InstanceOf">
1187 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@value/@operands.0/@quantifiedVariables.1"/>
1188 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
1189 </operands>
1190 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
1191 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@value/@operands.0/@quantifiedVariables.0"/>
1192 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.0"/>
1193 </operands>
1194 <operands xsi:type="language_1:InstanceOf">
1195 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.0"/>
1196 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1197 </operands>
1198 <operands xsi:type="language_1:Not">
1199 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15">
1200 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.0"/>
1201 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@value/@operands.0/@quantifiedVariables.1"/>
1202 </operand>
1203 </operands>
1204 </expression>
1205 </operands>
1206 </value>
1207 </relations>
1208 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries communicationLoop" annotations="//@annotations.25">
1209 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1210 <variables name="parameter Element">
1211 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1212 </variables>
1213 <value xsi:type="language_1:Or">
1214 <operands xsi:type="language_1:And">
1215 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15">
1216 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/>
1217 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/>
1218 </operands>
1219 </operands>
1220 </value>
1221 </relations>
1222 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries indirectCommunicationLink" annotations="//@annotations.26">
1223 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1224 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1225 <variables name="parameter Source">
1226 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1227 </variables>
1228 <variables name="parameter Target">
1229 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1230 </variables>
1231 <value xsi:type="language_1:Or">
1232 <operands xsi:type="language_1:And">
1233 <operands xsi:type="language_1:TransitiveClosure" relation="//@relations.16"/>
1234 </operands>
1235 </value>
1236 </relations>
1237 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries directCommunicationLink" annotations="//@annotations.27">
1238 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1239 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1240 <variables name="parameter Source">
1241 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1242 </variables>
1243 <variables name="parameter Target">
1244 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1245 </variables>
1246 <value xsi:type="language_1:Or">
1247 <operands xsi:type="language_1:Exists">
1248 <quantifiedVariables name="variable Link">
1249 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1250 </quantifiedVariables>
1251 <quantifiedVariables name="variable SourceSubsystem">
1252 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1253 </quantifiedVariables>
1254 <quantifiedVariables name="variable TargetSubsystem">
1255 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1256 </quantifiedVariables>
1257 <expression xsi:type="language_1:And">
1258 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
1259 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.0"/>
1260 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.1"/>
1261 </operands>
1262 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
1263 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.0"/>
1264 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.2"/>
1265 </operands>
1266 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
1267 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.0"/>
1268 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.1"/>
1269 </operands>
1270 <operands xsi:type="language_1:InstanceOf">
1271 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.1"/>
1272 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1273 </operands>
1274 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
1275 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.1"/>
1276 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.2"/>
1277 </operands>
1278 <operands xsi:type="language_1:InstanceOf">
1279 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.2"/>
1280 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1281 </operands>
1282 </expression>
1283 </operands>
1284 </value>
1285 </relations>
1286 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetBand" annotations="//@annotations.28">
1287 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1288 <variables name="parameter Link">
1289 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1290 </variables>
1291 <value xsi:type="language_1:Or">
1292 <operands xsi:type="language_1:Exists">
1293 <quantifiedVariables name="variable SourceSubsystem">
1294 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1295 </quantifiedVariables>
1296 <quantifiedVariables name="variable TargetSubsystem">
1297 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1298 </quantifiedVariables>
1299 <quantifiedVariables name="variable Band">
1300 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/>
1301 </quantifiedVariables>
1302 <expression xsi:type="language_1:And">
1303 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
1304 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/>
1305 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.0"/>
1306 </operands>
1307 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
1308 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/>
1309 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.1"/>
1310 </operands>
1311 <operands xsi:type="language_1:InstanceOf">
1312 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.1"/>
1313 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1314 </operands>
1315 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
1316 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.0"/>
1317 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.2"/>
1318 </operands>
1319 <operands xsi:type="language_1:Not">
1320 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18">
1321 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.1"/>
1322 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.2"/>
1323 </operand>
1324 </operands>
1325 </expression>
1326 </operands>
1327 </value>
1328 </relations>
1329 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemBand" annotations="//@annotations.29">
1330 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1331 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/>
1332 <variables name="parameter Comm">
1333 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1334 </variables>
1335 <variables name="parameter Band">
1336 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/>
1337 </variables>
1338 <value xsi:type="language_1:Or">
1339 <operands xsi:type="language_1:And">
1340 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
1341 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.0"/>
1342 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.1"/>
1343 </operands>
1344 </operands>
1345 </value>
1346 </relations>
1347 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetGain" annotations="//@annotations.30">
1348 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1349 <variables name="parameter Link">
1350 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1351 </variables>
1352 <value xsi:type="language_1:Or">
1353 <operands xsi:type="language_1:Exists">
1354 <quantifiedVariables name="variable SourceSubsystem">
1355 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1356 </quantifiedVariables>
1357 <quantifiedVariables name="variable TargetSubsystem">
1358 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1359 </quantifiedVariables>
1360 <quantifiedVariables name="variable Gain">
1361 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1362 </quantifiedVariables>
1363 <expression xsi:type="language_1:And">
1364 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
1365 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/>
1366 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.0"/>
1367 </operands>
1368 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
1369 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/>
1370 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.1"/>
1371 </operands>
1372 <operands xsi:type="language_1:InstanceOf">
1373 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.1"/>
1374 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1375 </operands>
1376 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
1377 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.0"/>
1378 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.2"/>
1379 </operands>
1380 <operands xsi:type="language_1:Not">
1381 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20">
1382 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.1"/>
1383 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.2"/>
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 commSubsystemGain" annotations="//@annotations.31">
1391 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1392 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1393 <variables name="parameter Comm">
1394 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1395 </variables>
1396 <variables name="parameter Gain">
1397 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1398 </variables>
1399 <value xsi:type="language_1:Or">
1400 <operands xsi:type="language_1:And">
1401 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
1402 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.0"/>
1403 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.1"/>
1404 </operands>
1405 </operands>
1406 </value>
1407 </relations>
1408 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries uhfAntennaGainNotLow" annotations="//@annotations.32">
1409 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1410 <variables name="parameter Comm">
1411 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1412 </variables>
1413 <value xsi:type="language_1:Or">
1414 <operands xsi:type="language_1:Exists">
1415 <quantifiedVariables name="variable virtual0">
1416 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/>
1417 </quantifiedVariables>
1418 <expression xsi:type="language_1:And">
1419 <operands xsi:type="language_1:Equals">
1420 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.0"/>
1421 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/>
1422 </operands>
1423 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
1424 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.0"/>
1425 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.0"/>
1426 </operands>
1427 <operands xsi:type="language_1:Not">
1428 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22">
1429 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.0"/>
1430 </operand>
1431 </operands>
1432 </expression>
1433 </operands>
1434 </value>
1435 </relations>
1436 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemGainLow" annotations="//@annotations.33">
1437 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1438 <variables name="parameter Comm">
1439 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1440 </variables>
1441 <value xsi:type="language_1:Or">
1442 <operands xsi:type="language_1:Exists">
1443 <quantifiedVariables name="variable virtual0">
1444 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1445 </quantifiedVariables>
1446 <expression xsi:type="language_1:And">
1447 <operands xsi:type="language_1:Equals">
1448 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/>
1449 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.3"/>
1450 </operands>
1451 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
1452 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.0"/>
1453 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/>
1454 </operands>
1455 </expression>
1456 </operands>
1457 </value>
1458 </relations>
1459 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries xAntennaGainNotMedium" annotations="//@annotations.34">
1460 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1461 <variables name="parameter Comm">
1462 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1463 </variables>
1464 <value xsi:type="language_1:Or">
1465 <operands xsi:type="language_1:Exists">
1466 <quantifiedVariables name="variable virtual0">
1467 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/>
1468 </quantifiedVariables>
1469 <expression xsi:type="language_1:And">
1470 <operands xsi:type="language_1:Equals">
1471 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.0"/>
1472 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.1"/>
1473 </operands>
1474 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
1475 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@variables.0"/>
1476 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.0"/>
1477 </operands>
1478 <operands xsi:type="language_1:Not">
1479 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24">
1480 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@variables.0"/>
1481 </operand>
1482 </operands>
1483 </expression>
1484 </operands>
1485 </value>
1486 </relations>
1487 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemGainMedium" annotations="//@annotations.35">
1488 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1489 <variables name="parameter Comm">
1490 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1491 </variables>
1492 <value xsi:type="language_1:Or">
1493 <operands xsi:type="language_1:Exists">
1494 <quantifiedVariables name="variable virtual0">
1495 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1496 </quantifiedVariables>
1497 <expression xsi:type="language_1:And">
1498 <operands xsi:type="language_1:Equals">
1499 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@value/@operands.0/@quantifiedVariables.0"/>
1500 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.4"/>
1501 </operands>
1502 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
1503 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@variables.0"/>
1504 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@value/@operands.0/@quantifiedVariables.0"/>
1505 </operands>
1506 </expression>
1507 </operands>
1508 </value>
1509 </relations>
1510 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries kaAntennaGainLow" annotations="//@annotations.36">
1511 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1512 <variables name="parameter Comm">
1513 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1514 </variables>
1515 <value xsi:type="language_1:Or">
1516 <operands xsi:type="language_1:Exists">
1517 <quantifiedVariables name="variable virtual0">
1518 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/>
1519 </quantifiedVariables>
1520 <quantifiedVariables name="variable virtual2">
1521 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1522 </quantifiedVariables>
1523 <expression xsi:type="language_1:And">
1524 <operands xsi:type="language_1:Equals">
1525 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.0"/>
1526 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.2"/>
1527 </operands>
1528 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
1529 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@variables.0"/>
1530 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.0"/>
1531 </operands>
1532 <operands xsi:type="language_1:Equals">
1533 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.1"/>
1534 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.3"/>
1535 </operands>
1536 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
1537 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@variables.0"/>
1538 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.1"/>
1539 </operands>
1540 </expression>
1541 </operands>
1542 </value>
1543 </relations>
1544 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries threeUCubeSatWithNonUhfCrossLink" annotations="//@annotations.37">
1545 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1546 <variables name="parameter Sat">
1547 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1548 </variables>
1549 <value xsi:type="language_1:Or">
1550 <operands xsi:type="language_1:Exists">
1551 <quantifiedVariables name="variable SourceComm">
1552 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1553 </quantifiedVariables>
1554 <quantifiedVariables name="variable Link">
1555 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1556 </quantifiedVariables>
1557 <quantifiedVariables name="variable TargetComm">
1558 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1559 </quantifiedVariables>
1560 <quantifiedVariables name="variable Target">
1561 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1562 </quantifiedVariables>
1563 <expression xsi:type="language_1:And">
1564 <operands xsi:type="language_1:InstanceOf">
1565 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.0"/>
1566 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1567 </operands>
1568 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
1569 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.0"/>
1570 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.0"/>
1571 </operands>
1572 <operands xsi:type="language_1:Not">
1573 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27">
1574 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.0"/>
1575 </operand>
1576 </operands>
1577 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
1578 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.1"/>
1579 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.0"/>
1580 </operands>
1581 <operands xsi:type="language_1:InstanceOf">
1582 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.0"/>
1583 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1584 </operands>
1585 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
1586 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.1"/>
1587 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.2"/>
1588 </operands>
1589 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
1590 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.3"/>
1591 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.2"/>
1592 </operands>
1593 <operands xsi:type="language_1:InstanceOf">
1594 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.2"/>
1595 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1596 </operands>
1597 <operands xsi:type="language_1:Not">
1598 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.28">
1599 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.3"/>
1600 </operand>
1601 </operands>
1602 </expression>
1603 </operands>
1604 </value>
1605 </relations>
1606 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemBandUhf" annotations="//@annotations.38">
1607 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1608 <variables name="parameter Comm">
1609 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1610 </variables>
1611 <value xsi:type="language_1:Or">
1612 <operands xsi:type="language_1:Exists">
1613 <quantifiedVariables name="variable virtual0">
1614 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/>
1615 </quantifiedVariables>
1616 <expression xsi:type="language_1:And">
1617 <operands xsi:type="language_1:Equals">
1618 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@value/@operands.0/@quantifiedVariables.0"/>
1619 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/>
1620 </operands>
1621 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
1622 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@variables.0"/>
1623 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@value/@operands.0/@quantifiedVariables.0"/>
1624 </operands>
1625 </expression>
1626 </operands>
1627 </value>
1628 </relations>
1629 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries groundStationNetwork" annotations="//@annotations.39">
1630 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
1631 <variables name="parameter Network">
1632 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
1633 </variables>
1634 <value xsi:type="language_1:Or">
1635 <operands xsi:type="language_1:And">
1636 <operands xsi:type="language_1:InstanceOf">
1637 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.28/@variables.0"/>
1638 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
1639 </operands>
1640 </operands>
1641 </value>
1642 </relations>
1643 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries cubeSatWithKaAntenna" annotations="//@annotations.40">
1644 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1645 <variables name="parameter Spacecraft">
1646 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1647 </variables>
1648 <value xsi:type="language_1:Or">
1649 <operands xsi:type="language_1:Exists">
1650 <quantifiedVariables name="variable virtual0">
1651 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/>
1652 </quantifiedVariables>
1653 <quantifiedVariables name="variable virtual1">
1654 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1655 </quantifiedVariables>
1656 <expression xsi:type="language_1:And">
1657 <operands xsi:type="language_1:InstanceOf">
1658 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@variables.0"/>
1659 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1660 </operands>
1661 <operands xsi:type="language_1:Equals">
1662 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@value/@operands.0/@quantifiedVariables.0"/>
1663 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.2"/>
1664 </operands>
1665 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
1666 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@variables.0"/>
1667 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@value/@operands.0/@quantifiedVariables.1"/>
1668 </operands>
1669 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
1670 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@value/@operands.0/@quantifiedVariables.1"/>
1671 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@value/@operands.0/@quantifiedVariables.0"/>
1672 </operands>
1673 <operands xsi:type="language_1:Not">
1674 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.30">
1675 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@variables.0"/>
1676 </operand>
1677 </operands>
1678 </expression>
1679 </operands>
1680 </value>
1681 </relations>
1682 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries smallSat" annotations="//@annotations.41">
1683 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
1684 <variables name="parameter Sat">
1685 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
1686 </variables>
1687 <value xsi:type="language_1:Or">
1688 <operands xsi:type="language_1:And">
1689 <operands xsi:type="language_1:InstanceOf">
1690 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.30/@variables.0"/>
1691 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
1692 </operands>
1693 </operands>
1694 </value>
1695 </relations>
1696 <elements name="UHF literal TransceiverBand" definedInType="//@types.12"/>
1697 <elements name="X literal TransceiverBand" definedInType="//@types.12"/>
1698 <elements name="Ka literal TransceiverBand" definedInType="//@types.12"/>
1699 <elements name="LOW literal AntennaGain" definedInType="//@types.13"/>
1700 <elements name="MEDIUM literal AntennaGain" definedInType="//@types.13"/>
1701 <elements name="HIGH literal AntennaGain" definedInType="//@types.13"/>
1702 <elements name="o 1" definedInType="//@types.14 //@types.16"/>
1703 <elements name="o 2" definedInType="//@types.18 //@types.20"/>
1704 <elements name="o 3" definedInType="//@types.22"/>
1705 <elements name="o 4" definedInType="//@types.22"/>
1706 <containmentHierarchies typesOrderedInHierarchy="//@types.2 //@types.0 //@types.1 //@types.9 //@types.7 //@types.10 //@types.3 //@types.6 //@types.8 //@types.11 //@types.5 //@types.4 //@types.14 //@types.15 //@types.16 //@types.17 //@types.18 //@types.19 //@types.20 //@types.21 //@types.22 //@types.23" containmentRelations="//@relations.0 //@relations.1 //@relations.2 //@relations.3 //@relations.4"/>
1707 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.0" relation="//@relations.0" lower="1"/>
1708 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.1" relation="//@relations.0" upper="1"/>
1709 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.2" relation="//@relations.1" lower="2"/>
1710 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.3" relation="//@relations.1" upper="50"/>
1711 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.4" relation="//@relations.2" lower="1"/>
1712 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.5" relation="//@relations.2" upper="2"/>
1713 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.6" relation="//@relations.3" upper="1"/>
1714 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.7" relation="//@relations.4" upper="1"/>
1715 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.8" relation="//@relations.5" lower="1"/>
1716 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.9" relation="//@relations.5" upper="1"/>
1717 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.10" relation="//@relations.6" lower="1"/>
1718 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.11" relation="//@relations.6" upper="1"/>
1719 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.12" relation="//@relations.7" lower="1"/>
1720 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.13" relation="//@relations.7" upper="1"/>
1721 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.14" relation="//@relations.8" lower="1"/>
1722 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.15" relation="//@relations.8" upper="1"/>
1723 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.16" targetRelation="//@relations.0"/>
1724 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.17" targetRelation="//@relations.2"/>
1725 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.18" targetRelation="//@relations.7"/>
1726 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.19" targetRelation="//@relations.8"/>
1727 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.9" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.communicationLinkDoesNotStartAtContainingElement"/>
1728 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.10" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.notEnoughInterferometryPayloads"/>
1729 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.11" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.atLeastTwoInterferometryPayloads"/>
1730 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.12" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.spacecraftWithInterferometryPayload"/>
1731 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.13" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.noLinkToGroundStation"/>
1732 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.14" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.communicationLoop"/>
1733 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.15" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.indirectCommunicationLink"/>
1734 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.16" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.directCommunicationLink"/>
1735 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.17" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.incompatibleSourceAndTargetBand"/>
1736 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.18" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemBand"/>
1737 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.19" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.incompatibleSourceAndTargetGain"/>
1738 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.20" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemGain"/>
1739 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.21" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.uhfAntennaGainNotLow"/>
1740 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.22" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemGainLow"/>
1741 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.23" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.xAntennaGainNotMedium"/>
1742 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.24" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemGainMedium"/>
1743 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.25" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.kaAntennaGainLow"/>
1744 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.26" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.threeUCubeSatWithNonUhfCrossLink"/>
1745 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.27" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemBandUhf"/>
1746 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.28" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.groundStationNetwork"/>
1747 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.29" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.cubeSatWithKaAntenna"/>
1748 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.30" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.smallSat"/>
1749 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.20" query="//@annotations.20"/>
1750 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.21" query="//@annotations.24"/>
1751 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.22" query="//@annotations.25"/>
1752 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.23" query="//@annotations.28"/>
1753 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.24" query="//@annotations.30"/>
1754 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.25" query="//@annotations.32"/>
1755 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.26" query="//@annotations.34"/>
1756 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.27" query="//@annotations.36"/>
1757 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.28" query="//@annotations.37"/>
1758 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.29" query="//@annotations.40"/>
1759</language:LogicProblem>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-17 07:42:14 +0000