diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-06-09 14:45:02 -0400 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-06-09 14:45:02 -0400 |
commit | 555987a459702674da350fa1fd5f76ffe14cd7c0 (patch) | |
tree | c64f2af9d655eb94b1a13d8c22f67bbf34435e0f /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generated3valued.vql_deactivated | |
parent | Trying to simplify Satellite case study (diff) | |
download | VIATRA-Generator-555987a459702674da350fa1fd5f76ffe14cd7c0.tar.gz VIATRA-Generator-555987a459702674da350fa1fd5f76ffe14cd7c0.tar.zst VIATRA-Generator-555987a459702674da350fa1fd5f76ffe14cd7c0.zip |
Simplify satellite metamodel further
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generated3valued.vql_deactivated')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generated3valued.vql_deactivated | 1006 |
1 files changed, 375 insertions, 631 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generated3valued.vql_deactivated b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generated3valued.vql_deactivated index b42023a4..9bc66dee 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generated3valued.vql_deactivated +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generated3valued.vql_deactivated | |||
@@ -109,23 +109,21 @@ private pattern mayInstanceOfConstellationMission_class(problem:LogicProblem, in | |||
109 | { | 109 | { |
110 | find interpretation(problem,interpretation); | 110 | find interpretation(problem,interpretation); |
111 | PartialInterpretation.newElements(interpretation,element); | 111 | PartialInterpretation.newElements(interpretation,element); |
112 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
112 | neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element); | 113 | neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element); |
113 | neg find mustInstanceOfInterferometryMission_class(problem,interpretation,element); | 114 | neg find mustInstanceOfInterferometryMission_class(problem,interpretation,element); |
114 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
115 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
116 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 115 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
117 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 116 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
118 | neg find scopeDisallowsNewConstellationMission_class(problem, interpretation); | 117 | neg find scopeDisallowsNewConstellationMission_class(problem, interpretation); |
119 | neg find isPrimitive(element); | 118 | neg find isPrimitive(element); |
120 | } or { | 119 | } or { |
121 | find interpretation(problem,interpretation); | 120 | find interpretation(problem,interpretation); |
122 | PartialInterpretation.openWorldElements(interpretation,element); | 121 | PartialInterpretation.openWorldElements(interpretation,element); |
122 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
123 | neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element); | 123 | neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element); |
124 | neg find mustInstanceOfInterferometryMission_class(problem,interpretation,element); | 124 | neg find mustInstanceOfInterferometryMission_class(problem,interpretation,element); |
125 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
126 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
127 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 125 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
128 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 126 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
129 | neg find scopeDisallowsNewConstellationMission_class(problem, interpretation); | 127 | neg find scopeDisallowsNewConstellationMission_class(problem, interpretation); |
130 | neg find isPrimitive(element); | 128 | neg find isPrimitive(element); |
131 | } or | 129 | } or |
@@ -154,20 +152,18 @@ private pattern mayInstanceOfInterferometryMission_class(problem:LogicProblem, i | |||
154 | find interpretation(problem,interpretation); | 152 | find interpretation(problem,interpretation); |
155 | PartialInterpretation.newElements(interpretation,element); | 153 | PartialInterpretation.newElements(interpretation,element); |
156 | neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element); | 154 | neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element); |
157 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
158 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
159 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
160 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 155 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
156 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
157 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
161 | neg find scopeDisallowsNewInterferometryMission_class(problem, interpretation); | 158 | neg find scopeDisallowsNewInterferometryMission_class(problem, interpretation); |
162 | neg find isPrimitive(element); | 159 | neg find isPrimitive(element); |
163 | } or { | 160 | } or { |
164 | find interpretation(problem,interpretation); | 161 | find interpretation(problem,interpretation); |
165 | PartialInterpretation.openWorldElements(interpretation,element); | 162 | PartialInterpretation.openWorldElements(interpretation,element); |
166 | neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element); | 163 | neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element); |
167 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
168 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
169 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
170 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 164 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
165 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
166 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
171 | neg find scopeDisallowsNewInterferometryMission_class(problem, interpretation); | 167 | neg find scopeDisallowsNewInterferometryMission_class(problem, interpretation); |
172 | neg find isPrimitive(element); | 168 | neg find isPrimitive(element); |
173 | } or | 169 | } or |
@@ -195,23 +191,21 @@ private pattern mayInstanceOfCommunicatingElement_class(problem:LogicProblem, in | |||
195 | { | 191 | { |
196 | find interpretation(problem,interpretation); | 192 | find interpretation(problem,interpretation); |
197 | PartialInterpretation.newElements(interpretation,element); | 193 | PartialInterpretation.newElements(interpretation,element); |
198 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 194 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
199 | neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element); | 195 | neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element); |
200 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
201 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
202 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | 196 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); |
203 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 197 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
198 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
204 | neg find scopeDisallowsNewCommunicatingElement_class(problem, interpretation); | 199 | neg find scopeDisallowsNewCommunicatingElement_class(problem, interpretation); |
205 | neg find isPrimitive(element); | 200 | neg find isPrimitive(element); |
206 | } or { | 201 | } or { |
207 | find interpretation(problem,interpretation); | 202 | find interpretation(problem,interpretation); |
208 | PartialInterpretation.openWorldElements(interpretation,element); | 203 | PartialInterpretation.openWorldElements(interpretation,element); |
209 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 204 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
210 | neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element); | 205 | neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element); |
211 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
212 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
213 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | 206 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); |
214 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 207 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
208 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
215 | neg find scopeDisallowsNewCommunicatingElement_class(problem, interpretation); | 209 | neg find scopeDisallowsNewCommunicatingElement_class(problem, interpretation); |
216 | neg find isPrimitive(element); | 210 | neg find isPrimitive(element); |
217 | } or | 211 | } or |
@@ -239,21 +233,19 @@ private pattern mayInstanceOfGroundStationNetwork_class(problem:LogicProblem, in | |||
239 | { | 233 | { |
240 | find interpretation(problem,interpretation); | 234 | find interpretation(problem,interpretation); |
241 | PartialInterpretation.newElements(interpretation,element); | 235 | PartialInterpretation.newElements(interpretation,element); |
242 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 236 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
243 | neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element); | 237 | neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element); |
244 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
245 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 238 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
246 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 239 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
247 | neg find scopeDisallowsNewGroundStationNetwork_class(problem, interpretation); | 240 | neg find scopeDisallowsNewGroundStationNetwork_class(problem, interpretation); |
248 | neg find isPrimitive(element); | 241 | neg find isPrimitive(element); |
249 | } or { | 242 | } or { |
250 | find interpretation(problem,interpretation); | 243 | find interpretation(problem,interpretation); |
251 | PartialInterpretation.openWorldElements(interpretation,element); | 244 | PartialInterpretation.openWorldElements(interpretation,element); |
252 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 245 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
253 | neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element); | 246 | neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element); |
254 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
255 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 247 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
256 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 248 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
257 | neg find scopeDisallowsNewGroundStationNetwork_class(problem, interpretation); | 249 | neg find scopeDisallowsNewGroundStationNetwork_class(problem, interpretation); |
258 | neg find isPrimitive(element); | 250 | neg find isPrimitive(element); |
259 | } or | 251 | } or |
@@ -281,25 +273,23 @@ private pattern mayInstanceOfSpacecraft_class(problem:LogicProblem, interpretati | |||
281 | { | 273 | { |
282 | find interpretation(problem,interpretation); | 274 | find interpretation(problem,interpretation); |
283 | PartialInterpretation.newElements(interpretation,element); | 275 | PartialInterpretation.newElements(interpretation,element); |
284 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 276 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
285 | neg find mustInstanceOfCubeSat_class(problem,interpretation,element); | 277 | neg find mustInstanceOfCubeSat_class(problem,interpretation,element); |
286 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | 278 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); |
287 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
288 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
289 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | 279 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); |
290 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 280 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
281 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
291 | neg find scopeDisallowsNewSpacecraft_class(problem, interpretation); | 282 | neg find scopeDisallowsNewSpacecraft_class(problem, interpretation); |
292 | neg find isPrimitive(element); | 283 | neg find isPrimitive(element); |
293 | } or { | 284 | } or { |
294 | find interpretation(problem,interpretation); | 285 | find interpretation(problem,interpretation); |
295 | PartialInterpretation.openWorldElements(interpretation,element); | 286 | PartialInterpretation.openWorldElements(interpretation,element); |
296 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 287 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
297 | neg find mustInstanceOfCubeSat_class(problem,interpretation,element); | 288 | neg find mustInstanceOfCubeSat_class(problem,interpretation,element); |
298 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | 289 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); |
299 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
300 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
301 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | 290 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); |
302 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 291 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
292 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
303 | neg find scopeDisallowsNewSpacecraft_class(problem, interpretation); | 293 | neg find scopeDisallowsNewSpacecraft_class(problem, interpretation); |
304 | neg find isPrimitive(element); | 294 | neg find isPrimitive(element); |
305 | } or | 295 | } or |
@@ -327,70 +317,28 @@ private pattern mayInstanceOfCommSubsystem_class(problem:LogicProblem, interpret | |||
327 | { | 317 | { |
328 | find interpretation(problem,interpretation); | 318 | find interpretation(problem,interpretation); |
329 | PartialInterpretation.newElements(interpretation,element); | 319 | PartialInterpretation.newElements(interpretation,element); |
330 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 320 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
331 | neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); | 321 | neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); |
332 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
333 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
334 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); | 322 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); |
323 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
335 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); | 324 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); |
336 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 325 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
337 | neg find scopeDisallowsNewCommSubsystem_class(problem, interpretation); | 326 | neg find scopeDisallowsNewCommSubsystem_class(problem, interpretation); |
338 | neg find isPrimitive(element); | 327 | neg find isPrimitive(element); |
339 | } or { | 328 | } or { |
340 | find interpretation(problem,interpretation); | 329 | find interpretation(problem,interpretation); |
341 | PartialInterpretation.openWorldElements(interpretation,element); | 330 | PartialInterpretation.openWorldElements(interpretation,element); |
342 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 331 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
343 | neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); | 332 | neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); |
344 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
345 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
346 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); | 333 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); |
334 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
347 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); | 335 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); |
348 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 336 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
349 | neg find scopeDisallowsNewCommSubsystem_class(problem, interpretation); | 337 | neg find scopeDisallowsNewCommSubsystem_class(problem, interpretation); |
350 | neg find isPrimitive(element); | 338 | neg find isPrimitive(element); |
351 | } or | 339 | } or |
352 | { find mustInstanceOfCommSubsystem_class(problem,interpretation,element); } | 340 | { find mustInstanceOfCommSubsystem_class(problem,interpretation,element); } |
353 | /** | 341 | /** |
354 | * An element must be an instance of type "DirectedCommunicationLink class". | ||
355 | */ | ||
356 | private pattern mustInstanceOfDirectedCommunicationLink_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) { | ||
357 | Type.name(type,"DirectedCommunicationLink class"); | ||
358 | find directInstanceOf(problem,interpretation,element,type); | ||
359 | } | ||
360 | private pattern scopeDisallowsNewDirectedCommunicationLink_class(problem:LogicProblem, interpretation:PartialInterpretation) { | ||
361 | find interpretation(problem,interpretation); | ||
362 | PartialInterpretation.scopes(interpretation,scope); | ||
363 | Scope.targetTypeInterpretation(scope,typeInterpretation); | ||
364 | Scope.maxNewElements(scope,0); | ||
365 | PartialComplexTypeInterpretation.interpretationOf(typeInterpretation,type); | ||
366 | Type.name(type,"DirectedCommunicationLink class"); | ||
367 | } | ||
368 | |||
369 | /** | ||
370 | * An element may be an instance of type "DirectedCommunicationLink class". | ||
371 | */ | ||
372 | private pattern mayInstanceOfDirectedCommunicationLink_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) | ||
373 | { | ||
374 | find interpretation(problem,interpretation); | ||
375 | PartialInterpretation.newElements(interpretation,element); | ||
376 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
377 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
378 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
379 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
380 | neg find scopeDisallowsNewDirectedCommunicationLink_class(problem, interpretation); | ||
381 | neg find isPrimitive(element); | ||
382 | } or { | ||
383 | find interpretation(problem,interpretation); | ||
384 | PartialInterpretation.openWorldElements(interpretation,element); | ||
385 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
386 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
387 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
388 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
389 | neg find scopeDisallowsNewDirectedCommunicationLink_class(problem, interpretation); | ||
390 | neg find isPrimitive(element); | ||
391 | } or | ||
392 | { find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); } | ||
393 | /** | ||
394 | * An element must be an instance of type "Payload class". | 342 | * An element must be an instance of type "Payload class". |
395 | */ | 343 | */ |
396 | private pattern mustInstanceOfPayload_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) { | 344 | private pattern mustInstanceOfPayload_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) { |
@@ -413,21 +361,19 @@ private pattern mayInstanceOfPayload_class(problem:LogicProblem, interpretation: | |||
413 | { | 361 | { |
414 | find interpretation(problem,interpretation); | 362 | find interpretation(problem,interpretation); |
415 | PartialInterpretation.newElements(interpretation,element); | 363 | PartialInterpretation.newElements(interpretation,element); |
364 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
416 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 365 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
417 | neg find mustInstanceOfInterferometryPayload_class(problem,interpretation,element); | ||
418 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | 366 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
419 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 367 | neg find mustInstanceOfInterferometryPayload_class(problem,interpretation,element); |
420 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
421 | neg find scopeDisallowsNewPayload_class(problem, interpretation); | 368 | neg find scopeDisallowsNewPayload_class(problem, interpretation); |
422 | neg find isPrimitive(element); | 369 | neg find isPrimitive(element); |
423 | } or { | 370 | } or { |
424 | find interpretation(problem,interpretation); | 371 | find interpretation(problem,interpretation); |
425 | PartialInterpretation.openWorldElements(interpretation,element); | 372 | PartialInterpretation.openWorldElements(interpretation,element); |
373 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
426 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 374 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
427 | neg find mustInstanceOfInterferometryPayload_class(problem,interpretation,element); | ||
428 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | 375 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
429 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 376 | neg find mustInstanceOfInterferometryPayload_class(problem,interpretation,element); |
430 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
431 | neg find scopeDisallowsNewPayload_class(problem, interpretation); | 377 | neg find scopeDisallowsNewPayload_class(problem, interpretation); |
432 | neg find isPrimitive(element); | 378 | neg find isPrimitive(element); |
433 | } or | 379 | } or |
@@ -455,18 +401,16 @@ private pattern mayInstanceOfInterferometryPayload_class(problem:LogicProblem, i | |||
455 | { | 401 | { |
456 | find interpretation(problem,interpretation); | 402 | find interpretation(problem,interpretation); |
457 | PartialInterpretation.newElements(interpretation,element); | 403 | PartialInterpretation.newElements(interpretation,element); |
458 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
459 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 404 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
460 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 405 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
461 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | 406 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
462 | neg find scopeDisallowsNewInterferometryPayload_class(problem, interpretation); | 407 | neg find scopeDisallowsNewInterferometryPayload_class(problem, interpretation); |
463 | neg find isPrimitive(element); | 408 | neg find isPrimitive(element); |
464 | } or { | 409 | } or { |
465 | find interpretation(problem,interpretation); | 410 | find interpretation(problem,interpretation); |
466 | PartialInterpretation.openWorldElements(interpretation,element); | 411 | PartialInterpretation.openWorldElements(interpretation,element); |
467 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
468 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 412 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
469 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 413 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
470 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | 414 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
471 | neg find scopeDisallowsNewInterferometryPayload_class(problem, interpretation); | 415 | neg find scopeDisallowsNewInterferometryPayload_class(problem, interpretation); |
472 | neg find isPrimitive(element); | 416 | neg find isPrimitive(element); |
@@ -495,25 +439,23 @@ private pattern mayInstanceOfCubeSat3U_class(problem:LogicProblem, interpretatio | |||
495 | { | 439 | { |
496 | find interpretation(problem,interpretation); | 440 | find interpretation(problem,interpretation); |
497 | PartialInterpretation.newElements(interpretation,element); | 441 | PartialInterpretation.newElements(interpretation,element); |
498 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 442 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
499 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | 443 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); |
500 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
501 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
502 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
503 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); | 444 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); |
504 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 445 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); |
446 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
447 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
505 | neg find scopeDisallowsNewCubeSat3U_class(problem, interpretation); | 448 | neg find scopeDisallowsNewCubeSat3U_class(problem, interpretation); |
506 | neg find isPrimitive(element); | 449 | neg find isPrimitive(element); |
507 | } or { | 450 | } or { |
508 | find interpretation(problem,interpretation); | 451 | find interpretation(problem,interpretation); |
509 | PartialInterpretation.openWorldElements(interpretation,element); | 452 | PartialInterpretation.openWorldElements(interpretation,element); |
510 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 453 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
511 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | 454 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); |
512 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
513 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
514 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
515 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); | 455 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); |
516 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 456 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); |
457 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
458 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
517 | neg find scopeDisallowsNewCubeSat3U_class(problem, interpretation); | 459 | neg find scopeDisallowsNewCubeSat3U_class(problem, interpretation); |
518 | neg find isPrimitive(element); | 460 | neg find isPrimitive(element); |
519 | } or | 461 | } or |
@@ -541,25 +483,23 @@ private pattern mayInstanceOfCubeSat6U_class(problem:LogicProblem, interpretatio | |||
541 | { | 483 | { |
542 | find interpretation(problem,interpretation); | 484 | find interpretation(problem,interpretation); |
543 | PartialInterpretation.newElements(interpretation,element); | 485 | PartialInterpretation.newElements(interpretation,element); |
544 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 486 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
545 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | 487 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); |
546 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
547 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
548 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | 488 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); |
489 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
549 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); | 490 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); |
550 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 491 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
551 | neg find scopeDisallowsNewCubeSat6U_class(problem, interpretation); | 492 | neg find scopeDisallowsNewCubeSat6U_class(problem, interpretation); |
552 | neg find isPrimitive(element); | 493 | neg find isPrimitive(element); |
553 | } or { | 494 | } or { |
554 | find interpretation(problem,interpretation); | 495 | find interpretation(problem,interpretation); |
555 | PartialInterpretation.openWorldElements(interpretation,element); | 496 | PartialInterpretation.openWorldElements(interpretation,element); |
556 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 497 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
557 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | 498 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); |
558 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
559 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
560 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | 499 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); |
500 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
561 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); | 501 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); |
562 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 502 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
563 | neg find scopeDisallowsNewCubeSat6U_class(problem, interpretation); | 503 | neg find scopeDisallowsNewCubeSat6U_class(problem, interpretation); |
564 | neg find isPrimitive(element); | 504 | neg find isPrimitive(element); |
565 | } or | 505 | } or |
@@ -587,23 +527,21 @@ private pattern mayInstanceOfSmallSat_class(problem:LogicProblem, interpretation | |||
587 | { | 527 | { |
588 | find interpretation(problem,interpretation); | 528 | find interpretation(problem,interpretation); |
589 | PartialInterpretation.newElements(interpretation,element); | 529 | PartialInterpretation.newElements(interpretation,element); |
590 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 530 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
591 | neg find mustInstanceOfCubeSat_class(problem,interpretation,element); | 531 | neg find mustInstanceOfCubeSat_class(problem,interpretation,element); |
592 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
593 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
594 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | 532 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); |
595 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 533 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
534 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
596 | neg find scopeDisallowsNewSmallSat_class(problem, interpretation); | 535 | neg find scopeDisallowsNewSmallSat_class(problem, interpretation); |
597 | neg find isPrimitive(element); | 536 | neg find isPrimitive(element); |
598 | } or { | 537 | } or { |
599 | find interpretation(problem,interpretation); | 538 | find interpretation(problem,interpretation); |
600 | PartialInterpretation.openWorldElements(interpretation,element); | 539 | PartialInterpretation.openWorldElements(interpretation,element); |
601 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 540 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
602 | neg find mustInstanceOfCubeSat_class(problem,interpretation,element); | 541 | neg find mustInstanceOfCubeSat_class(problem,interpretation,element); |
603 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
604 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
605 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | 542 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); |
606 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 543 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
544 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
607 | neg find scopeDisallowsNewSmallSat_class(problem, interpretation); | 545 | neg find scopeDisallowsNewSmallSat_class(problem, interpretation); |
608 | neg find isPrimitive(element); | 546 | neg find isPrimitive(element); |
609 | } or | 547 | } or |
@@ -631,27 +569,25 @@ private pattern mayInstanceOfCubeSat_class(problem:LogicProblem, interpretation: | |||
631 | { | 569 | { |
632 | find interpretation(problem,interpretation); | 570 | find interpretation(problem,interpretation); |
633 | PartialInterpretation.newElements(interpretation,element); | 571 | PartialInterpretation.newElements(interpretation,element); |
634 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 572 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
635 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | 573 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); |
636 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
637 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
638 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | 574 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); |
639 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); | 575 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); |
576 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
577 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
640 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); | 578 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); |
641 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
642 | neg find scopeDisallowsNewCubeSat_class(problem, interpretation); | 579 | neg find scopeDisallowsNewCubeSat_class(problem, interpretation); |
643 | neg find isPrimitive(element); | 580 | neg find isPrimitive(element); |
644 | } or { | 581 | } or { |
645 | find interpretation(problem,interpretation); | 582 | find interpretation(problem,interpretation); |
646 | PartialInterpretation.openWorldElements(interpretation,element); | 583 | PartialInterpretation.openWorldElements(interpretation,element); |
647 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 584 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
648 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | 585 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); |
649 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
650 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
651 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | 586 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); |
652 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); | 587 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); |
588 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
589 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
653 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); | 590 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); |
654 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
655 | neg find scopeDisallowsNewCubeSat_class(problem, interpretation); | 591 | neg find scopeDisallowsNewCubeSat_class(problem, interpretation); |
656 | neg find isPrimitive(element); | 592 | neg find isPrimitive(element); |
657 | } or | 593 | } or |
@@ -679,23 +615,21 @@ private pattern mayInstanceOfUHFCommSubsystem_class(problem:LogicProblem, interp | |||
679 | { | 615 | { |
680 | find interpretation(problem,interpretation); | 616 | find interpretation(problem,interpretation); |
681 | PartialInterpretation.newElements(interpretation,element); | 617 | PartialInterpretation.newElements(interpretation,element); |
682 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 618 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
683 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
684 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
685 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); | 619 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); |
620 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
686 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); | 621 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); |
687 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 622 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
688 | neg find scopeDisallowsNewUHFCommSubsystem_class(problem, interpretation); | 623 | neg find scopeDisallowsNewUHFCommSubsystem_class(problem, interpretation); |
689 | neg find isPrimitive(element); | 624 | neg find isPrimitive(element); |
690 | } or { | 625 | } or { |
691 | find interpretation(problem,interpretation); | 626 | find interpretation(problem,interpretation); |
692 | PartialInterpretation.openWorldElements(interpretation,element); | 627 | PartialInterpretation.openWorldElements(interpretation,element); |
693 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 628 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
694 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
695 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
696 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); | 629 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); |
630 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
697 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); | 631 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); |
698 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 632 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
699 | neg find scopeDisallowsNewUHFCommSubsystem_class(problem, interpretation); | 633 | neg find scopeDisallowsNewUHFCommSubsystem_class(problem, interpretation); |
700 | neg find isPrimitive(element); | 634 | neg find isPrimitive(element); |
701 | } or | 635 | } or |
@@ -723,23 +657,21 @@ private pattern mayInstanceOfXCommSubsystem_class(problem:LogicProblem, interpre | |||
723 | { | 657 | { |
724 | find interpretation(problem,interpretation); | 658 | find interpretation(problem,interpretation); |
725 | PartialInterpretation.newElements(interpretation,element); | 659 | PartialInterpretation.newElements(interpretation,element); |
726 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 660 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
727 | neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); | 661 | neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); |
728 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
729 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
730 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); | 662 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); |
731 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 663 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
664 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
732 | neg find scopeDisallowsNewXCommSubsystem_class(problem, interpretation); | 665 | neg find scopeDisallowsNewXCommSubsystem_class(problem, interpretation); |
733 | neg find isPrimitive(element); | 666 | neg find isPrimitive(element); |
734 | } or { | 667 | } or { |
735 | find interpretation(problem,interpretation); | 668 | find interpretation(problem,interpretation); |
736 | PartialInterpretation.openWorldElements(interpretation,element); | 669 | PartialInterpretation.openWorldElements(interpretation,element); |
737 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 670 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
738 | neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); | 671 | neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); |
739 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
740 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
741 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); | 672 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); |
742 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 673 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
674 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
743 | neg find scopeDisallowsNewXCommSubsystem_class(problem, interpretation); | 675 | neg find scopeDisallowsNewXCommSubsystem_class(problem, interpretation); |
744 | neg find isPrimitive(element); | 676 | neg find isPrimitive(element); |
745 | } or | 677 | } or |
@@ -767,23 +699,21 @@ private pattern mayInstanceOfKaCommSubsystem_class(problem:LogicProblem, interpr | |||
767 | { | 699 | { |
768 | find interpretation(problem,interpretation); | 700 | find interpretation(problem,interpretation); |
769 | PartialInterpretation.newElements(interpretation,element); | 701 | PartialInterpretation.newElements(interpretation,element); |
770 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 702 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
771 | neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); | 703 | neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); |
772 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
773 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
774 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); | 704 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); |
775 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 705 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
706 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
776 | neg find scopeDisallowsNewKaCommSubsystem_class(problem, interpretation); | 707 | neg find scopeDisallowsNewKaCommSubsystem_class(problem, interpretation); |
777 | neg find isPrimitive(element); | 708 | neg find isPrimitive(element); |
778 | } or { | 709 | } or { |
779 | find interpretation(problem,interpretation); | 710 | find interpretation(problem,interpretation); |
780 | PartialInterpretation.openWorldElements(interpretation,element); | 711 | PartialInterpretation.openWorldElements(interpretation,element); |
781 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 712 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
782 | neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); | 713 | neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); |
783 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
784 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
785 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); | 714 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); |
786 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 715 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
716 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
787 | neg find scopeDisallowsNewKaCommSubsystem_class(problem, interpretation); | 717 | neg find scopeDisallowsNewKaCommSubsystem_class(problem, interpretation); |
788 | neg find isPrimitive(element); | 718 | neg find isPrimitive(element); |
789 | } or | 719 | } or |
@@ -832,21 +762,19 @@ private pattern mayInstanceOfConstellationMission_class_UndefinedPart(problem:Lo | |||
832 | { | 762 | { |
833 | find interpretation(problem,interpretation); | 763 | find interpretation(problem,interpretation); |
834 | PartialInterpretation.newElements(interpretation,element); | 764 | PartialInterpretation.newElements(interpretation,element); |
765 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
835 | neg find mustInstanceOfInterferometryMission_class(problem,interpretation,element); | 766 | neg find mustInstanceOfInterferometryMission_class(problem,interpretation,element); |
836 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
837 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
838 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 767 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
839 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 768 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
840 | neg find scopeDisallowsNewConstellationMission_class_UndefinedPart(problem, interpretation); | 769 | neg find scopeDisallowsNewConstellationMission_class_UndefinedPart(problem, interpretation); |
841 | neg find isPrimitive(element); | 770 | neg find isPrimitive(element); |
842 | } or { | 771 | } or { |
843 | find interpretation(problem,interpretation); | 772 | find interpretation(problem,interpretation); |
844 | PartialInterpretation.openWorldElements(interpretation,element); | 773 | PartialInterpretation.openWorldElements(interpretation,element); |
774 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
845 | neg find mustInstanceOfInterferometryMission_class(problem,interpretation,element); | 775 | neg find mustInstanceOfInterferometryMission_class(problem,interpretation,element); |
846 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
847 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
848 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 776 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
849 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 777 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
850 | neg find scopeDisallowsNewConstellationMission_class_UndefinedPart(problem, interpretation); | 778 | neg find scopeDisallowsNewConstellationMission_class_UndefinedPart(problem, interpretation); |
851 | neg find isPrimitive(element); | 779 | neg find isPrimitive(element); |
852 | } or | 780 | } or |
@@ -895,19 +823,17 @@ private pattern mayInstanceOfInterferometryMission_class_UndefinedPart(problem:L | |||
895 | { | 823 | { |
896 | find interpretation(problem,interpretation); | 824 | find interpretation(problem,interpretation); |
897 | PartialInterpretation.newElements(interpretation,element); | 825 | PartialInterpretation.newElements(interpretation,element); |
898 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
899 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
900 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
901 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 826 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
827 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
828 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
902 | neg find scopeDisallowsNewInterferometryMission_class_UndefinedPart(problem, interpretation); | 829 | neg find scopeDisallowsNewInterferometryMission_class_UndefinedPart(problem, interpretation); |
903 | neg find isPrimitive(element); | 830 | neg find isPrimitive(element); |
904 | } or { | 831 | } or { |
905 | find interpretation(problem,interpretation); | 832 | find interpretation(problem,interpretation); |
906 | PartialInterpretation.openWorldElements(interpretation,element); | 833 | PartialInterpretation.openWorldElements(interpretation,element); |
907 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
908 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
909 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
910 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 834 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
835 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
836 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
911 | neg find scopeDisallowsNewInterferometryMission_class_UndefinedPart(problem, interpretation); | 837 | neg find scopeDisallowsNewInterferometryMission_class_UndefinedPart(problem, interpretation); |
912 | neg find isPrimitive(element); | 838 | neg find isPrimitive(element); |
913 | } or | 839 | } or |
@@ -956,23 +882,21 @@ private pattern mayInstanceOfCommunicatingElement_class_UndefinedPart(problem:Lo | |||
956 | { | 882 | { |
957 | find interpretation(problem,interpretation); | 883 | find interpretation(problem,interpretation); |
958 | PartialInterpretation.newElements(interpretation,element); | 884 | PartialInterpretation.newElements(interpretation,element); |
959 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
960 | neg find mustInstanceOfSpacecraft_class(problem,interpretation,element); | ||
961 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
962 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
963 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
964 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 885 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
886 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
887 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
888 | neg find mustInstanceOfSpacecraft_class(problem,interpretation,element); | ||
889 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
965 | neg find scopeDisallowsNewCommunicatingElement_class_UndefinedPart(problem, interpretation); | 890 | neg find scopeDisallowsNewCommunicatingElement_class_UndefinedPart(problem, interpretation); |
966 | neg find isPrimitive(element); | 891 | neg find isPrimitive(element); |
967 | } or { | 892 | } or { |
968 | find interpretation(problem,interpretation); | 893 | find interpretation(problem,interpretation); |
969 | PartialInterpretation.openWorldElements(interpretation,element); | 894 | PartialInterpretation.openWorldElements(interpretation,element); |
970 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
971 | neg find mustInstanceOfSpacecraft_class(problem,interpretation,element); | ||
972 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
973 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
974 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
975 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 895 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
896 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
897 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
898 | neg find mustInstanceOfSpacecraft_class(problem,interpretation,element); | ||
899 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
976 | neg find scopeDisallowsNewCommunicatingElement_class_UndefinedPart(problem, interpretation); | 900 | neg find scopeDisallowsNewCommunicatingElement_class_UndefinedPart(problem, interpretation); |
977 | neg find isPrimitive(element); | 901 | neg find isPrimitive(element); |
978 | } or | 902 | } or |
@@ -1021,21 +945,19 @@ private pattern mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem:Lo | |||
1021 | { | 945 | { |
1022 | find interpretation(problem,interpretation); | 946 | find interpretation(problem,interpretation); |
1023 | PartialInterpretation.newElements(interpretation,element); | 947 | PartialInterpretation.newElements(interpretation,element); |
1024 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
1025 | neg find mustInstanceOfSpacecraft_class(problem,interpretation,element); | ||
1026 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
1027 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
1028 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 948 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
949 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
950 | neg find mustInstanceOfSpacecraft_class(problem,interpretation,element); | ||
951 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
1029 | neg find scopeDisallowsNewGroundStationNetwork_class_UndefinedPart(problem, interpretation); | 952 | neg find scopeDisallowsNewGroundStationNetwork_class_UndefinedPart(problem, interpretation); |
1030 | neg find isPrimitive(element); | 953 | neg find isPrimitive(element); |
1031 | } or { | 954 | } or { |
1032 | find interpretation(problem,interpretation); | 955 | find interpretation(problem,interpretation); |
1033 | PartialInterpretation.openWorldElements(interpretation,element); | 956 | PartialInterpretation.openWorldElements(interpretation,element); |
1034 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
1035 | neg find mustInstanceOfSpacecraft_class(problem,interpretation,element); | ||
1036 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
1037 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
1038 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 957 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
958 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
959 | neg find mustInstanceOfSpacecraft_class(problem,interpretation,element); | ||
960 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
1039 | neg find scopeDisallowsNewGroundStationNetwork_class_UndefinedPart(problem, interpretation); | 961 | neg find scopeDisallowsNewGroundStationNetwork_class_UndefinedPart(problem, interpretation); |
1040 | neg find isPrimitive(element); | 962 | neg find isPrimitive(element); |
1041 | } or | 963 | } or |
@@ -1084,25 +1006,23 @@ private pattern mayInstanceOfCommSubsystem_class_UndefinedPart(problem:LogicProb | |||
1084 | { | 1006 | { |
1085 | find interpretation(problem,interpretation); | 1007 | find interpretation(problem,interpretation); |
1086 | PartialInterpretation.newElements(interpretation,element); | 1008 | PartialInterpretation.newElements(interpretation,element); |
1087 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 1009 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
1088 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
1089 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
1090 | neg find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,element); | 1010 | neg find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,element); |
1091 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); | 1011 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); |
1092 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); | 1012 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); |
1093 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 1013 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
1014 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
1094 | neg find scopeDisallowsNewCommSubsystem_class_UndefinedPart(problem, interpretation); | 1015 | neg find scopeDisallowsNewCommSubsystem_class_UndefinedPart(problem, interpretation); |
1095 | neg find isPrimitive(element); | 1016 | neg find isPrimitive(element); |
1096 | } or { | 1017 | } or { |
1097 | find interpretation(problem,interpretation); | 1018 | find interpretation(problem,interpretation); |
1098 | PartialInterpretation.openWorldElements(interpretation,element); | 1019 | PartialInterpretation.openWorldElements(interpretation,element); |
1099 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 1020 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
1100 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
1101 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
1102 | neg find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,element); | 1021 | neg find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,element); |
1103 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); | 1022 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); |
1104 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); | 1023 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); |
1105 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 1024 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
1025 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
1106 | neg find scopeDisallowsNewCommSubsystem_class_UndefinedPart(problem, interpretation); | 1026 | neg find scopeDisallowsNewCommSubsystem_class_UndefinedPart(problem, interpretation); |
1107 | neg find isPrimitive(element); | 1027 | neg find isPrimitive(element); |
1108 | } or | 1028 | } or |
@@ -1151,23 +1071,21 @@ private pattern mayInstanceOfXCommSubsystem_class_UndefinedPart(problem:LogicPro | |||
1151 | { | 1071 | { |
1152 | find interpretation(problem,interpretation); | 1072 | find interpretation(problem,interpretation); |
1153 | PartialInterpretation.newElements(interpretation,element); | 1073 | PartialInterpretation.newElements(interpretation,element); |
1154 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 1074 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
1155 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
1156 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
1157 | neg find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,element); | 1075 | neg find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,element); |
1158 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); | 1076 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); |
1159 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 1077 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
1078 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
1160 | neg find scopeDisallowsNewXCommSubsystem_class_UndefinedPart(problem, interpretation); | 1079 | neg find scopeDisallowsNewXCommSubsystem_class_UndefinedPart(problem, interpretation); |
1161 | neg find isPrimitive(element); | 1080 | neg find isPrimitive(element); |
1162 | } or { | 1081 | } or { |
1163 | find interpretation(problem,interpretation); | 1082 | find interpretation(problem,interpretation); |
1164 | PartialInterpretation.openWorldElements(interpretation,element); | 1083 | PartialInterpretation.openWorldElements(interpretation,element); |
1165 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 1084 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
1166 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
1167 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
1168 | neg find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,element); | 1085 | neg find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,element); |
1169 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); | 1086 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); |
1170 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 1087 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
1088 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
1171 | neg find scopeDisallowsNewXCommSubsystem_class_UndefinedPart(problem, interpretation); | 1089 | neg find scopeDisallowsNewXCommSubsystem_class_UndefinedPart(problem, interpretation); |
1172 | neg find isPrimitive(element); | 1090 | neg find isPrimitive(element); |
1173 | } or | 1091 | } or |
@@ -1216,23 +1134,21 @@ private pattern mayInstanceOfKaCommSubsystem_class_UndefinedPart(problem:LogicPr | |||
1216 | { | 1134 | { |
1217 | find interpretation(problem,interpretation); | 1135 | find interpretation(problem,interpretation); |
1218 | PartialInterpretation.newElements(interpretation,element); | 1136 | PartialInterpretation.newElements(interpretation,element); |
1219 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 1137 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
1220 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
1221 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
1222 | neg find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,element); | 1138 | neg find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,element); |
1223 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); | 1139 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); |
1224 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 1140 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
1141 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
1225 | neg find scopeDisallowsNewKaCommSubsystem_class_UndefinedPart(problem, interpretation); | 1142 | neg find scopeDisallowsNewKaCommSubsystem_class_UndefinedPart(problem, interpretation); |
1226 | neg find isPrimitive(element); | 1143 | neg find isPrimitive(element); |
1227 | } or { | 1144 | } or { |
1228 | find interpretation(problem,interpretation); | 1145 | find interpretation(problem,interpretation); |
1229 | PartialInterpretation.openWorldElements(interpretation,element); | 1146 | PartialInterpretation.openWorldElements(interpretation,element); |
1230 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 1147 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
1231 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
1232 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
1233 | neg find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,element); | 1148 | neg find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,element); |
1234 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); | 1149 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); |
1235 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 1150 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
1151 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
1236 | neg find scopeDisallowsNewKaCommSubsystem_class_UndefinedPart(problem, interpretation); | 1152 | neg find scopeDisallowsNewKaCommSubsystem_class_UndefinedPart(problem, interpretation); |
1237 | neg find isPrimitive(element); | 1153 | neg find isPrimitive(element); |
1238 | } or | 1154 | } or |
@@ -1362,46 +1278,6 @@ private pattern mayInRelationcommSubsystem_reference_CommunicatingElement( | |||
1362 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,source,target); | 1278 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,source,target); |
1363 | } | 1279 | } |
1364 | /** | 1280 | /** |
1365 | * Matcher for detecting tuples t where []communicationLink reference CommunicatingElement(source,target) | ||
1366 | */ | ||
1367 | private pattern mustInRelationcommunicationLink_reference_CommunicatingElement( | ||
1368 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
1369 | source: DefinedElement, target:DefinedElement) | ||
1370 | { | ||
1371 | find interpretation(problem,interpretation); | ||
1372 | PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation); | ||
1373 | PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"communicationLink reference CommunicatingElement"); | ||
1374 | PartialRelationInterpretation.relationlinks(relationIterpretation,link); | ||
1375 | BinaryElementRelationLink.param1(link,source); | ||
1376 | BinaryElementRelationLink.param2(link,target); | ||
1377 | } | ||
1378 | /** | ||
1379 | * Matcher for detecting tuples t where <>communicationLink reference CommunicatingElement(source,target) | ||
1380 | */ | ||
1381 | private pattern mayInRelationcommunicationLink_reference_CommunicatingElement( | ||
1382 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
1383 | source: DefinedElement, target:DefinedElement) | ||
1384 | { | ||
1385 | find interpretation(problem,interpretation); | ||
1386 | // The two endpoint of the link have to exist | ||
1387 | find mayExist(problem, interpretation, source); | ||
1388 | find mayExist(problem, interpretation, target); | ||
1389 | // Type consistency | ||
1390 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,source); | ||
1391 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,target); | ||
1392 | // There are "numberOfExistingReferences" currently existing instances of the reference from the source, | ||
1393 | // the upper bound of the multiplicity should be considered. | ||
1394 | numberOfExistingReferences == count find mustInRelationcommunicationLink_reference_CommunicatingElement(problem,interpretation,source,_); | ||
1395 | check(numberOfExistingReferences < 1); | ||
1396 | // The reference is containment, then a new reference cannot be create if: | ||
1397 | // 1. Multiple parents | ||
1398 | neg find mustContains4(problem,interpretation,_,target); | ||
1399 | // 2. Circle in the containment hierarchy | ||
1400 | neg find mustTransitiveContains(source,target); | ||
1401 | } or { | ||
1402 | find mustInRelationcommunicationLink_reference_CommunicatingElement(problem,interpretation,source,target); | ||
1403 | } | ||
1404 | /** | ||
1405 | * Matcher for detecting tuples t where []payload reference Spacecraft(source,target) | 1281 | * Matcher for detecting tuples t where []payload reference Spacecraft(source,target) |
1406 | */ | 1282 | */ |
1407 | private pattern mustInRelationpayload_reference_Spacecraft( | 1283 | private pattern mustInRelationpayload_reference_Spacecraft( |
@@ -1442,23 +1318,23 @@ private pattern mayInRelationpayload_reference_Spacecraft( | |||
1442 | find mustInRelationpayload_reference_Spacecraft(problem,interpretation,source,target); | 1318 | find mustInRelationpayload_reference_Spacecraft(problem,interpretation,source,target); |
1443 | } | 1319 | } |
1444 | /** | 1320 | /** |
1445 | * Matcher for detecting tuples t where []source reference DirectedCommunicationLink(source,target) | 1321 | * Matcher for detecting tuples t where []target reference CommSubsystem(source,target) |
1446 | */ | 1322 | */ |
1447 | private pattern mustInRelationsource_reference_DirectedCommunicationLink( | 1323 | private pattern mustInRelationtarget_reference_CommSubsystem( |
1448 | problem:LogicProblem, interpretation:PartialInterpretation, | 1324 | problem:LogicProblem, interpretation:PartialInterpretation, |
1449 | source: DefinedElement, target:DefinedElement) | 1325 | source: DefinedElement, target:DefinedElement) |
1450 | { | 1326 | { |
1451 | find interpretation(problem,interpretation); | 1327 | find interpretation(problem,interpretation); |
1452 | PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation); | 1328 | PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation); |
1453 | PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"source reference DirectedCommunicationLink"); | 1329 | PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"target reference CommSubsystem"); |
1454 | PartialRelationInterpretation.relationlinks(relationIterpretation,link); | 1330 | PartialRelationInterpretation.relationlinks(relationIterpretation,link); |
1455 | BinaryElementRelationLink.param1(link,source); | 1331 | BinaryElementRelationLink.param1(link,source); |
1456 | BinaryElementRelationLink.param2(link,target); | 1332 | BinaryElementRelationLink.param2(link,target); |
1457 | } | 1333 | } |
1458 | /** | 1334 | /** |
1459 | * Matcher for detecting tuples t where <>source reference DirectedCommunicationLink(source,target) | 1335 | * Matcher for detecting tuples t where <>target reference CommSubsystem(source,target) |
1460 | */ | 1336 | */ |
1461 | private pattern mayInRelationsource_reference_DirectedCommunicationLink( | 1337 | private pattern mayInRelationtarget_reference_CommSubsystem( |
1462 | problem:LogicProblem, interpretation:PartialInterpretation, | 1338 | problem:LogicProblem, interpretation:PartialInterpretation, |
1463 | source: DefinedElement, target:DefinedElement) | 1339 | source: DefinedElement, target:DefinedElement) |
1464 | { | 1340 | { |
@@ -1467,117 +1343,107 @@ private pattern mayInRelationsource_reference_DirectedCommunicationLink( | |||
1467 | find mayExist(problem, interpretation, source); | 1343 | find mayExist(problem, interpretation, source); |
1468 | find mayExist(problem, interpretation, target); | 1344 | find mayExist(problem, interpretation, target); |
1469 | // Type consistency | 1345 | // Type consistency |
1470 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,source); | 1346 | find mayInstanceOfCommSubsystem_class(problem,interpretation,source); |
1471 | find mayInstanceOfCommSubsystem_class(problem,interpretation,target); | 1347 | find mayInstanceOfCommSubsystem_class(problem,interpretation,target); |
1472 | // There are "numberOfExistingReferences" currently existing instances of the reference from the source, | 1348 | // There are "numberOfExistingReferences" currently existing instances of the reference from the source, |
1473 | // the upper bound of the multiplicity should be considered. | 1349 | // the upper bound of the multiplicity should be considered. |
1474 | numberOfExistingReferences == count find mustInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,source,_); | 1350 | numberOfExistingReferences == count find mustInRelationtarget_reference_CommSubsystem(problem,interpretation,source,_); |
1475 | check(numberOfExistingReferences < 1); | 1351 | check(numberOfExistingReferences < 1); |
1476 | } or { | 1352 | } or { |
1477 | find mustInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,source,target); | 1353 | find mustInRelationtarget_reference_CommSubsystem(problem,interpretation,source,target); |
1478 | } | 1354 | } |
1479 | /** | 1355 | |
1480 | * Matcher for detecting tuples t where []target reference DirectedCommunicationLink(source,target) | 1356 | ////////// |
1481 | */ | 1357 | // 1.3 Relation Definition Indexers |
1482 | private pattern mustInRelationtarget_reference_DirectedCommunicationLink( | 1358 | ////////// |
1359 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries communicationLinkDoesNotStartAtContainingElement | ||
1360 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement( | ||
1483 | problem:LogicProblem, interpretation:PartialInterpretation, | 1361 | problem:LogicProblem, interpretation:PartialInterpretation, |
1484 | source: DefinedElement, target:DefinedElement) | 1362 | var_Element) |
1485 | { | 1363 | { |
1486 | find interpretation(problem,interpretation); | 1364 | find interpretation(problem,interpretation); |
1487 | PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation); | 1365 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element); |
1488 | PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"target reference DirectedCommunicationLink"); | 1366 | // Element is exported |
1489 | PartialRelationInterpretation.relationlinks(relationIterpretation,link); | 1367 | find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_transmittingCommSubsystem(problem,interpretation,var_Element,var_Comm1); |
1490 | BinaryElementRelationLink.param1(link,source); | 1368 | find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_transmittingCommSubsystem(problem,interpretation,var_Element,var_Comm2); |
1491 | BinaryElementRelationLink.param2(link,target); | 1369 | neg find mayEquivalent(problem, interpretation, var_Comm1, var_Comm2); |
1492 | } | 1370 | } |
1493 | /** | 1371 | private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement( |
1494 | * Matcher for detecting tuples t where <>target reference DirectedCommunicationLink(source,target) | ||
1495 | */ | ||
1496 | private pattern mayInRelationtarget_reference_DirectedCommunicationLink( | ||
1497 | problem:LogicProblem, interpretation:PartialInterpretation, | 1372 | problem:LogicProblem, interpretation:PartialInterpretation, |
1498 | source: DefinedElement, target:DefinedElement) | 1373 | var_Element) |
1499 | { | 1374 | { |
1500 | find interpretation(problem,interpretation); | 1375 | find interpretation(problem,interpretation); |
1501 | // The two endpoint of the link have to exist | 1376 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_Element); |
1502 | find mayExist(problem, interpretation, source); | 1377 | // Element is exported |
1503 | find mayExist(problem, interpretation, target); | 1378 | find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_transmittingCommSubsystem(problem,interpretation,var_Element,var_Comm1); |
1504 | // Type consistency | 1379 | find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_transmittingCommSubsystem(problem,interpretation,var_Element,var_Comm2); |
1505 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,source); | 1380 | neg find mustEquivalent(problem, interpretation, var_Comm1, var_Comm2); |
1506 | find mayInstanceOfCommSubsystem_class(problem,interpretation,target); | ||
1507 | // There are "numberOfExistingReferences" currently existing instances of the reference from the source, | ||
1508 | // the upper bound of the multiplicity should be considered. | ||
1509 | numberOfExistingReferences == count find mustInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,source,_); | ||
1510 | check(numberOfExistingReferences < 1); | ||
1511 | } or { | ||
1512 | find mustInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,source,target); | ||
1513 | } | 1381 | } |
1514 | 1382 | private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement( | |
1515 | ////////// | 1383 | problem:LogicProblem, interpretation:PartialInterpretation, |
1516 | // 1.3 Relation Definition Indexers | 1384 | var_Element) |
1517 | ////////// | 1385 | { |
1518 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries communicationLinkDoesNotStartAtContainingElement | 1386 | find interpretation(problem,interpretation); |
1519 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement( | 1387 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element); |
1388 | // Element is exported | ||
1389 | find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_transmittingCommSubsystem(problem,interpretation,var_Element,var_Comm1); | ||
1390 | find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_transmittingCommSubsystem(problem,interpretation,var_Element,var_Comm2); | ||
1391 | neg find mustEquivalent(problem, interpretation, var_Comm1, var_Comm2); | ||
1392 | } | ||
1393 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries transmittingCommSubsystem | ||
1394 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_transmittingCommSubsystem( | ||
1520 | problem:LogicProblem, interpretation:PartialInterpretation, | 1395 | problem:LogicProblem, interpretation:PartialInterpretation, |
1521 | var_Link) | 1396 | var_Element, var_Comm) |
1522 | { | 1397 | { |
1523 | find interpretation(problem,interpretation); | 1398 | find interpretation(problem,interpretation); |
1524 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | ||
1525 | // Link is exported | ||
1526 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element); | 1399 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element); |
1527 | find mustInRelationcommunicationLink_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual0); | 1400 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); |
1528 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_virtual0); | 1401 | // Element is exported |
1529 | find mustEquivalent(problem, interpretation, var_virtual0, var_Link); | 1402 | // Comm is exported |
1530 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | 1403 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element); |
1531 | find mustInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1); | 1404 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual0); |
1405 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); | ||
1406 | find mustEquivalent(problem, interpretation, var_virtual0, var_Comm); | ||
1407 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
1408 | find mustInRelationtarget_reference_CommSubsystem(problem,interpretation,var_Comm,var_virtual1); | ||
1532 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); | 1409 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); |
1533 | find mustEquivalent(problem, interpretation, var_virtual1, var_SourceComm); | 1410 | find mustEquivalent(problem, interpretation, var_virtual1, _var__0); |
1534 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_SourceElement); | ||
1535 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_SourceElement,var_virtual2); | ||
1536 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2); | ||
1537 | find mustEquivalent(problem, interpretation, var_virtual2, var_SourceComm); | ||
1538 | neg find mayEquivalent(problem, interpretation, var_Element, var_SourceElement); | ||
1539 | } | 1411 | } |
1540 | private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement( | 1412 | private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_transmittingCommSubsystem( |
1541 | problem:LogicProblem, interpretation:PartialInterpretation, | 1413 | problem:LogicProblem, interpretation:PartialInterpretation, |
1542 | var_Link) | 1414 | var_Element, var_Comm) |
1543 | { | 1415 | { |
1544 | find interpretation(problem,interpretation); | 1416 | find interpretation(problem,interpretation); |
1545 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | ||
1546 | // Link is exported | ||
1547 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_Element); | 1417 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_Element); |
1548 | find mayInRelationcommunicationLink_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual0); | 1418 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); |
1549 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_virtual0); | 1419 | // Element is exported |
1550 | find mayEquivalent(problem, interpretation, var_virtual0, var_Link); | 1420 | // Comm is exported |
1551 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | 1421 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_Element); |
1552 | find mayInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1); | 1422 | find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual0); |
1423 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); | ||
1424 | find mayEquivalent(problem, interpretation, var_virtual0, var_Comm); | ||
1425 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
1426 | find mayInRelationtarget_reference_CommSubsystem(problem,interpretation,var_Comm,var_virtual1); | ||
1553 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); | 1427 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); |
1554 | find mayEquivalent(problem, interpretation, var_virtual1, var_SourceComm); | 1428 | find mayEquivalent(problem, interpretation, var_virtual1, _var__0); |
1555 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_SourceElement); | ||
1556 | find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_SourceElement,var_virtual2); | ||
1557 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2); | ||
1558 | find mayEquivalent(problem, interpretation, var_virtual2, var_SourceComm); | ||
1559 | neg find mustEquivalent(problem, interpretation, var_Element, var_SourceElement); | ||
1560 | } | 1429 | } |
1561 | private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement( | 1430 | private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_transmittingCommSubsystem( |
1562 | problem:LogicProblem, interpretation:PartialInterpretation, | 1431 | problem:LogicProblem, interpretation:PartialInterpretation, |
1563 | var_Link) | 1432 | var_Element, var_Comm) |
1564 | { | 1433 | { |
1565 | find interpretation(problem,interpretation); | 1434 | find interpretation(problem,interpretation); |
1566 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | ||
1567 | // Link is exported | ||
1568 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element); | 1435 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element); |
1569 | find mustInRelationcommunicationLink_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual0); | 1436 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); |
1570 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_virtual0); | 1437 | // Element is exported |
1571 | find mustEquivalent(problem, interpretation, var_virtual0, var_Link); | 1438 | // Comm is exported |
1572 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | 1439 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element); |
1573 | find mustInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1); | 1440 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual0); |
1441 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); | ||
1442 | find mustEquivalent(problem, interpretation, var_virtual0, var_Comm); | ||
1443 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
1444 | find mustInRelationtarget_reference_CommSubsystem(problem,interpretation,var_Comm,var_virtual1); | ||
1574 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); | 1445 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); |
1575 | find mustEquivalent(problem, interpretation, var_virtual1, var_SourceComm); | 1446 | find mustEquivalent(problem, interpretation, var_virtual1, _var__0); |
1576 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_SourceElement); | ||
1577 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_SourceElement,var_virtual2); | ||
1578 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2); | ||
1579 | find mustEquivalent(problem, interpretation, var_virtual2, var_SourceComm); | ||
1580 | neg find mustEquivalent(problem, interpretation, var_Element, var_SourceElement); | ||
1581 | } | 1447 | } |
1582 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries notEnoughInterferometryPayloads | 1448 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries notEnoughInterferometryPayloads |
1583 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_notEnoughInterferometryPayloads( | 1449 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_notEnoughInterferometryPayloads( |
@@ -2208,22 +2074,18 @@ private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satell | |||
2208 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Target); | 2074 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Target); |
2209 | // Source is exported | 2075 | // Source is exported |
2210 | // Target is exported | 2076 | // Target is exported |
2211 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | 2077 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_SourceSubsystem); |
2212 | find mustInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual0); | 2078 | find mustInRelationtarget_reference_CommSubsystem(problem,interpretation,var_SourceSubsystem,var_virtual0); |
2213 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); | 2079 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); |
2214 | find mustEquivalent(problem, interpretation, var_virtual0, var_SourceSubsystem); | 2080 | find mustEquivalent(problem, interpretation, var_virtual0, var_TargetSubsystem); |
2215 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | ||
2216 | find mustInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1); | ||
2217 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); | ||
2218 | find mustEquivalent(problem, interpretation, var_virtual1, var_TargetSubsystem); | ||
2219 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Source); | 2081 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Source); |
2220 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Source,var_virtual2); | 2082 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Source,var_virtual1); |
2221 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2); | 2083 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); |
2222 | find mustEquivalent(problem, interpretation, var_virtual2, var_SourceSubsystem); | 2084 | find mustEquivalent(problem, interpretation, var_virtual1, var_SourceSubsystem); |
2223 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Target); | 2085 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Target); |
2224 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Target,var_virtual3); | 2086 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Target,var_virtual2); |
2225 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual3); | 2087 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2); |
2226 | find mustEquivalent(problem, interpretation, var_virtual3, var_TargetSubsystem); | 2088 | find mustEquivalent(problem, interpretation, var_virtual2, var_TargetSubsystem); |
2227 | } | 2089 | } |
2228 | private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_directCommunicationLink( | 2090 | private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_directCommunicationLink( |
2229 | problem:LogicProblem, interpretation:PartialInterpretation, | 2091 | problem:LogicProblem, interpretation:PartialInterpretation, |
@@ -2234,22 +2096,18 @@ private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satelli | |||
2234 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_Target); | 2096 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_Target); |
2235 | // Source is exported | 2097 | // Source is exported |
2236 | // Target is exported | 2098 | // Target is exported |
2237 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | 2099 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_SourceSubsystem); |
2238 | find mayInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual0); | 2100 | find mayInRelationtarget_reference_CommSubsystem(problem,interpretation,var_SourceSubsystem,var_virtual0); |
2239 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); | 2101 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); |
2240 | find mayEquivalent(problem, interpretation, var_virtual0, var_SourceSubsystem); | 2102 | find mayEquivalent(problem, interpretation, var_virtual0, var_TargetSubsystem); |
2241 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | ||
2242 | find mayInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1); | ||
2243 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); | ||
2244 | find mayEquivalent(problem, interpretation, var_virtual1, var_TargetSubsystem); | ||
2245 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_Source); | 2103 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_Source); |
2246 | find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Source,var_virtual2); | 2104 | find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Source,var_virtual1); |
2247 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2); | 2105 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); |
2248 | find mayEquivalent(problem, interpretation, var_virtual2, var_SourceSubsystem); | 2106 | find mayEquivalent(problem, interpretation, var_virtual1, var_SourceSubsystem); |
2249 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_Target); | 2107 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_Target); |
2250 | find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Target,var_virtual3); | 2108 | find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Target,var_virtual2); |
2251 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual3); | 2109 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2); |
2252 | find mayEquivalent(problem, interpretation, var_virtual3, var_TargetSubsystem); | 2110 | find mayEquivalent(problem, interpretation, var_virtual2, var_TargetSubsystem); |
2253 | } | 2111 | } |
2254 | private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_directCommunicationLink( | 2112 | private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_directCommunicationLink( |
2255 | problem:LogicProblem, interpretation:PartialInterpretation, | 2113 | problem:LogicProblem, interpretation:PartialInterpretation, |
@@ -2260,22 +2118,18 @@ private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_sat | |||
2260 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Target); | 2118 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Target); |
2261 | // Source is exported | 2119 | // Source is exported |
2262 | // Target is exported | 2120 | // Target is exported |
2263 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | 2121 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_SourceSubsystem); |
2264 | find mustInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual0); | 2122 | find mustInRelationtarget_reference_CommSubsystem(problem,interpretation,var_SourceSubsystem,var_virtual0); |
2265 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); | 2123 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); |
2266 | find mustEquivalent(problem, interpretation, var_virtual0, var_SourceSubsystem); | 2124 | find mustEquivalent(problem, interpretation, var_virtual0, var_TargetSubsystem); |
2267 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | ||
2268 | find mustInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1); | ||
2269 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); | ||
2270 | find mustEquivalent(problem, interpretation, var_virtual1, var_TargetSubsystem); | ||
2271 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Source); | 2125 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Source); |
2272 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Source,var_virtual2); | 2126 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Source,var_virtual1); |
2273 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2); | 2127 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); |
2274 | find mustEquivalent(problem, interpretation, var_virtual2, var_SourceSubsystem); | 2128 | find mustEquivalent(problem, interpretation, var_virtual1, var_SourceSubsystem); |
2275 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Target); | 2129 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Target); |
2276 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Target,var_virtual3); | 2130 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Target,var_virtual2); |
2277 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual3); | 2131 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2); |
2278 | find mustEquivalent(problem, interpretation, var_virtual3, var_TargetSubsystem); | 2132 | find mustEquivalent(problem, interpretation, var_virtual2, var_TargetSubsystem); |
2279 | } | 2133 | } |
2280 | private pattern twoParam_mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_directCommunicationLink(var_Source, var_Target) { | 2134 | private pattern twoParam_mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_directCommunicationLink(var_Source, var_Target) { |
2281 | find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_directCommunicationLink(_,_,var_Source, var_Target); | 2135 | find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_directCommunicationLink(_,_,var_Source, var_Target); |
@@ -2289,53 +2143,41 @@ private pattern twoParam_currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_do | |||
2289 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetBand | 2143 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetBand |
2290 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetBand( | 2144 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetBand( |
2291 | problem:LogicProblem, interpretation:PartialInterpretation, | 2145 | problem:LogicProblem, interpretation:PartialInterpretation, |
2292 | var_Link) | 2146 | var_SourceSubsystem) |
2293 | { | 2147 | { |
2294 | find interpretation(problem,interpretation); | 2148 | find interpretation(problem,interpretation); |
2295 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | 2149 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_SourceSubsystem); |
2296 | // Link is exported | 2150 | // SourceSubsystem is exported |
2297 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | 2151 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_SourceSubsystem); |
2298 | find mustInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual0); | 2152 | find mustInRelationtarget_reference_CommSubsystem(problem,interpretation,var_SourceSubsystem,var_virtual0); |
2299 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); | 2153 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); |
2300 | find mustEquivalent(problem, interpretation, var_virtual0, var_SourceSubsystem); | 2154 | find mustEquivalent(problem, interpretation, var_virtual0, var_TargetSubsystem); |
2301 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | ||
2302 | find mustInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1); | ||
2303 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); | ||
2304 | find mustEquivalent(problem, interpretation, var_virtual1, var_TargetSubsystem); | ||
2305 | neg find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingCommSubsystem(problem,interpretation,var_SourceSubsystem,var_TargetSubsystem); | 2155 | neg find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingCommSubsystem(problem,interpretation,var_SourceSubsystem,var_TargetSubsystem); |
2306 | } | 2156 | } |
2307 | private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetBand( | 2157 | private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetBand( |
2308 | problem:LogicProblem, interpretation:PartialInterpretation, | 2158 | problem:LogicProblem, interpretation:PartialInterpretation, |
2309 | var_Link) | 2159 | var_SourceSubsystem) |
2310 | { | 2160 | { |
2311 | find interpretation(problem,interpretation); | 2161 | find interpretation(problem,interpretation); |
2312 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | 2162 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_SourceSubsystem); |
2313 | // Link is exported | 2163 | // SourceSubsystem is exported |
2314 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | 2164 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_SourceSubsystem); |
2315 | find mayInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual0); | 2165 | find mayInRelationtarget_reference_CommSubsystem(problem,interpretation,var_SourceSubsystem,var_virtual0); |
2316 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); | 2166 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); |
2317 | find mayEquivalent(problem, interpretation, var_virtual0, var_SourceSubsystem); | 2167 | find mayEquivalent(problem, interpretation, var_virtual0, var_TargetSubsystem); |
2318 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | ||
2319 | find mayInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1); | ||
2320 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); | ||
2321 | find mayEquivalent(problem, interpretation, var_virtual1, var_TargetSubsystem); | ||
2322 | neg find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingCommSubsystem(problem,interpretation,var_SourceSubsystem,var_TargetSubsystem); | 2168 | neg find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingCommSubsystem(problem,interpretation,var_SourceSubsystem,var_TargetSubsystem); |
2323 | } | 2169 | } |
2324 | private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetBand( | 2170 | private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetBand( |
2325 | problem:LogicProblem, interpretation:PartialInterpretation, | 2171 | problem:LogicProblem, interpretation:PartialInterpretation, |
2326 | var_Link) | 2172 | var_SourceSubsystem) |
2327 | { | 2173 | { |
2328 | find interpretation(problem,interpretation); | 2174 | find interpretation(problem,interpretation); |
2329 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | 2175 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_SourceSubsystem); |
2330 | // Link is exported | 2176 | // SourceSubsystem is exported |
2331 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | 2177 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_SourceSubsystem); |
2332 | find mustInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual0); | 2178 | find mustInRelationtarget_reference_CommSubsystem(problem,interpretation,var_SourceSubsystem,var_virtual0); |
2333 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); | 2179 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); |
2334 | find mustEquivalent(problem, interpretation, var_virtual0, var_SourceSubsystem); | 2180 | find mustEquivalent(problem, interpretation, var_virtual0, var_TargetSubsystem); |
2335 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | ||
2336 | find mustInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1); | ||
2337 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); | ||
2338 | find mustEquivalent(problem, interpretation, var_virtual1, var_TargetSubsystem); | ||
2339 | neg find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingCommSubsystem(problem,interpretation,var_SourceSubsystem,var_TargetSubsystem); | 2181 | neg find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingCommSubsystem(problem,interpretation,var_SourceSubsystem,var_TargetSubsystem); |
2340 | } | 2182 | } |
2341 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries threeUCubeSatWithNonUhfCrossLink | 2183 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries threeUCubeSatWithNonUhfCrossLink |
@@ -2351,18 +2193,14 @@ private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satell | |||
2351 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); | 2193 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); |
2352 | find mustEquivalent(problem, interpretation, var_virtual0, var_SourceComm); | 2194 | find mustEquivalent(problem, interpretation, var_virtual0, var_SourceComm); |
2353 | neg find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemBandUhf(problem,interpretation,var_SourceComm); | 2195 | neg find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemBandUhf(problem,interpretation,var_SourceComm); |
2354 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | 2196 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_SourceComm); |
2355 | find mustInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1); | 2197 | find mustInRelationtarget_reference_CommSubsystem(problem,interpretation,var_SourceComm,var_virtual1); |
2356 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); | 2198 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); |
2357 | find mustEquivalent(problem, interpretation, var_virtual1, var_SourceComm); | 2199 | find mustEquivalent(problem, interpretation, var_virtual1, var_TargetComm); |
2358 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | 2200 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Target); |
2359 | find mustInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual2); | 2201 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Target,var_virtual2); |
2360 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2); | 2202 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2); |
2361 | find mustEquivalent(problem, interpretation, var_virtual2, var_TargetComm); | 2203 | find mustEquivalent(problem, interpretation, var_virtual2, var_TargetComm); |
2362 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Target); | ||
2363 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Target,var_virtual3); | ||
2364 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual3); | ||
2365 | find mustEquivalent(problem, interpretation, var_virtual3, var_TargetComm); | ||
2366 | neg find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_groundStationNetwork(problem,interpretation,var_Target); | 2204 | neg find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_groundStationNetwork(problem,interpretation,var_Target); |
2367 | } | 2205 | } |
2368 | private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_threeUCubeSatWithNonUhfCrossLink( | 2206 | private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_threeUCubeSatWithNonUhfCrossLink( |
@@ -2377,18 +2215,14 @@ private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satelli | |||
2377 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); | 2215 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); |
2378 | find mayEquivalent(problem, interpretation, var_virtual0, var_SourceComm); | 2216 | find mayEquivalent(problem, interpretation, var_virtual0, var_SourceComm); |
2379 | neg find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemBandUhf(problem,interpretation,var_SourceComm); | 2217 | neg find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemBandUhf(problem,interpretation,var_SourceComm); |
2380 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | 2218 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_SourceComm); |
2381 | find mayInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1); | 2219 | find mayInRelationtarget_reference_CommSubsystem(problem,interpretation,var_SourceComm,var_virtual1); |
2382 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); | 2220 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); |
2383 | find mayEquivalent(problem, interpretation, var_virtual1, var_SourceComm); | 2221 | find mayEquivalent(problem, interpretation, var_virtual1, var_TargetComm); |
2384 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | 2222 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_Target); |
2385 | find mayInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual2); | 2223 | find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Target,var_virtual2); |
2386 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2); | 2224 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2); |
2387 | find mayEquivalent(problem, interpretation, var_virtual2, var_TargetComm); | 2225 | find mayEquivalent(problem, interpretation, var_virtual2, var_TargetComm); |
2388 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_Target); | ||
2389 | find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Target,var_virtual3); | ||
2390 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual3); | ||
2391 | find mayEquivalent(problem, interpretation, var_virtual3, var_TargetComm); | ||
2392 | neg find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_groundStationNetwork(problem,interpretation,var_Target); | 2226 | neg find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_groundStationNetwork(problem,interpretation,var_Target); |
2393 | } | 2227 | } |
2394 | private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_threeUCubeSatWithNonUhfCrossLink( | 2228 | private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_threeUCubeSatWithNonUhfCrossLink( |
@@ -2403,18 +2237,14 @@ private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_sat | |||
2403 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); | 2237 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); |
2404 | find mustEquivalent(problem, interpretation, var_virtual0, var_SourceComm); | 2238 | find mustEquivalent(problem, interpretation, var_virtual0, var_SourceComm); |
2405 | neg find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemBandUhf(problem,interpretation,var_SourceComm); | 2239 | neg find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemBandUhf(problem,interpretation,var_SourceComm); |
2406 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | 2240 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_SourceComm); |
2407 | find mustInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1); | 2241 | find mustInRelationtarget_reference_CommSubsystem(problem,interpretation,var_SourceComm,var_virtual1); |
2408 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); | 2242 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); |
2409 | find mustEquivalent(problem, interpretation, var_virtual1, var_SourceComm); | 2243 | find mustEquivalent(problem, interpretation, var_virtual1, var_TargetComm); |
2410 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | 2244 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Target); |
2411 | find mustInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual2); | 2245 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Target,var_virtual2); |
2412 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2); | 2246 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2); |
2413 | find mustEquivalent(problem, interpretation, var_virtual2, var_TargetComm); | 2247 | find mustEquivalent(problem, interpretation, var_virtual2, var_TargetComm); |
2414 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Target); | ||
2415 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Target,var_virtual3); | ||
2416 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual3); | ||
2417 | find mustEquivalent(problem, interpretation, var_virtual3, var_TargetComm); | ||
2418 | neg find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_groundStationNetwork(problem,interpretation,var_Target); | 2248 | neg find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_groundStationNetwork(problem,interpretation,var_Target); |
2419 | } | 2249 | } |
2420 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemBandUhf | 2250 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemBandUhf |
@@ -2560,8 +2390,6 @@ private pattern mustContains4(problem:LogicProblem, interpretation:PartialInterp | |||
2560 | 2390 | ||
2561 | { find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,source,target); }or | 2391 | { find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,source,target); }or |
2562 | 2392 | ||
2563 | { find mustInRelationcommunicationLink_reference_CommunicatingElement(problem,interpretation,source,target); }or | ||
2564 | |||
2565 | { find mustInRelationpayload_reference_Spacecraft(problem,interpretation,source,target); } | 2393 | { find mustInRelationpayload_reference_Spacecraft(problem,interpretation,source,target); } |
2566 | 2394 | ||
2567 | private pattern mustTransitiveContains(source,target) { | 2395 | private pattern mustTransitiveContains(source,target) { |
@@ -2574,9 +2402,9 @@ private pattern mustTransitiveContains(source,target) { | |||
2574 | // 2.1 Invalidated by WF Queries | 2402 | // 2.1 Invalidated by WF Queries |
2575 | ////////// | 2403 | ////////// |
2576 | pattern invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement(problem:LogicProblem, interpretation:PartialInterpretation, | 2404 | pattern invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement(problem:LogicProblem, interpretation:PartialInterpretation, |
2577 | var_Link) | 2405 | var_Element) |
2578 | { | 2406 | { |
2579 | find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement(problem,interpretation,var_Link); | 2407 | find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement(problem,interpretation,var_Element); |
2580 | } | 2408 | } |
2581 | pattern invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_notEnoughInterferometryPayloads(problem:LogicProblem, interpretation:PartialInterpretation, | 2409 | pattern invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_notEnoughInterferometryPayloads(problem:LogicProblem, interpretation:PartialInterpretation, |
2582 | var_Mission) | 2410 | var_Mission) |
@@ -2599,9 +2427,9 @@ pattern invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queri | |||
2599 | find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLoop(problem,interpretation,var_Element); | 2427 | find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLoop(problem,interpretation,var_Element); |
2600 | } | 2428 | } |
2601 | pattern invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetBand(problem:LogicProblem, interpretation:PartialInterpretation, | 2429 | pattern invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetBand(problem:LogicProblem, interpretation:PartialInterpretation, |
2602 | var_Link) | 2430 | var_SourceSubsystem) |
2603 | { | 2431 | { |
2604 | find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetBand(problem,interpretation,var_Link); | 2432 | find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetBand(problem,interpretation,var_SourceSubsystem); |
2605 | } | 2433 | } |
2606 | pattern invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_threeUCubeSatWithNonUhfCrossLink(problem:LogicProblem, interpretation:PartialInterpretation, | 2434 | pattern invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_threeUCubeSatWithNonUhfCrossLink(problem:LogicProblem, interpretation:PartialInterpretation, |
2607 | var_Sat) | 2435 | var_Sat) |
@@ -2646,32 +2474,14 @@ pattern unfinishedLowerMultiplicity_commSubsystem_reference_CommunicatingElement | |||
2646 | check(numberOfExistingReferences < 1); | 2474 | check(numberOfExistingReferences < 1); |
2647 | missingMultiplicity == eval(1-numberOfExistingReferences); | 2475 | missingMultiplicity == eval(1-numberOfExistingReferences); |
2648 | } | 2476 | } |
2649 | pattern unfinishedLowerMultiplicity_source_reference_DirectedCommunicationLink(problem:LogicProblem, interpretation:PartialInterpretation, relationIterpretation:PartialRelationInterpretation, object:DefinedElement,missingMultiplicity) { | ||
2650 | find interpretation(problem,interpretation); | ||
2651 | PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation); | ||
2652 | PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"source reference DirectedCommunicationLink"); | ||
2653 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,object); | ||
2654 | numberOfExistingReferences == count find mustInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,object,_); | ||
2655 | check(numberOfExistingReferences < 1); | ||
2656 | missingMultiplicity == eval(1-numberOfExistingReferences); | ||
2657 | } | ||
2658 | pattern unfinishedLowerMultiplicity_target_reference_DirectedCommunicationLink(problem:LogicProblem, interpretation:PartialInterpretation, relationIterpretation:PartialRelationInterpretation, object:DefinedElement,missingMultiplicity) { | ||
2659 | find interpretation(problem,interpretation); | ||
2660 | PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation); | ||
2661 | PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"target reference DirectedCommunicationLink"); | ||
2662 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,object); | ||
2663 | numberOfExistingReferences == count find mustInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,object,_); | ||
2664 | check(numberOfExistingReferences < 1); | ||
2665 | missingMultiplicity == eval(1-numberOfExistingReferences); | ||
2666 | } | ||
2667 | 2477 | ||
2668 | ////////// | 2478 | ////////// |
2669 | // 3.2 Unfinishedness Measured by WF Queries | 2479 | // 3.2 Unfinishedness Measured by WF Queries |
2670 | ////////// | 2480 | ////////// |
2671 | pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement(problem:LogicProblem, interpretation:PartialInterpretation, | 2481 | pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement(problem:LogicProblem, interpretation:PartialInterpretation, |
2672 | var_Link) | 2482 | var_Element) |
2673 | { | 2483 | { |
2674 | find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement(problem,interpretation,var_Link); | 2484 | find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement(problem,interpretation,var_Element); |
2675 | } | 2485 | } |
2676 | pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_notEnoughInterferometryPayloads(problem:LogicProblem, interpretation:PartialInterpretation, | 2486 | pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_notEnoughInterferometryPayloads(problem:LogicProblem, interpretation:PartialInterpretation, |
2677 | var_Mission) | 2487 | var_Mission) |
@@ -2694,9 +2504,9 @@ pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_querie | |||
2694 | find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLoop(problem,interpretation,var_Element); | 2504 | find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLoop(problem,interpretation,var_Element); |
2695 | } | 2505 | } |
2696 | pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetBand(problem:LogicProblem, interpretation:PartialInterpretation, | 2506 | pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetBand(problem:LogicProblem, interpretation:PartialInterpretation, |
2697 | var_Link) | 2507 | var_SourceSubsystem) |
2698 | { | 2508 | { |
2699 | find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetBand(problem,interpretation,var_Link); | 2509 | find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetBand(problem,interpretation,var_SourceSubsystem); |
2700 | } | 2510 | } |
2701 | pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_threeUCubeSatWithNonUhfCrossLink(problem:LogicProblem, interpretation:PartialInterpretation, | 2511 | pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_threeUCubeSatWithNonUhfCrossLink(problem:LogicProblem, interpretation:PartialInterpretation, |
2702 | var_Sat) | 2512 | var_Sat) |
@@ -2717,67 +2527,63 @@ pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_querie | |||
2717 | private pattern hasElementInContainment(problem:LogicProblem, interpretation:PartialInterpretation) | 2527 | private pattern hasElementInContainment(problem:LogicProblem, interpretation:PartialInterpretation) |
2718 | { | 2528 | { |
2719 | find interpretation(problem,interpretation); | 2529 | find interpretation(problem,interpretation); |
2720 | find mustInstanceOfGroundStationNetwork_class(problem,interpretation,root); | ||
2721 | find mustExist(problem, interpretation, root); | ||
2722 | }or{ | ||
2723 | find interpretation(problem,interpretation); | ||
2724 | find mustInstanceOfInterferometryMission_class(problem,interpretation,root); | 2530 | find mustInstanceOfInterferometryMission_class(problem,interpretation,root); |
2725 | find mustExist(problem, interpretation, root); | 2531 | find mustExist(problem, interpretation, root); |
2726 | }or{ | 2532 | }or{ |
2727 | find interpretation(problem,interpretation); | 2533 | find interpretation(problem,interpretation); |
2728 | find mustInstanceOfCubeSat6U_class(problem,interpretation,root); | 2534 | find mustInstanceOfPayload_class(problem,interpretation,root); |
2729 | find mustExist(problem, interpretation, root); | 2535 | find mustExist(problem, interpretation, root); |
2730 | }or{ | 2536 | }or{ |
2731 | find interpretation(problem,interpretation); | 2537 | find interpretation(problem,interpretation); |
2732 | find mustInstanceOfCommSubsystem_class(problem,interpretation,root); | 2538 | find mustInstanceOfKaCommSubsystem_class(problem,interpretation,root); |
2733 | find mustExist(problem, interpretation, root); | 2539 | find mustExist(problem, interpretation, root); |
2734 | }or{ | 2540 | }or{ |
2735 | find interpretation(problem,interpretation); | 2541 | find interpretation(problem,interpretation); |
2736 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,root); | 2542 | find mustInstanceOfSpacecraft_class(problem,interpretation,root); |
2737 | find mustExist(problem, interpretation, root); | 2543 | find mustExist(problem, interpretation, root); |
2738 | }or{ | 2544 | }or{ |
2739 | find interpretation(problem,interpretation); | 2545 | find interpretation(problem,interpretation); |
2740 | find mustInstanceOfCubeSat3U_class(problem,interpretation,root); | 2546 | find mustInstanceOfCommSubsystem_class(problem,interpretation,root); |
2741 | find mustExist(problem, interpretation, root); | 2547 | find mustExist(problem, interpretation, root); |
2742 | }or{ | 2548 | }or{ |
2743 | find interpretation(problem,interpretation); | 2549 | find interpretation(problem,interpretation); |
2744 | find mustInstanceOfConstellationMission_class(problem,interpretation,root); | 2550 | find mustInstanceOfInterferometryPayload_class(problem,interpretation,root); |
2745 | find mustExist(problem, interpretation, root); | 2551 | find mustExist(problem, interpretation, root); |
2746 | }or{ | 2552 | }or{ |
2747 | find interpretation(problem,interpretation); | 2553 | find interpretation(problem,interpretation); |
2748 | find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,root); | 2554 | find mustInstanceOfCubeSat6U_class(problem,interpretation,root); |
2749 | find mustExist(problem, interpretation, root); | 2555 | find mustExist(problem, interpretation, root); |
2750 | }or{ | 2556 | }or{ |
2751 | find interpretation(problem,interpretation); | 2557 | find interpretation(problem,interpretation); |
2752 | find mustInstanceOfKaCommSubsystem_class(problem,interpretation,root); | 2558 | find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,root); |
2753 | find mustExist(problem, interpretation, root); | 2559 | find mustExist(problem, interpretation, root); |
2754 | }or{ | 2560 | }or{ |
2755 | find interpretation(problem,interpretation); | 2561 | find interpretation(problem,interpretation); |
2756 | find mustInstanceOfPayload_class(problem,interpretation,root); | 2562 | find mustInstanceOfXCommSubsystem_class(problem,interpretation,root); |
2757 | find mustExist(problem, interpretation, root); | 2563 | find mustExist(problem, interpretation, root); |
2758 | }or{ | 2564 | }or{ |
2759 | find interpretation(problem,interpretation); | 2565 | find interpretation(problem,interpretation); |
2760 | find mustInstanceOfCubeSat_class(problem,interpretation,root); | 2566 | find mustInstanceOfGroundStationNetwork_class(problem,interpretation,root); |
2761 | find mustExist(problem, interpretation, root); | 2567 | find mustExist(problem, interpretation, root); |
2762 | }or{ | 2568 | }or{ |
2763 | find interpretation(problem,interpretation); | 2569 | find interpretation(problem,interpretation); |
2764 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,root); | 2570 | find mustInstanceOfConstellationMission_class(problem,interpretation,root); |
2765 | find mustExist(problem, interpretation, root); | 2571 | find mustExist(problem, interpretation, root); |
2766 | }or{ | 2572 | }or{ |
2767 | find interpretation(problem,interpretation); | 2573 | find interpretation(problem,interpretation); |
2768 | find mustInstanceOfSmallSat_class(problem,interpretation,root); | 2574 | find mustInstanceOfCubeSat3U_class(problem,interpretation,root); |
2769 | find mustExist(problem, interpretation, root); | 2575 | find mustExist(problem, interpretation, root); |
2770 | }or{ | 2576 | }or{ |
2771 | find interpretation(problem,interpretation); | 2577 | find interpretation(problem,interpretation); |
2772 | find mustInstanceOfInterferometryPayload_class(problem,interpretation,root); | 2578 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,root); |
2773 | find mustExist(problem, interpretation, root); | 2579 | find mustExist(problem, interpretation, root); |
2774 | }or{ | 2580 | }or{ |
2775 | find interpretation(problem,interpretation); | 2581 | find interpretation(problem,interpretation); |
2776 | find mustInstanceOfSpacecraft_class(problem,interpretation,root); | 2582 | find mustInstanceOfCubeSat_class(problem,interpretation,root); |
2777 | find mustExist(problem, interpretation, root); | 2583 | find mustExist(problem, interpretation, root); |
2778 | }or{ | 2584 | }or{ |
2779 | find interpretation(problem,interpretation); | 2585 | find interpretation(problem,interpretation); |
2780 | find mustInstanceOfXCommSubsystem_class(problem,interpretation,root); | 2586 | find mustInstanceOfSmallSat_class(problem,interpretation,root); |
2781 | find mustExist(problem, interpretation, root); | 2587 | find mustExist(problem, interpretation, root); |
2782 | }or{ | 2588 | }or{ |
2783 | find interpretation(problem,interpretation); | 2589 | find interpretation(problem,interpretation); |
@@ -2864,87 +2670,87 @@ pattern createObject_KaCommSubsystem_class_UndefinedPart( | |||
2864 | find mayExist(problem, interpretation, newObject); | 2670 | find mayExist(problem, interpretation, newObject); |
2865 | neg find mustExist(problem, interpretation, newObject); | 2671 | neg find mustExist(problem, interpretation, newObject); |
2866 | } | 2672 | } |
2867 | pattern createObject_SmallSat_class_by_spacecraft_reference_ConstellationMission( | 2673 | pattern createObject_GroundStationNetwork_class_UndefinedPart_by_groundStationNetwork_reference_ConstellationMission( |
2868 | problem:LogicProblem, interpretation:PartialInterpretation, | 2674 | problem:LogicProblem, interpretation:PartialInterpretation, |
2869 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, | 2675 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, |
2870 | container:DefinedElement) | 2676 | container:DefinedElement) |
2871 | { | 2677 | { |
2872 | find interpretation(problem,interpretation); | 2678 | find interpretation(problem,interpretation); |
2873 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 2679 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
2874 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"SmallSat class"); | 2680 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"GroundStationNetwork class UndefinedPart"); |
2875 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); | 2681 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); |
2876 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"spacecraft reference ConstellationMission"); | 2682 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"groundStationNetwork reference ConstellationMission"); |
2877 | find mustInstanceOfConstellationMission_class(problem,interpretation,container); | 2683 | find mustInstanceOfConstellationMission_class(problem,interpretation,container); |
2878 | find mayInstanceOfSmallSat_class(problem,interpretation,newObject); | 2684 | find mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,newObject); |
2879 | find mayInRelationspacecraft_reference_ConstellationMission(problem,interpretation,container,newObject); | 2685 | find mayInRelationgroundStationNetwork_reference_ConstellationMission(problem,interpretation,container,newObject); |
2880 | find mustExist(problem, interpretation, container); | 2686 | find mustExist(problem, interpretation, container); |
2881 | neg find mustExist(problem, interpretation, newObject); | 2687 | neg find mustExist(problem, interpretation, newObject); |
2882 | } | 2688 | } |
2883 | pattern createObject_SmallSat_class( | 2689 | pattern createObject_GroundStationNetwork_class_UndefinedPart( |
2884 | problem:LogicProblem, interpretation:PartialInterpretation, | 2690 | problem:LogicProblem, interpretation:PartialInterpretation, |
2885 | typeInterpretation:PartialComplexTypeInterpretation) | 2691 | typeInterpretation:PartialComplexTypeInterpretation) |
2886 | { | 2692 | { |
2887 | find interpretation(problem,interpretation); | 2693 | find interpretation(problem,interpretation); |
2888 | neg find hasElementInContainment(problem,interpretation); | 2694 | neg find hasElementInContainment(problem,interpretation); |
2889 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 2695 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
2890 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"SmallSat class"); | 2696 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"GroundStationNetwork class UndefinedPart"); |
2891 | find mayInstanceOfSmallSat_class(problem,interpretation,newObject); | 2697 | find mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,newObject); |
2892 | find mayExist(problem, interpretation, newObject); | 2698 | find mayExist(problem, interpretation, newObject); |
2893 | neg find mustExist(problem, interpretation, newObject); | 2699 | neg find mustExist(problem, interpretation, newObject); |
2894 | } | 2700 | } |
2895 | pattern createObject_InterferometryPayload_class_by_payload_reference_Spacecraft( | 2701 | pattern createObject_SmallSat_class_by_spacecraft_reference_ConstellationMission( |
2896 | problem:LogicProblem, interpretation:PartialInterpretation, | 2702 | problem:LogicProblem, interpretation:PartialInterpretation, |
2897 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, | 2703 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, |
2898 | container:DefinedElement) | 2704 | container:DefinedElement) |
2899 | { | 2705 | { |
2900 | find interpretation(problem,interpretation); | 2706 | find interpretation(problem,interpretation); |
2901 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 2707 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
2902 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"InterferometryPayload class"); | 2708 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"SmallSat class"); |
2903 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); | 2709 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); |
2904 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"payload reference Spacecraft"); | 2710 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"spacecraft reference ConstellationMission"); |
2905 | find mustInstanceOfSpacecraft_class(problem,interpretation,container); | 2711 | find mustInstanceOfConstellationMission_class(problem,interpretation,container); |
2906 | find mayInstanceOfInterferometryPayload_class(problem,interpretation,newObject); | 2712 | find mayInstanceOfSmallSat_class(problem,interpretation,newObject); |
2907 | find mayInRelationpayload_reference_Spacecraft(problem,interpretation,container,newObject); | 2713 | find mayInRelationspacecraft_reference_ConstellationMission(problem,interpretation,container,newObject); |
2908 | find mustExist(problem, interpretation, container); | 2714 | find mustExist(problem, interpretation, container); |
2909 | neg find mustExist(problem, interpretation, newObject); | 2715 | neg find mustExist(problem, interpretation, newObject); |
2910 | } | 2716 | } |
2911 | pattern createObject_InterferometryPayload_class( | 2717 | pattern createObject_SmallSat_class( |
2912 | problem:LogicProblem, interpretation:PartialInterpretation, | 2718 | problem:LogicProblem, interpretation:PartialInterpretation, |
2913 | typeInterpretation:PartialComplexTypeInterpretation) | 2719 | typeInterpretation:PartialComplexTypeInterpretation) |
2914 | { | 2720 | { |
2915 | find interpretation(problem,interpretation); | 2721 | find interpretation(problem,interpretation); |
2916 | neg find hasElementInContainment(problem,interpretation); | 2722 | neg find hasElementInContainment(problem,interpretation); |
2917 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 2723 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
2918 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"InterferometryPayload class"); | 2724 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"SmallSat class"); |
2919 | find mayInstanceOfInterferometryPayload_class(problem,interpretation,newObject); | 2725 | find mayInstanceOfSmallSat_class(problem,interpretation,newObject); |
2920 | find mayExist(problem, interpretation, newObject); | 2726 | find mayExist(problem, interpretation, newObject); |
2921 | neg find mustExist(problem, interpretation, newObject); | 2727 | neg find mustExist(problem, interpretation, newObject); |
2922 | } | 2728 | } |
2923 | pattern createObject_DirectedCommunicationLink_class_by_communicationLink_reference_CommunicatingElement( | 2729 | pattern createObject_XCommSubsystem_class_UndefinedPart_by_commSubsystem_reference_CommunicatingElement( |
2924 | problem:LogicProblem, interpretation:PartialInterpretation, | 2730 | problem:LogicProblem, interpretation:PartialInterpretation, |
2925 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, | 2731 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, |
2926 | container:DefinedElement) | 2732 | container:DefinedElement) |
2927 | { | 2733 | { |
2928 | find interpretation(problem,interpretation); | 2734 | find interpretation(problem,interpretation); |
2929 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 2735 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
2930 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"DirectedCommunicationLink class"); | 2736 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"XCommSubsystem class UndefinedPart"); |
2931 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); | 2737 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); |
2932 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"communicationLink reference CommunicatingElement"); | 2738 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"commSubsystem reference CommunicatingElement"); |
2933 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,container); | 2739 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,container); |
2934 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,newObject); | 2740 | find mayInstanceOfXCommSubsystem_class_UndefinedPart(problem,interpretation,newObject); |
2935 | find mayInRelationcommunicationLink_reference_CommunicatingElement(problem,interpretation,container,newObject); | 2741 | find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,container,newObject); |
2936 | find mustExist(problem, interpretation, container); | 2742 | find mustExist(problem, interpretation, container); |
2937 | neg find mustExist(problem, interpretation, newObject); | 2743 | neg find mustExist(problem, interpretation, newObject); |
2938 | } | 2744 | } |
2939 | pattern createObject_DirectedCommunicationLink_class( | 2745 | pattern createObject_XCommSubsystem_class_UndefinedPart( |
2940 | problem:LogicProblem, interpretation:PartialInterpretation, | 2746 | problem:LogicProblem, interpretation:PartialInterpretation, |
2941 | typeInterpretation:PartialComplexTypeInterpretation) | 2747 | typeInterpretation:PartialComplexTypeInterpretation) |
2942 | { | 2748 | { |
2943 | find interpretation(problem,interpretation); | 2749 | find interpretation(problem,interpretation); |
2944 | neg find hasElementInContainment(problem,interpretation); | 2750 | neg find hasElementInContainment(problem,interpretation); |
2945 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 2751 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
2946 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"DirectedCommunicationLink class"); | 2752 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"XCommSubsystem class UndefinedPart"); |
2947 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,newObject); | 2753 | find mayInstanceOfXCommSubsystem_class_UndefinedPart(problem,interpretation,newObject); |
2948 | find mayExist(problem, interpretation, newObject); | 2754 | find mayExist(problem, interpretation, newObject); |
2949 | neg find mustExist(problem, interpretation, newObject); | 2755 | neg find mustExist(problem, interpretation, newObject); |
2950 | } | 2756 | } |
@@ -2976,34 +2782,6 @@ pattern createObject_UHFCommSubsystem_class( | |||
2976 | find mayExist(problem, interpretation, newObject); | 2782 | find mayExist(problem, interpretation, newObject); |
2977 | neg find mustExist(problem, interpretation, newObject); | 2783 | neg find mustExist(problem, interpretation, newObject); |
2978 | } | 2784 | } |
2979 | pattern createObject_XCommSubsystem_class_UndefinedPart_by_commSubsystem_reference_CommunicatingElement( | ||
2980 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2981 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, | ||
2982 | container:DefinedElement) | ||
2983 | { | ||
2984 | find interpretation(problem,interpretation); | ||
2985 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | ||
2986 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"XCommSubsystem class UndefinedPart"); | ||
2987 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); | ||
2988 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"commSubsystem reference CommunicatingElement"); | ||
2989 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,container); | ||
2990 | find mayInstanceOfXCommSubsystem_class_UndefinedPart(problem,interpretation,newObject); | ||
2991 | find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,container,newObject); | ||
2992 | find mustExist(problem, interpretation, container); | ||
2993 | neg find mustExist(problem, interpretation, newObject); | ||
2994 | } | ||
2995 | pattern createObject_XCommSubsystem_class_UndefinedPart( | ||
2996 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2997 | typeInterpretation:PartialComplexTypeInterpretation) | ||
2998 | { | ||
2999 | find interpretation(problem,interpretation); | ||
3000 | neg find hasElementInContainment(problem,interpretation); | ||
3001 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | ||
3002 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"XCommSubsystem class UndefinedPart"); | ||
3003 | find mayInstanceOfXCommSubsystem_class_UndefinedPart(problem,interpretation,newObject); | ||
3004 | find mayExist(problem, interpretation, newObject); | ||
3005 | neg find mustExist(problem, interpretation, newObject); | ||
3006 | } | ||
3007 | pattern createObject_CubeSat6U_class_by_spacecraft_reference_ConstellationMission( | 2785 | pattern createObject_CubeSat6U_class_by_spacecraft_reference_ConstellationMission( |
3008 | problem:LogicProblem, interpretation:PartialInterpretation, | 2786 | problem:LogicProblem, interpretation:PartialInterpretation, |
3009 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, | 2787 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, |
@@ -3032,71 +2810,71 @@ pattern createObject_CubeSat6U_class( | |||
3032 | find mayExist(problem, interpretation, newObject); | 2810 | find mayExist(problem, interpretation, newObject); |
3033 | neg find mustExist(problem, interpretation, newObject); | 2811 | neg find mustExist(problem, interpretation, newObject); |
3034 | } | 2812 | } |
3035 | pattern createObject_GroundStationNetwork_class_UndefinedPart_by_groundStationNetwork_reference_ConstellationMission( | 2813 | pattern createObject_CubeSat3U_class_by_spacecraft_reference_ConstellationMission( |
3036 | problem:LogicProblem, interpretation:PartialInterpretation, | 2814 | problem:LogicProblem, interpretation:PartialInterpretation, |
3037 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, | 2815 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, |
3038 | container:DefinedElement) | 2816 | container:DefinedElement) |
3039 | { | 2817 | { |
3040 | find interpretation(problem,interpretation); | 2818 | find interpretation(problem,interpretation); |
3041 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 2819 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
3042 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"GroundStationNetwork class UndefinedPart"); | 2820 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"CubeSat3U class"); |
3043 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); | 2821 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); |
3044 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"groundStationNetwork reference ConstellationMission"); | 2822 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"spacecraft reference ConstellationMission"); |
3045 | find mustInstanceOfConstellationMission_class(problem,interpretation,container); | 2823 | find mustInstanceOfConstellationMission_class(problem,interpretation,container); |
3046 | find mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,newObject); | 2824 | find mayInstanceOfCubeSat3U_class(problem,interpretation,newObject); |
3047 | find mayInRelationgroundStationNetwork_reference_ConstellationMission(problem,interpretation,container,newObject); | 2825 | find mayInRelationspacecraft_reference_ConstellationMission(problem,interpretation,container,newObject); |
3048 | find mustExist(problem, interpretation, container); | 2826 | find mustExist(problem, interpretation, container); |
3049 | neg find mustExist(problem, interpretation, newObject); | 2827 | neg find mustExist(problem, interpretation, newObject); |
3050 | } | 2828 | } |
3051 | pattern createObject_GroundStationNetwork_class_UndefinedPart( | 2829 | pattern createObject_CubeSat3U_class( |
3052 | problem:LogicProblem, interpretation:PartialInterpretation, | 2830 | problem:LogicProblem, interpretation:PartialInterpretation, |
3053 | typeInterpretation:PartialComplexTypeInterpretation) | 2831 | typeInterpretation:PartialComplexTypeInterpretation) |
3054 | { | 2832 | { |
3055 | find interpretation(problem,interpretation); | 2833 | find interpretation(problem,interpretation); |
3056 | neg find hasElementInContainment(problem,interpretation); | 2834 | neg find hasElementInContainment(problem,interpretation); |
3057 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 2835 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
3058 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"GroundStationNetwork class UndefinedPart"); | 2836 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"CubeSat3U class"); |
3059 | find mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,newObject); | 2837 | find mayInstanceOfCubeSat3U_class(problem,interpretation,newObject); |
3060 | find mayExist(problem, interpretation, newObject); | 2838 | find mayExist(problem, interpretation, newObject); |
3061 | neg find mustExist(problem, interpretation, newObject); | 2839 | neg find mustExist(problem, interpretation, newObject); |
3062 | } | 2840 | } |
3063 | pattern createObject_CubeSat3U_class_by_spacecraft_reference_ConstellationMission( | 2841 | pattern createObject_InterferometryMission_class_UndefinedPart( |
3064 | problem:LogicProblem, interpretation:PartialInterpretation, | 2842 | problem:LogicProblem, interpretation:PartialInterpretation, |
3065 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, | 2843 | typeInterpretation:PartialComplexTypeInterpretation) |
3066 | container:DefinedElement) | ||
3067 | { | 2844 | { |
3068 | find interpretation(problem,interpretation); | 2845 | find interpretation(problem,interpretation); |
2846 | neg find hasElementInContainment(problem,interpretation); | ||
3069 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 2847 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
3070 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"CubeSat3U class"); | 2848 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"InterferometryMission class UndefinedPart"); |
3071 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); | 2849 | find mayInstanceOfInterferometryMission_class_UndefinedPart(problem,interpretation,newObject); |
3072 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"spacecraft reference ConstellationMission"); | 2850 | find mayExist(problem, interpretation, newObject); |
3073 | find mustInstanceOfConstellationMission_class(problem,interpretation,container); | ||
3074 | find mayInstanceOfCubeSat3U_class(problem,interpretation,newObject); | ||
3075 | find mayInRelationspacecraft_reference_ConstellationMission(problem,interpretation,container,newObject); | ||
3076 | find mustExist(problem, interpretation, container); | ||
3077 | neg find mustExist(problem, interpretation, newObject); | 2851 | neg find mustExist(problem, interpretation, newObject); |
3078 | } | 2852 | } |
3079 | pattern createObject_CubeSat3U_class( | 2853 | pattern createObject_InterferometryPayload_class_by_payload_reference_Spacecraft( |
3080 | problem:LogicProblem, interpretation:PartialInterpretation, | 2854 | problem:LogicProblem, interpretation:PartialInterpretation, |
3081 | typeInterpretation:PartialComplexTypeInterpretation) | 2855 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, |
2856 | container:DefinedElement) | ||
3082 | { | 2857 | { |
3083 | find interpretation(problem,interpretation); | 2858 | find interpretation(problem,interpretation); |
3084 | neg find hasElementInContainment(problem,interpretation); | ||
3085 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 2859 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
3086 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"CubeSat3U class"); | 2860 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"InterferometryPayload class"); |
3087 | find mayInstanceOfCubeSat3U_class(problem,interpretation,newObject); | 2861 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); |
3088 | find mayExist(problem, interpretation, newObject); | 2862 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"payload reference Spacecraft"); |
2863 | find mustInstanceOfSpacecraft_class(problem,interpretation,container); | ||
2864 | find mayInstanceOfInterferometryPayload_class(problem,interpretation,newObject); | ||
2865 | find mayInRelationpayload_reference_Spacecraft(problem,interpretation,container,newObject); | ||
2866 | find mustExist(problem, interpretation, container); | ||
3089 | neg find mustExist(problem, interpretation, newObject); | 2867 | neg find mustExist(problem, interpretation, newObject); |
3090 | } | 2868 | } |
3091 | pattern createObject_InterferometryMission_class_UndefinedPart( | 2869 | pattern createObject_InterferometryPayload_class( |
3092 | problem:LogicProblem, interpretation:PartialInterpretation, | 2870 | problem:LogicProblem, interpretation:PartialInterpretation, |
3093 | typeInterpretation:PartialComplexTypeInterpretation) | 2871 | typeInterpretation:PartialComplexTypeInterpretation) |
3094 | { | 2872 | { |
3095 | find interpretation(problem,interpretation); | 2873 | find interpretation(problem,interpretation); |
3096 | neg find hasElementInContainment(problem,interpretation); | 2874 | neg find hasElementInContainment(problem,interpretation); |
3097 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 2875 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
3098 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"InterferometryMission class UndefinedPart"); | 2876 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"InterferometryPayload class"); |
3099 | find mayInstanceOfInterferometryMission_class_UndefinedPart(problem,interpretation,newObject); | 2877 | find mayInstanceOfInterferometryPayload_class(problem,interpretation,newObject); |
3100 | find mayExist(problem, interpretation, newObject); | 2878 | find mayExist(problem, interpretation, newObject); |
3101 | neg find mustExist(problem, interpretation, newObject); | 2879 | neg find mustExist(problem, interpretation, newObject); |
3102 | } | 2880 | } |
@@ -3108,149 +2886,115 @@ pattern refineTypeTo_KaCommSubsystem_class_UndefinedPart(problem:LogicProblem, i | |||
3108 | find interpretation(problem,interpretation); | 2886 | find interpretation(problem,interpretation); |
3109 | PartialInterpretation.newElements(interpretation,element); | 2887 | PartialInterpretation.newElements(interpretation,element); |
3110 | find mayInstanceOfKaCommSubsystem_class_UndefinedPart(problem,interpretation,element); | 2888 | find mayInstanceOfKaCommSubsystem_class_UndefinedPart(problem,interpretation,element); |
3111 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
3112 | neg find mustInstanceOfKaCommSubsystem_class_UndefinedPart(problem,interpretation,element); | 2889 | neg find mustInstanceOfKaCommSubsystem_class_UndefinedPart(problem,interpretation,element); |
3113 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 2890 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
3114 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
3115 | neg find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,element); | 2891 | neg find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,element); |
3116 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); | 2892 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); |
2893 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
2894 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
2895 | } | ||
2896 | pattern refineTypeTo_GroundStationNetwork_class_UndefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { | ||
2897 | find interpretation(problem,interpretation); | ||
2898 | PartialInterpretation.newElements(interpretation,element); | ||
2899 | find mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,element); | ||
3117 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 2900 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
2901 | neg find mustInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,element); | ||
2902 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
2903 | neg find mustInstanceOfSpacecraft_class(problem,interpretation,element); | ||
2904 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
3118 | } | 2905 | } |
3119 | pattern refineTypeTo_SmallSat_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { | 2906 | pattern refineTypeTo_SmallSat_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { |
3120 | find interpretation(problem,interpretation); | 2907 | find interpretation(problem,interpretation); |
3121 | PartialInterpretation.newElements(interpretation,element); | 2908 | PartialInterpretation.newElements(interpretation,element); |
3122 | find mayInstanceOfSmallSat_class(problem,interpretation,element); | 2909 | find mayInstanceOfSmallSat_class(problem,interpretation,element); |
3123 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 2910 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
3124 | neg find mustInstanceOfCubeSat_class(problem,interpretation,element); | ||
3125 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | 2911 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); |
3126 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 2912 | neg find mustInstanceOfCubeSat_class(problem,interpretation,element); |
3127 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
3128 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | 2913 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); |
3129 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
3130 | } | ||
3131 | pattern refineTypeTo_InterferometryPayload_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { | ||
3132 | find interpretation(problem,interpretation); | ||
3133 | PartialInterpretation.newElements(interpretation,element); | ||
3134 | find mayInstanceOfInterferometryPayload_class(problem,interpretation,element); | ||
3135 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
3136 | neg find mustInstanceOfInterferometryPayload_class(problem,interpretation,element); | ||
3137 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 2914 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
3138 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 2915 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
3139 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
3140 | } | 2916 | } |
3141 | pattern refineTypeTo_DirectedCommunicationLink_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { | 2917 | pattern refineTypeTo_XCommSubsystem_class_UndefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { |
3142 | find interpretation(problem,interpretation); | 2918 | find interpretation(problem,interpretation); |
3143 | PartialInterpretation.newElements(interpretation,element); | 2919 | PartialInterpretation.newElements(interpretation,element); |
3144 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 2920 | find mayInstanceOfXCommSubsystem_class_UndefinedPart(problem,interpretation,element); |
2921 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
2922 | neg find mustInstanceOfXCommSubsystem_class_UndefinedPart(problem,interpretation,element); | ||
2923 | neg find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,element); | ||
2924 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); | ||
3145 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 2925 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
3146 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
3147 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | 2926 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
3148 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
3149 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
3150 | } | 2927 | } |
3151 | pattern refineTypeTo_UHFCommSubsystem_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { | 2928 | pattern refineTypeTo_UHFCommSubsystem_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { |
3152 | find interpretation(problem,interpretation); | 2929 | find interpretation(problem,interpretation); |
3153 | PartialInterpretation.newElements(interpretation,element); | 2930 | PartialInterpretation.newElements(interpretation,element); |
3154 | find mayInstanceOfUHFCommSubsystem_class(problem,interpretation,element); | 2931 | find mayInstanceOfUHFCommSubsystem_class(problem,interpretation,element); |
3155 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 2932 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
3156 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
3157 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
3158 | neg find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,element); | 2933 | neg find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,element); |
3159 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); | 2934 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); |
3160 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); | ||
3161 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
3162 | } | ||
3163 | pattern refineTypeTo_XCommSubsystem_class_UndefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { | ||
3164 | find interpretation(problem,interpretation); | ||
3165 | PartialInterpretation.newElements(interpretation,element); | ||
3166 | find mayInstanceOfXCommSubsystem_class_UndefinedPart(problem,interpretation,element); | ||
3167 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 2935 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
2936 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); | ||
3168 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | 2937 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
3169 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
3170 | neg find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,element); | ||
3171 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); | ||
3172 | neg find mustInstanceOfXCommSubsystem_class_UndefinedPart(problem,interpretation,element); | ||
3173 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
3174 | } | 2938 | } |
3175 | pattern refineTypeTo_CubeSat6U_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { | 2939 | pattern refineTypeTo_CubeSat6U_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { |
3176 | find interpretation(problem,interpretation); | 2940 | find interpretation(problem,interpretation); |
3177 | PartialInterpretation.newElements(interpretation,element); | 2941 | PartialInterpretation.newElements(interpretation,element); |
3178 | find mayInstanceOfCubeSat6U_class(problem,interpretation,element); | 2942 | find mayInstanceOfCubeSat6U_class(problem,interpretation,element); |
3179 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 2943 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
3180 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | 2944 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); |
3181 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
3182 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
3183 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | 2945 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); |
3184 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); | ||
3185 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); | 2946 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); |
3186 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
3187 | } | ||
3188 | pattern refineTypeTo_GroundStationNetwork_class_UndefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { | ||
3189 | find interpretation(problem,interpretation); | ||
3190 | PartialInterpretation.newElements(interpretation,element); | ||
3191 | find mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,element); | ||
3192 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
3193 | neg find mustInstanceOfSpacecraft_class(problem,interpretation,element); | ||
3194 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 2947 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
3195 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 2948 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); |
3196 | neg find mustInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,element); | 2949 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
3197 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
3198 | } | 2950 | } |
3199 | pattern refineTypeTo_CubeSat3U_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { | 2951 | pattern refineTypeTo_CubeSat3U_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { |
3200 | find interpretation(problem,interpretation); | 2952 | find interpretation(problem,interpretation); |
3201 | PartialInterpretation.newElements(interpretation,element); | 2953 | PartialInterpretation.newElements(interpretation,element); |
3202 | find mayInstanceOfCubeSat3U_class(problem,interpretation,element); | 2954 | find mayInstanceOfCubeSat3U_class(problem,interpretation,element); |
3203 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 2955 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
3204 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | 2956 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); |
3205 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
3206 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
3207 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
3208 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); | 2957 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); |
2958 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
2959 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
2960 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
3209 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); | 2961 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); |
3210 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
3211 | } | 2962 | } |
3212 | pattern refineTypeTo_InterferometryMission_class_UndefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { | 2963 | pattern refineTypeTo_InterferometryMission_class_UndefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { |
3213 | find interpretation(problem,interpretation); | 2964 | find interpretation(problem,interpretation); |
3214 | PartialInterpretation.newElements(interpretation,element); | 2965 | PartialInterpretation.newElements(interpretation,element); |
3215 | find mayInstanceOfInterferometryMission_class_UndefinedPart(problem,interpretation,element); | 2966 | find mayInstanceOfInterferometryMission_class_UndefinedPart(problem,interpretation,element); |
3216 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | 2967 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
3217 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 2968 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
3218 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 2969 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
3219 | neg find mustInstanceOfInterferometryMission_class_UndefinedPart(problem,interpretation,element); | 2970 | neg find mustInstanceOfInterferometryMission_class_UndefinedPart(problem,interpretation,element); |
3220 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 2971 | } |
2972 | pattern refineTypeTo_InterferometryPayload_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { | ||
2973 | find interpretation(problem,interpretation); | ||
2974 | PartialInterpretation.newElements(interpretation,element); | ||
2975 | find mayInstanceOfInterferometryPayload_class(problem,interpretation,element); | ||
2976 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
2977 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
2978 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
2979 | neg find mustInstanceOfInterferometryPayload_class(problem,interpretation,element); | ||
3221 | } | 2980 | } |
3222 | 2981 | ||
3223 | ////////// | 2982 | ////////// |
3224 | // 4.3 Relation refinement | 2983 | // 4.3 Relation refinement |
3225 | ////////// | 2984 | ////////// |
3226 | pattern refineRelation_source_reference_DirectedCommunicationLink( | 2985 | pattern refineRelation_target_reference_CommSubsystem( |
3227 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
3228 | relationIterpretation:PartialRelationInterpretation, | ||
3229 | from: DefinedElement, to: DefinedElement) | ||
3230 | { | ||
3231 | find interpretation(problem,interpretation); | ||
3232 | PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation); | ||
3233 | PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"source reference DirectedCommunicationLink"); | ||
3234 | find mustExist(problem, interpretation, from); | ||
3235 | find mustExist(problem, interpretation, to); | ||
3236 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,from); | ||
3237 | find mustInstanceOfCommSubsystem_class(problem,interpretation,to); | ||
3238 | find mayInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,from,to); | ||
3239 | neg find mustInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,from,to); | ||
3240 | } | ||
3241 | pattern refineRelation_target_reference_DirectedCommunicationLink( | ||
3242 | problem:LogicProblem, interpretation:PartialInterpretation, | 2986 | problem:LogicProblem, interpretation:PartialInterpretation, |
3243 | relationIterpretation:PartialRelationInterpretation, | 2987 | relationIterpretation:PartialRelationInterpretation, |
3244 | from: DefinedElement, to: DefinedElement) | 2988 | from: DefinedElement, to: DefinedElement) |
3245 | { | 2989 | { |
3246 | find interpretation(problem,interpretation); | 2990 | find interpretation(problem,interpretation); |
3247 | PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation); | 2991 | PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation); |
3248 | PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"target reference DirectedCommunicationLink"); | 2992 | PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"target reference CommSubsystem"); |
3249 | find mustExist(problem, interpretation, from); | 2993 | find mustExist(problem, interpretation, from); |
3250 | find mustExist(problem, interpretation, to); | 2994 | find mustExist(problem, interpretation, to); |
3251 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,from); | 2995 | find mustInstanceOfCommSubsystem_class(problem,interpretation,from); |
3252 | find mustInstanceOfCommSubsystem_class(problem,interpretation,to); | 2996 | find mustInstanceOfCommSubsystem_class(problem,interpretation,to); |
3253 | find mayInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,from,to); | 2997 | find mayInRelationtarget_reference_CommSubsystem(problem,interpretation,from,to); |
3254 | neg find mustInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,from,to); | 2998 | neg find mustInRelationtarget_reference_CommSubsystem(problem,interpretation,from,to); |
3255 | } | 2999 | } |
3256 | 3000 | ||