diff options
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 | 582 |
1 files changed, 250 insertions, 332 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 d28c0d4d..853b7b54 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 | |||
@@ -110,22 +110,22 @@ private pattern mayInstanceOfConstellationMission_class(problem:LogicProblem, in | |||
110 | find interpretation(problem,interpretation); | 110 | find interpretation(problem,interpretation); |
111 | PartialInterpretation.newElements(interpretation,element); | 111 | PartialInterpretation.newElements(interpretation,element); |
112 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 112 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
113 | neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element); | ||
114 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
115 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
116 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 113 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
114 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
115 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
117 | neg find mustInstanceOfInterferometryMission_class(problem,interpretation,element); | 116 | neg find mustInstanceOfInterferometryMission_class(problem,interpretation,element); |
117 | neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element); | ||
118 | neg find scopeDisallowsNewConstellationMission_class(problem, interpretation); | 118 | neg find scopeDisallowsNewConstellationMission_class(problem, interpretation); |
119 | neg find isPrimitive(element); | 119 | neg find isPrimitive(element); |
120 | } or { | 120 | } or { |
121 | find interpretation(problem,interpretation); | 121 | find interpretation(problem,interpretation); |
122 | PartialInterpretation.openWorldElements(interpretation,element); | 122 | PartialInterpretation.openWorldElements(interpretation,element); |
123 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 123 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
124 | neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element); | ||
125 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
126 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
127 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 124 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
125 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
126 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
128 | neg find mustInstanceOfInterferometryMission_class(problem,interpretation,element); | 127 | neg find mustInstanceOfInterferometryMission_class(problem,interpretation,element); |
128 | neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element); | ||
129 | neg find scopeDisallowsNewConstellationMission_class(problem, interpretation); | 129 | neg find scopeDisallowsNewConstellationMission_class(problem, interpretation); |
130 | neg find isPrimitive(element); | 130 | neg find isPrimitive(element); |
131 | } or | 131 | } or |
@@ -154,20 +154,20 @@ private pattern mayInstanceOfInterferometryMission_class(problem:LogicProblem, i | |||
154 | find interpretation(problem,interpretation); | 154 | find interpretation(problem,interpretation); |
155 | PartialInterpretation.newElements(interpretation,element); | 155 | PartialInterpretation.newElements(interpretation,element); |
156 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 156 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
157 | neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element); | ||
158 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
159 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
160 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 157 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
158 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
159 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
160 | neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element); | ||
161 | neg find scopeDisallowsNewInterferometryMission_class(problem, interpretation); | 161 | neg find scopeDisallowsNewInterferometryMission_class(problem, interpretation); |
162 | neg find isPrimitive(element); | 162 | neg find isPrimitive(element); |
163 | } or { | 163 | } or { |
164 | find interpretation(problem,interpretation); | 164 | find interpretation(problem,interpretation); |
165 | PartialInterpretation.openWorldElements(interpretation,element); | 165 | PartialInterpretation.openWorldElements(interpretation,element); |
166 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 166 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
167 | neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element); | ||
168 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
169 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
170 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 167 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
168 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
169 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
170 | neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element); | ||
171 | neg find scopeDisallowsNewInterferometryMission_class(problem, interpretation); | 171 | neg find scopeDisallowsNewInterferometryMission_class(problem, interpretation); |
172 | neg find isPrimitive(element); | 172 | neg find isPrimitive(element); |
173 | } or | 173 | } or |
@@ -196,10 +196,10 @@ private pattern mayInstanceOfCommunicatingElement_class(problem:LogicProblem, in | |||
196 | find interpretation(problem,interpretation); | 196 | find interpretation(problem,interpretation); |
197 | PartialInterpretation.newElements(interpretation,element); | 197 | PartialInterpretation.newElements(interpretation,element); |
198 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 198 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
199 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
200 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
201 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 199 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
200 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
202 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 201 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
202 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
203 | neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element); | 203 | neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element); |
204 | neg find scopeDisallowsNewCommunicatingElement_class(problem, interpretation); | 204 | neg find scopeDisallowsNewCommunicatingElement_class(problem, interpretation); |
205 | neg find isPrimitive(element); | 205 | neg find isPrimitive(element); |
@@ -207,10 +207,10 @@ private pattern mayInstanceOfCommunicatingElement_class(problem:LogicProblem, in | |||
207 | find interpretation(problem,interpretation); | 207 | find interpretation(problem,interpretation); |
208 | PartialInterpretation.openWorldElements(interpretation,element); | 208 | PartialInterpretation.openWorldElements(interpretation,element); |
209 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 209 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
210 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
211 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
212 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 210 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
211 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
213 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 212 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
213 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
214 | neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element); | 214 | neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element); |
215 | neg find scopeDisallowsNewCommunicatingElement_class(problem, interpretation); | 215 | neg find scopeDisallowsNewCommunicatingElement_class(problem, interpretation); |
216 | neg find isPrimitive(element); | 216 | neg find isPrimitive(element); |
@@ -240,9 +240,9 @@ private pattern mayInstanceOfGroundStationNetwork_class(problem:LogicProblem, in | |||
240 | find interpretation(problem,interpretation); | 240 | find interpretation(problem,interpretation); |
241 | PartialInterpretation.newElements(interpretation,element); | 241 | PartialInterpretation.newElements(interpretation,element); |
242 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 242 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
243 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
244 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 243 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
245 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 244 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
245 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
246 | neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element); | 246 | neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element); |
247 | neg find scopeDisallowsNewGroundStationNetwork_class(problem, interpretation); | 247 | neg find scopeDisallowsNewGroundStationNetwork_class(problem, interpretation); |
248 | neg find isPrimitive(element); | 248 | neg find isPrimitive(element); |
@@ -250,9 +250,9 @@ private pattern mayInstanceOfGroundStationNetwork_class(problem:LogicProblem, in | |||
250 | find interpretation(problem,interpretation); | 250 | find interpretation(problem,interpretation); |
251 | PartialInterpretation.openWorldElements(interpretation,element); | 251 | PartialInterpretation.openWorldElements(interpretation,element); |
252 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 252 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
253 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
254 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 253 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
255 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 254 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
255 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
256 | neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element); | 256 | neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element); |
257 | neg find scopeDisallowsNewGroundStationNetwork_class(problem, interpretation); | 257 | neg find scopeDisallowsNewGroundStationNetwork_class(problem, interpretation); |
258 | neg find isPrimitive(element); | 258 | neg find isPrimitive(element); |
@@ -282,24 +282,24 @@ private pattern mayInstanceOfSpacecraft_class(problem:LogicProblem, interpretati | |||
282 | find interpretation(problem,interpretation); | 282 | find interpretation(problem,interpretation); |
283 | PartialInterpretation.newElements(interpretation,element); | 283 | PartialInterpretation.newElements(interpretation,element); |
284 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 284 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
285 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | ||
286 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
287 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
288 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 285 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
289 | neg find mustInstanceOfCubeSat_class(problem,interpretation,element); | 286 | neg find mustInstanceOfCubeSat_class(problem,interpretation,element); |
287 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
290 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 288 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
289 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
290 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | ||
291 | neg find scopeDisallowsNewSpacecraft_class(problem, interpretation); | 291 | neg find scopeDisallowsNewSpacecraft_class(problem, interpretation); |
292 | neg find isPrimitive(element); | 292 | neg find isPrimitive(element); |
293 | } or { | 293 | } or { |
294 | find interpretation(problem,interpretation); | 294 | find interpretation(problem,interpretation); |
295 | PartialInterpretation.openWorldElements(interpretation,element); | 295 | PartialInterpretation.openWorldElements(interpretation,element); |
296 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 296 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
297 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | ||
298 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
299 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
300 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 297 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
301 | neg find mustInstanceOfCubeSat_class(problem,interpretation,element); | 298 | neg find mustInstanceOfCubeSat_class(problem,interpretation,element); |
299 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
302 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 300 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
301 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
302 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | ||
303 | neg find scopeDisallowsNewSpacecraft_class(problem, interpretation); | 303 | neg find scopeDisallowsNewSpacecraft_class(problem, interpretation); |
304 | neg find isPrimitive(element); | 304 | neg find isPrimitive(element); |
305 | } or | 305 | } or |
@@ -328,20 +328,20 @@ private pattern mayInstanceOfCommSubsystem_class(problem:LogicProblem, interpret | |||
328 | find interpretation(problem,interpretation); | 328 | find interpretation(problem,interpretation); |
329 | PartialInterpretation.newElements(interpretation,element); | 329 | PartialInterpretation.newElements(interpretation,element); |
330 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 330 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
331 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
332 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 331 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
333 | neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); | ||
334 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 332 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
333 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
334 | neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); | ||
335 | neg find scopeDisallowsNewCommSubsystem_class(problem, interpretation); | 335 | neg find scopeDisallowsNewCommSubsystem_class(problem, interpretation); |
336 | neg find isPrimitive(element); | 336 | neg find isPrimitive(element); |
337 | } or { | 337 | } or { |
338 | find interpretation(problem,interpretation); | 338 | find interpretation(problem,interpretation); |
339 | PartialInterpretation.openWorldElements(interpretation,element); | 339 | PartialInterpretation.openWorldElements(interpretation,element); |
340 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 340 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
341 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
342 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 341 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
343 | neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); | ||
344 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 342 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
343 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
344 | neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); | ||
345 | neg find scopeDisallowsNewCommSubsystem_class(problem, interpretation); | 345 | neg find scopeDisallowsNewCommSubsystem_class(problem, interpretation); |
346 | neg find isPrimitive(element); | 346 | neg find isPrimitive(element); |
347 | } or | 347 | } or |
@@ -369,19 +369,19 @@ private pattern mayInstanceOfDirectedCommunicationLink_class(problem:LogicProble | |||
369 | { | 369 | { |
370 | find interpretation(problem,interpretation); | 370 | find interpretation(problem,interpretation); |
371 | PartialInterpretation.newElements(interpretation,element); | 371 | PartialInterpretation.newElements(interpretation,element); |
372 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
373 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
374 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 372 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
375 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 373 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
374 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
375 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
376 | neg find scopeDisallowsNewDirectedCommunicationLink_class(problem, interpretation); | 376 | neg find scopeDisallowsNewDirectedCommunicationLink_class(problem, interpretation); |
377 | neg find isPrimitive(element); | 377 | neg find isPrimitive(element); |
378 | } or { | 378 | } or { |
379 | find interpretation(problem,interpretation); | 379 | find interpretation(problem,interpretation); |
380 | PartialInterpretation.openWorldElements(interpretation,element); | 380 | PartialInterpretation.openWorldElements(interpretation,element); |
381 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
382 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
383 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 381 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
384 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 382 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
383 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
384 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
385 | neg find scopeDisallowsNewDirectedCommunicationLink_class(problem, interpretation); | 385 | neg find scopeDisallowsNewDirectedCommunicationLink_class(problem, interpretation); |
386 | neg find isPrimitive(element); | 386 | neg find isPrimitive(element); |
387 | } or | 387 | } or |
@@ -410,20 +410,20 @@ private pattern mayInstanceOfPayload_class(problem:LogicProblem, interpretation: | |||
410 | find interpretation(problem,interpretation); | 410 | find interpretation(problem,interpretation); |
411 | PartialInterpretation.newElements(interpretation,element); | 411 | PartialInterpretation.newElements(interpretation,element); |
412 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 412 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
413 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
414 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
415 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 413 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
414 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
416 | neg find mustInstanceOfInterferometryPayload_class(problem,interpretation,element); | 415 | neg find mustInstanceOfInterferometryPayload_class(problem,interpretation,element); |
416 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
417 | neg find scopeDisallowsNewPayload_class(problem, interpretation); | 417 | neg find scopeDisallowsNewPayload_class(problem, interpretation); |
418 | neg find isPrimitive(element); | 418 | neg find isPrimitive(element); |
419 | } or { | 419 | } or { |
420 | find interpretation(problem,interpretation); | 420 | find interpretation(problem,interpretation); |
421 | PartialInterpretation.openWorldElements(interpretation,element); | 421 | PartialInterpretation.openWorldElements(interpretation,element); |
422 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 422 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
423 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
424 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
425 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 423 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
424 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
426 | neg find mustInstanceOfInterferometryPayload_class(problem,interpretation,element); | 425 | neg find mustInstanceOfInterferometryPayload_class(problem,interpretation,element); |
426 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
427 | neg find scopeDisallowsNewPayload_class(problem, interpretation); | 427 | neg find scopeDisallowsNewPayload_class(problem, interpretation); |
428 | neg find isPrimitive(element); | 428 | neg find isPrimitive(element); |
429 | } or | 429 | } or |
@@ -452,18 +452,18 @@ private pattern mayInstanceOfInterferometryPayload_class(problem:LogicProblem, i | |||
452 | find interpretation(problem,interpretation); | 452 | find interpretation(problem,interpretation); |
453 | PartialInterpretation.newElements(interpretation,element); | 453 | PartialInterpretation.newElements(interpretation,element); |
454 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 454 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
455 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
456 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
457 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 455 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
456 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
457 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
458 | neg find scopeDisallowsNewInterferometryPayload_class(problem, interpretation); | 458 | neg find scopeDisallowsNewInterferometryPayload_class(problem, interpretation); |
459 | neg find isPrimitive(element); | 459 | neg find isPrimitive(element); |
460 | } or { | 460 | } or { |
461 | find interpretation(problem,interpretation); | 461 | find interpretation(problem,interpretation); |
462 | PartialInterpretation.openWorldElements(interpretation,element); | 462 | PartialInterpretation.openWorldElements(interpretation,element); |
463 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 463 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
464 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
465 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
466 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 464 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
465 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
466 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
467 | neg find scopeDisallowsNewInterferometryPayload_class(problem, interpretation); | 467 | neg find scopeDisallowsNewInterferometryPayload_class(problem, interpretation); |
468 | neg find isPrimitive(element); | 468 | neg find isPrimitive(element); |
469 | } or | 469 | } or |
@@ -491,25 +491,25 @@ private pattern mayInstanceOfCubeSat3U_class(problem:LogicProblem, interpretatio | |||
491 | { | 491 | { |
492 | find interpretation(problem,interpretation); | 492 | find interpretation(problem,interpretation); |
493 | PartialInterpretation.newElements(interpretation,element); | 493 | PartialInterpretation.newElements(interpretation,element); |
494 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | ||
495 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 494 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
495 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
496 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | 496 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); |
497 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
497 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 498 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
498 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 499 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); |
499 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); | 500 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); |
500 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
501 | neg find scopeDisallowsNewCubeSat3U_class(problem, interpretation); | 501 | neg find scopeDisallowsNewCubeSat3U_class(problem, interpretation); |
502 | neg find isPrimitive(element); | 502 | neg find isPrimitive(element); |
503 | } or { | 503 | } or { |
504 | find interpretation(problem,interpretation); | 504 | find interpretation(problem,interpretation); |
505 | PartialInterpretation.openWorldElements(interpretation,element); | 505 | PartialInterpretation.openWorldElements(interpretation,element); |
506 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | ||
507 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 506 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
507 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
508 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | 508 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); |
509 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
509 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 510 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
510 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 511 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); |
511 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); | 512 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); |
512 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
513 | neg find scopeDisallowsNewCubeSat3U_class(problem, interpretation); | 513 | neg find scopeDisallowsNewCubeSat3U_class(problem, interpretation); |
514 | neg find isPrimitive(element); | 514 | neg find isPrimitive(element); |
515 | } or | 515 | } or |
@@ -538,24 +538,24 @@ private pattern mayInstanceOfCubeSat6U_class(problem:LogicProblem, interpretatio | |||
538 | find interpretation(problem,interpretation); | 538 | find interpretation(problem,interpretation); |
539 | PartialInterpretation.newElements(interpretation,element); | 539 | PartialInterpretation.newElements(interpretation,element); |
540 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 540 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
541 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | 541 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
542 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
542 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | 543 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); |
543 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 544 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
544 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
545 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); | 545 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); |
546 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 546 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); |
547 | neg find scopeDisallowsNewCubeSat6U_class(problem, interpretation); | 547 | neg find scopeDisallowsNewCubeSat6U_class(problem, interpretation); |
548 | neg find isPrimitive(element); | 548 | neg find isPrimitive(element); |
549 | } or { | 549 | } or { |
550 | find interpretation(problem,interpretation); | 550 | find interpretation(problem,interpretation); |
551 | PartialInterpretation.openWorldElements(interpretation,element); | 551 | PartialInterpretation.openWorldElements(interpretation,element); |
552 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 552 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
553 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | 553 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
554 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
554 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | 555 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); |
555 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 556 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
556 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
557 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); | 557 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); |
558 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 558 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); |
559 | neg find scopeDisallowsNewCubeSat6U_class(problem, interpretation); | 559 | neg find scopeDisallowsNewCubeSat6U_class(problem, interpretation); |
560 | neg find isPrimitive(element); | 560 | neg find isPrimitive(element); |
561 | } or | 561 | } or |
@@ -584,22 +584,22 @@ private pattern mayInstanceOfSmallSat_class(problem:LogicProblem, interpretation | |||
584 | find interpretation(problem,interpretation); | 584 | find interpretation(problem,interpretation); |
585 | PartialInterpretation.newElements(interpretation,element); | 585 | PartialInterpretation.newElements(interpretation,element); |
586 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 586 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
587 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
588 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
589 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 587 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
590 | neg find mustInstanceOfCubeSat_class(problem,interpretation,element); | 588 | neg find mustInstanceOfCubeSat_class(problem,interpretation,element); |
589 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
591 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 590 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
591 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
592 | neg find scopeDisallowsNewSmallSat_class(problem, interpretation); | 592 | neg find scopeDisallowsNewSmallSat_class(problem, interpretation); |
593 | neg find isPrimitive(element); | 593 | neg find isPrimitive(element); |
594 | } or { | 594 | } or { |
595 | find interpretation(problem,interpretation); | 595 | find interpretation(problem,interpretation); |
596 | PartialInterpretation.openWorldElements(interpretation,element); | 596 | PartialInterpretation.openWorldElements(interpretation,element); |
597 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 597 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
598 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
599 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
600 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 598 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
601 | neg find mustInstanceOfCubeSat_class(problem,interpretation,element); | 599 | neg find mustInstanceOfCubeSat_class(problem,interpretation,element); |
600 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
602 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 601 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
602 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
603 | neg find scopeDisallowsNewSmallSat_class(problem, interpretation); | 603 | neg find scopeDisallowsNewSmallSat_class(problem, interpretation); |
604 | neg find isPrimitive(element); | 604 | neg find isPrimitive(element); |
605 | } or | 605 | } or |
@@ -628,26 +628,26 @@ private pattern mayInstanceOfCubeSat_class(problem:LogicProblem, interpretation: | |||
628 | find interpretation(problem,interpretation); | 628 | find interpretation(problem,interpretation); |
629 | PartialInterpretation.newElements(interpretation,element); | 629 | PartialInterpretation.newElements(interpretation,element); |
630 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 630 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
631 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | 631 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
632 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
632 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | 633 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); |
633 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 634 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
634 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
635 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); | 635 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); |
636 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | ||
636 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); | 637 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); |
637 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
638 | neg find scopeDisallowsNewCubeSat_class(problem, interpretation); | 638 | neg find scopeDisallowsNewCubeSat_class(problem, interpretation); |
639 | neg find isPrimitive(element); | 639 | neg find isPrimitive(element); |
640 | } or { | 640 | } or { |
641 | find interpretation(problem,interpretation); | 641 | find interpretation(problem,interpretation); |
642 | PartialInterpretation.openWorldElements(interpretation,element); | 642 | PartialInterpretation.openWorldElements(interpretation,element); |
643 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 643 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
644 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | 644 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
645 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
645 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | 646 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); |
646 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 647 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
647 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
648 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); | 648 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); |
649 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | ||
649 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); | 650 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); |
650 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
651 | neg find scopeDisallowsNewCubeSat_class(problem, interpretation); | 651 | neg find scopeDisallowsNewCubeSat_class(problem, interpretation); |
652 | neg find isPrimitive(element); | 652 | neg find isPrimitive(element); |
653 | } or | 653 | } or |
@@ -760,9 +760,9 @@ private pattern mayInstanceOfConstellationMission_class_UndefinedPart(problem:Lo | |||
760 | find interpretation(problem,interpretation); | 760 | find interpretation(problem,interpretation); |
761 | PartialInterpretation.newElements(interpretation,element); | 761 | PartialInterpretation.newElements(interpretation,element); |
762 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 762 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
763 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
763 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 764 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
764 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | 765 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
765 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
766 | neg find mustInstanceOfInterferometryMission_class(problem,interpretation,element); | 766 | neg find mustInstanceOfInterferometryMission_class(problem,interpretation,element); |
767 | neg find scopeDisallowsNewConstellationMission_class_UndefinedPart(problem, interpretation); | 767 | neg find scopeDisallowsNewConstellationMission_class_UndefinedPart(problem, interpretation); |
768 | neg find isPrimitive(element); | 768 | neg find isPrimitive(element); |
@@ -770,9 +770,9 @@ private pattern mayInstanceOfConstellationMission_class_UndefinedPart(problem:Lo | |||
770 | find interpretation(problem,interpretation); | 770 | find interpretation(problem,interpretation); |
771 | PartialInterpretation.openWorldElements(interpretation,element); | 771 | PartialInterpretation.openWorldElements(interpretation,element); |
772 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 772 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
773 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
773 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 774 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
774 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | 775 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
775 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
776 | neg find mustInstanceOfInterferometryMission_class(problem,interpretation,element); | 776 | neg find mustInstanceOfInterferometryMission_class(problem,interpretation,element); |
777 | neg find scopeDisallowsNewConstellationMission_class_UndefinedPart(problem, interpretation); | 777 | neg find scopeDisallowsNewConstellationMission_class_UndefinedPart(problem, interpretation); |
778 | neg find isPrimitive(element); | 778 | neg find isPrimitive(element); |
@@ -823,18 +823,18 @@ private pattern mayInstanceOfInterferometryMission_class_UndefinedPart(problem:L | |||
823 | find interpretation(problem,interpretation); | 823 | find interpretation(problem,interpretation); |
824 | PartialInterpretation.newElements(interpretation,element); | 824 | PartialInterpretation.newElements(interpretation,element); |
825 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 825 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
826 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
826 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 827 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
827 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | 828 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
828 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
829 | neg find scopeDisallowsNewInterferometryMission_class_UndefinedPart(problem, interpretation); | 829 | neg find scopeDisallowsNewInterferometryMission_class_UndefinedPart(problem, interpretation); |
830 | neg find isPrimitive(element); | 830 | neg find isPrimitive(element); |
831 | } or { | 831 | } or { |
832 | find interpretation(problem,interpretation); | 832 | find interpretation(problem,interpretation); |
833 | PartialInterpretation.openWorldElements(interpretation,element); | 833 | PartialInterpretation.openWorldElements(interpretation,element); |
834 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 834 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
835 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
835 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 836 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
836 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | 837 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
837 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
838 | neg find scopeDisallowsNewInterferometryMission_class_UndefinedPart(problem, interpretation); | 838 | neg find scopeDisallowsNewInterferometryMission_class_UndefinedPart(problem, interpretation); |
839 | neg find isPrimitive(element); | 839 | neg find isPrimitive(element); |
840 | } or | 840 | } or |
@@ -884,10 +884,10 @@ private pattern mayInstanceOfCommunicatingElement_class_UndefinedPart(problem:Lo | |||
884 | find interpretation(problem,interpretation); | 884 | find interpretation(problem,interpretation); |
885 | PartialInterpretation.newElements(interpretation,element); | 885 | PartialInterpretation.newElements(interpretation,element); |
886 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 886 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
887 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
888 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
889 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 887 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
890 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 888 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
889 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
890 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
891 | neg find mustInstanceOfSpacecraft_class(problem,interpretation,element); | 891 | neg find mustInstanceOfSpacecraft_class(problem,interpretation,element); |
892 | neg find scopeDisallowsNewCommunicatingElement_class_UndefinedPart(problem, interpretation); | 892 | neg find scopeDisallowsNewCommunicatingElement_class_UndefinedPart(problem, interpretation); |
893 | neg find isPrimitive(element); | 893 | neg find isPrimitive(element); |
@@ -895,10 +895,10 @@ private pattern mayInstanceOfCommunicatingElement_class_UndefinedPart(problem:Lo | |||
895 | find interpretation(problem,interpretation); | 895 | find interpretation(problem,interpretation); |
896 | PartialInterpretation.openWorldElements(interpretation,element); | 896 | PartialInterpretation.openWorldElements(interpretation,element); |
897 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 897 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
898 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
899 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
900 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 898 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
901 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 899 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
900 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
901 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
902 | neg find mustInstanceOfSpacecraft_class(problem,interpretation,element); | 902 | neg find mustInstanceOfSpacecraft_class(problem,interpretation,element); |
903 | neg find scopeDisallowsNewCommunicatingElement_class_UndefinedPart(problem, interpretation); | 903 | neg find scopeDisallowsNewCommunicatingElement_class_UndefinedPart(problem, interpretation); |
904 | neg find isPrimitive(element); | 904 | neg find isPrimitive(element); |
@@ -949,9 +949,9 @@ private pattern mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem:Lo | |||
949 | find interpretation(problem,interpretation); | 949 | find interpretation(problem,interpretation); |
950 | PartialInterpretation.newElements(interpretation,element); | 950 | PartialInterpretation.newElements(interpretation,element); |
951 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 951 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
952 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
953 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 952 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
954 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 953 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
954 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
955 | neg find mustInstanceOfSpacecraft_class(problem,interpretation,element); | 955 | neg find mustInstanceOfSpacecraft_class(problem,interpretation,element); |
956 | neg find scopeDisallowsNewGroundStationNetwork_class_UndefinedPart(problem, interpretation); | 956 | neg find scopeDisallowsNewGroundStationNetwork_class_UndefinedPart(problem, interpretation); |
957 | neg find isPrimitive(element); | 957 | neg find isPrimitive(element); |
@@ -959,9 +959,9 @@ private pattern mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem:Lo | |||
959 | find interpretation(problem,interpretation); | 959 | find interpretation(problem,interpretation); |
960 | PartialInterpretation.openWorldElements(interpretation,element); | 960 | PartialInterpretation.openWorldElements(interpretation,element); |
961 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 961 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
962 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
963 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 962 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
964 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 963 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
964 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
965 | neg find mustInstanceOfSpacecraft_class(problem,interpretation,element); | 965 | neg find mustInstanceOfSpacecraft_class(problem,interpretation,element); |
966 | neg find scopeDisallowsNewGroundStationNetwork_class_UndefinedPart(problem, interpretation); | 966 | neg find scopeDisallowsNewGroundStationNetwork_class_UndefinedPart(problem, interpretation); |
967 | neg find isPrimitive(element); | 967 | neg find isPrimitive(element); |
@@ -1012,18 +1012,18 @@ private pattern mayInstanceOfCommSubsystem_class_UndefinedPart(problem:LogicProb | |||
1012 | find interpretation(problem,interpretation); | 1012 | find interpretation(problem,interpretation); |
1013 | PartialInterpretation.newElements(interpretation,element); | 1013 | PartialInterpretation.newElements(interpretation,element); |
1014 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 1014 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
1015 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
1016 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 1015 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
1017 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 1016 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
1017 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
1018 | neg find scopeDisallowsNewCommSubsystem_class_UndefinedPart(problem, interpretation); | 1018 | neg find scopeDisallowsNewCommSubsystem_class_UndefinedPart(problem, interpretation); |
1019 | neg find isPrimitive(element); | 1019 | neg find isPrimitive(element); |
1020 | } or { | 1020 | } or { |
1021 | find interpretation(problem,interpretation); | 1021 | find interpretation(problem,interpretation); |
1022 | PartialInterpretation.openWorldElements(interpretation,element); | 1022 | PartialInterpretation.openWorldElements(interpretation,element); |
1023 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 1023 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
1024 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
1025 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 1024 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
1026 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 1025 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
1026 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
1027 | neg find scopeDisallowsNewCommSubsystem_class_UndefinedPart(problem, interpretation); | 1027 | neg find scopeDisallowsNewCommSubsystem_class_UndefinedPart(problem, interpretation); |
1028 | neg find isPrimitive(element); | 1028 | neg find isPrimitive(element); |
1029 | } or | 1029 | } or |
@@ -1155,39 +1155,21 @@ private pattern mayInRelationcommSubsystem_reference_CommunicatingElement( | |||
1155 | /** | 1155 | /** |
1156 | * Matcher for detecting tuples t where []communicationLink reference CommunicatingElement(source,target) | 1156 | * Matcher for detecting tuples t where []communicationLink reference CommunicatingElement(source,target) |
1157 | */ | 1157 | */ |
1158 | private pattern mustInRelationcommunicationLink_reference_CommunicatingElement( | 1158 | private pattern mustInRelationcommunicationLink_reference_CommunicatingElement( |
1159 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
1160 | source: DefinedElement, target:DefinedElement) | ||
1161 | { | ||
1162 | find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkOfElement(problem,interpretation,source,target); | ||
1163 | } | ||
1164 | /** | ||
1165 | * Matcher for detecting tuples t where []communicationLink reference CommunicatingElement(source,target) | ||
1166 | */ | ||
1167 | private pattern mayInRelationcommunicationLink_reference_CommunicatingElement( | ||
1168 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
1169 | source: DefinedElement, target:DefinedElement) | ||
1170 | { | ||
1171 | find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkOfElement(problem,interpretation,source,target); | ||
1172 | } | ||
1173 | /** | ||
1174 | * Matcher for detecting tuples t where []payload reference Spacecraft(source,target) | ||
1175 | */ | ||
1176 | private pattern mustInRelationpayload_reference_Spacecraft( | ||
1177 | problem:LogicProblem, interpretation:PartialInterpretation, | 1159 | problem:LogicProblem, interpretation:PartialInterpretation, |
1178 | source: DefinedElement, target:DefinedElement) | 1160 | source: DefinedElement, target:DefinedElement) |
1179 | { | 1161 | { |
1180 | find interpretation(problem,interpretation); | 1162 | find interpretation(problem,interpretation); |
1181 | PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation); | 1163 | PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation); |
1182 | PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"payload reference Spacecraft"); | 1164 | PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"communicationLink reference CommunicatingElement"); |
1183 | PartialRelationInterpretation.relationlinks(relationIterpretation,link); | 1165 | PartialRelationInterpretation.relationlinks(relationIterpretation,link); |
1184 | BinaryElementRelationLink.param1(link,source); | 1166 | BinaryElementRelationLink.param1(link,source); |
1185 | BinaryElementRelationLink.param2(link,target); | 1167 | BinaryElementRelationLink.param2(link,target); |
1186 | } | 1168 | } |
1187 | /** | 1169 | /** |
1188 | * Matcher for detecting tuples t where <>payload reference Spacecraft(source,target) | 1170 | * Matcher for detecting tuples t where <>communicationLink reference CommunicatingElement(source,target) |
1189 | */ | 1171 | */ |
1190 | private pattern mayInRelationpayload_reference_Spacecraft( | 1172 | private pattern mayInRelationcommunicationLink_reference_CommunicatingElement( |
1191 | problem:LogicProblem, interpretation:PartialInterpretation, | 1173 | problem:LogicProblem, interpretation:PartialInterpretation, |
1192 | source: DefinedElement, target:DefinedElement) | 1174 | source: DefinedElement, target:DefinedElement) |
1193 | { | 1175 | { |
@@ -1196,11 +1178,11 @@ private pattern mayInRelationpayload_reference_Spacecraft( | |||
1196 | find mayExist(problem, interpretation, source); | 1178 | find mayExist(problem, interpretation, source); |
1197 | find mayExist(problem, interpretation, target); | 1179 | find mayExist(problem, interpretation, target); |
1198 | // Type consistency | 1180 | // Type consistency |
1199 | find mayInstanceOfSpacecraft_class(problem,interpretation,source); | 1181 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,source); |
1200 | find mayInstanceOfPayload_class(problem,interpretation,target); | 1182 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,target); |
1201 | // There are "numberOfExistingReferences" currently existing instances of the reference from the source, | 1183 | // There are "numberOfExistingReferences" currently existing instances of the reference from the source, |
1202 | // the upper bound of the multiplicity should be considered. | 1184 | // the upper bound of the multiplicity should be considered. |
1203 | numberOfExistingReferences == count find mustInRelationpayload_reference_Spacecraft(problem,interpretation,source,_); | 1185 | numberOfExistingReferences == count find mustInRelationcommunicationLink_reference_CommunicatingElement(problem,interpretation,source,_); |
1204 | check(numberOfExistingReferences < 1); | 1186 | check(numberOfExistingReferences < 1); |
1205 | // The reference is containment, then a new reference cannot be create if: | 1187 | // The reference is containment, then a new reference cannot be create if: |
1206 | // 1. Multiple parents | 1188 | // 1. Multiple parents |
@@ -1208,26 +1190,26 @@ private pattern mayInRelationpayload_reference_Spacecraft( | |||
1208 | // 2. Circle in the containment hierarchy | 1190 | // 2. Circle in the containment hierarchy |
1209 | neg find mustTransitiveContains(source,target); | 1191 | neg find mustTransitiveContains(source,target); |
1210 | } or { | 1192 | } or { |
1211 | find mustInRelationpayload_reference_Spacecraft(problem,interpretation,source,target); | 1193 | find mustInRelationcommunicationLink_reference_CommunicatingElement(problem,interpretation,source,target); |
1212 | } | 1194 | } |
1213 | /** | 1195 | /** |
1214 | * Matcher for detecting tuples t where []communicationLink reference CommSubsystem(source,target) | 1196 | * Matcher for detecting tuples t where []payload reference Spacecraft(source,target) |
1215 | */ | 1197 | */ |
1216 | private pattern mustInRelationcommunicationLink_reference_CommSubsystem( | 1198 | private pattern mustInRelationpayload_reference_Spacecraft( |
1217 | problem:LogicProblem, interpretation:PartialInterpretation, | 1199 | problem:LogicProblem, interpretation:PartialInterpretation, |
1218 | source: DefinedElement, target:DefinedElement) | 1200 | source: DefinedElement, target:DefinedElement) |
1219 | { | 1201 | { |
1220 | find interpretation(problem,interpretation); | 1202 | find interpretation(problem,interpretation); |
1221 | PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation); | 1203 | PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation); |
1222 | PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"communicationLink reference CommSubsystem"); | 1204 | PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"payload reference Spacecraft"); |
1223 | PartialRelationInterpretation.relationlinks(relationIterpretation,link); | 1205 | PartialRelationInterpretation.relationlinks(relationIterpretation,link); |
1224 | BinaryElementRelationLink.param1(link,source); | 1206 | BinaryElementRelationLink.param1(link,source); |
1225 | BinaryElementRelationLink.param2(link,target); | 1207 | BinaryElementRelationLink.param2(link,target); |
1226 | } | 1208 | } |
1227 | /** | 1209 | /** |
1228 | * Matcher for detecting tuples t where <>communicationLink reference CommSubsystem(source,target) | 1210 | * Matcher for detecting tuples t where <>payload reference Spacecraft(source,target) |
1229 | */ | 1211 | */ |
1230 | private pattern mayInRelationcommunicationLink_reference_CommSubsystem( | 1212 | private pattern mayInRelationpayload_reference_Spacecraft( |
1231 | problem:LogicProblem, interpretation:PartialInterpretation, | 1213 | problem:LogicProblem, interpretation:PartialInterpretation, |
1232 | source: DefinedElement, target:DefinedElement) | 1214 | source: DefinedElement, target:DefinedElement) |
1233 | { | 1215 | { |
@@ -1236,11 +1218,11 @@ private pattern mayInRelationcommunicationLink_reference_CommSubsystem( | |||
1236 | find mayExist(problem, interpretation, source); | 1218 | find mayExist(problem, interpretation, source); |
1237 | find mayExist(problem, interpretation, target); | 1219 | find mayExist(problem, interpretation, target); |
1238 | // Type consistency | 1220 | // Type consistency |
1239 | find mayInstanceOfCommSubsystem_class(problem,interpretation,source); | 1221 | find mayInstanceOfSpacecraft_class(problem,interpretation,source); |
1240 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,target); | 1222 | find mayInstanceOfPayload_class(problem,interpretation,target); |
1241 | // There are "numberOfExistingReferences" currently existing instances of the reference from the source, | 1223 | // There are "numberOfExistingReferences" currently existing instances of the reference from the source, |
1242 | // the upper bound of the multiplicity should be considered. | 1224 | // the upper bound of the multiplicity should be considered. |
1243 | numberOfExistingReferences == count find mustInRelationcommunicationLink_reference_CommSubsystem(problem,interpretation,source,_); | 1225 | numberOfExistingReferences == count find mustInRelationpayload_reference_Spacecraft(problem,interpretation,source,_); |
1244 | check(numberOfExistingReferences < 1); | 1226 | check(numberOfExistingReferences < 1); |
1245 | // The reference is containment, then a new reference cannot be create if: | 1227 | // The reference is containment, then a new reference cannot be create if: |
1246 | // 1. Multiple parents | 1228 | // 1. Multiple parents |
@@ -1248,7 +1230,7 @@ private pattern mayInRelationcommunicationLink_reference_CommSubsystem( | |||
1248 | // 2. Circle in the containment hierarchy | 1230 | // 2. Circle in the containment hierarchy |
1249 | neg find mustTransitiveContains(source,target); | 1231 | neg find mustTransitiveContains(source,target); |
1250 | } or { | 1232 | } or { |
1251 | find mustInRelationcommunicationLink_reference_CommSubsystem(problem,interpretation,source,target); | 1233 | find mustInRelationpayload_reference_Spacecraft(problem,interpretation,source,target); |
1252 | } | 1234 | } |
1253 | /** | 1235 | /** |
1254 | * Matcher for detecting tuples t where []source reference DirectedCommunicationLink(source,target) | 1236 | * Matcher for detecting tuples t where []source reference DirectedCommunicationLink(source,target) |
@@ -1412,118 +1394,69 @@ private pattern mayInRelationgain_attribute_CommSubsystem( | |||
1412 | ////////// | 1394 | ////////// |
1413 | // 1.3 Relation Definition Indexers | 1395 | // 1.3 Relation Definition Indexers |
1414 | ////////// | 1396 | ////////// |
1415 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries multipleCommunicationLinks | 1397 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries communicationLinkDoesNotStartAtContainingElement |
1416 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_multipleCommunicationLinks( | 1398 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement( |
1417 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
1418 | var_Element) | ||
1419 | { | ||
1420 | find interpretation(problem,interpretation); | ||
1421 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element); | ||
1422 | // Element is exported | ||
1423 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element); | ||
1424 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual0); | ||
1425 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); | ||
1426 | find mustInRelationcommunicationLink_reference_CommSubsystem(problem,interpretation,var_virtual0,var_virtual1); | ||
1427 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_virtual1); | ||
1428 | find mustEquivalent(problem, interpretation, var_virtual1, var_Link1); | ||
1429 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element); | ||
1430 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual2); | ||
1431 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2); | ||
1432 | find mustInRelationcommunicationLink_reference_CommSubsystem(problem,interpretation,var_virtual2,var_virtual3); | ||
1433 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_virtual3); | ||
1434 | find mustEquivalent(problem, interpretation, var_virtual3, var_Link2); | ||
1435 | neg find mayEquivalent(problem, interpretation, var_Link1, var_Link2); | ||
1436 | } | ||
1437 | private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_multipleCommunicationLinks( | ||
1438 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
1439 | var_Element) | ||
1440 | { | ||
1441 | find interpretation(problem,interpretation); | ||
1442 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_Element); | ||
1443 | // Element is exported | ||
1444 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_Element); | ||
1445 | find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual0); | ||
1446 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); | ||
1447 | find mayInRelationcommunicationLink_reference_CommSubsystem(problem,interpretation,var_virtual0,var_virtual1); | ||
1448 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_virtual1); | ||
1449 | find mayEquivalent(problem, interpretation, var_virtual1, var_Link1); | ||
1450 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_Element); | ||
1451 | find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual2); | ||
1452 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2); | ||
1453 | find mayInRelationcommunicationLink_reference_CommSubsystem(problem,interpretation,var_virtual2,var_virtual3); | ||
1454 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_virtual3); | ||
1455 | find mayEquivalent(problem, interpretation, var_virtual3, var_Link2); | ||
1456 | neg find mustEquivalent(problem, interpretation, var_Link1, var_Link2); | ||
1457 | } | ||
1458 | private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_multipleCommunicationLinks( | ||
1459 | problem:LogicProblem, interpretation:PartialInterpretation, | 1399 | problem:LogicProblem, interpretation:PartialInterpretation, |
1460 | var_Element) | 1400 | var_Link) |
1461 | { | ||
1462 | find interpretation(problem,interpretation); | ||
1463 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element); | ||
1464 | // Element is exported | ||
1465 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element); | ||
1466 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual0); | ||
1467 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); | ||
1468 | find mustInRelationcommunicationLink_reference_CommSubsystem(problem,interpretation,var_virtual0,var_virtual1); | ||
1469 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_virtual1); | ||
1470 | find mustEquivalent(problem, interpretation, var_virtual1, var_Link1); | ||
1471 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element); | ||
1472 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual2); | ||
1473 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2); | ||
1474 | find mustInRelationcommunicationLink_reference_CommSubsystem(problem,interpretation,var_virtual2,var_virtual3); | ||
1475 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_virtual3); | ||
1476 | find mustEquivalent(problem, interpretation, var_virtual3, var_Link2); | ||
1477 | neg find mustEquivalent(problem, interpretation, var_Link1, var_Link2); | ||
1478 | } | ||
1479 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries communicationLinkOfElement | ||
1480 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkOfElement( | ||
1481 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
1482 | var_Element, var_Link) | ||
1483 | { | 1401 | { |
1484 | find interpretation(problem,interpretation); | 1402 | find interpretation(problem,interpretation); |
1485 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element); | ||
1486 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | 1403 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); |
1487 | // Element is exported | ||
1488 | // Link is exported | 1404 | // Link is exported |
1489 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element); | 1405 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element); |
1490 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual0); | 1406 | find mustInRelationcommunicationLink_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual0); |
1491 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); | 1407 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_virtual0); |
1492 | find mustInRelationcommunicationLink_reference_CommSubsystem(problem,interpretation,var_virtual0,var_virtual1); | 1408 | find mustEquivalent(problem, interpretation, var_virtual0, var_Link); |
1493 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_virtual1); | 1409 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); |
1494 | find mustEquivalent(problem, interpretation, var_virtual1, var_Link); | 1410 | find mustInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1); |
1411 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); | ||
1412 | find mustEquivalent(problem, interpretation, var_virtual1, var_SourceComm); | ||
1413 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_SourceElement); | ||
1414 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_SourceElement,var_virtual2); | ||
1415 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2); | ||
1416 | find mustEquivalent(problem, interpretation, var_virtual2, var_SourceComm); | ||
1417 | neg find mayEquivalent(problem, interpretation, var_Element, var_SourceElement); | ||
1495 | } | 1418 | } |
1496 | private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkOfElement( | 1419 | private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement( |
1497 | problem:LogicProblem, interpretation:PartialInterpretation, | 1420 | problem:LogicProblem, interpretation:PartialInterpretation, |
1498 | var_Element, var_Link) | 1421 | var_Link) |
1499 | { | 1422 | { |
1500 | find interpretation(problem,interpretation); | 1423 | find interpretation(problem,interpretation); |
1501 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_Element); | ||
1502 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | 1424 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); |
1503 | // Element is exported | ||
1504 | // Link is exported | 1425 | // Link is exported |
1505 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_Element); | 1426 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_Element); |
1506 | find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual0); | 1427 | find mayInRelationcommunicationLink_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual0); |
1507 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); | 1428 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_virtual0); |
1508 | find mayInRelationcommunicationLink_reference_CommSubsystem(problem,interpretation,var_virtual0,var_virtual1); | 1429 | find mayEquivalent(problem, interpretation, var_virtual0, var_Link); |
1509 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_virtual1); | 1430 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); |
1510 | find mayEquivalent(problem, interpretation, var_virtual1, var_Link); | 1431 | find mayInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1); |
1432 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); | ||
1433 | find mayEquivalent(problem, interpretation, var_virtual1, var_SourceComm); | ||
1434 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_SourceElement); | ||
1435 | find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_SourceElement,var_virtual2); | ||
1436 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2); | ||
1437 | find mayEquivalent(problem, interpretation, var_virtual2, var_SourceComm); | ||
1438 | neg find mustEquivalent(problem, interpretation, var_Element, var_SourceElement); | ||
1511 | } | 1439 | } |
1512 | private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkOfElement( | 1440 | private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement( |
1513 | problem:LogicProblem, interpretation:PartialInterpretation, | 1441 | problem:LogicProblem, interpretation:PartialInterpretation, |
1514 | var_Element, var_Link) | 1442 | var_Link) |
1515 | { | 1443 | { |
1516 | find interpretation(problem,interpretation); | 1444 | find interpretation(problem,interpretation); |
1517 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element); | ||
1518 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | 1445 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); |
1519 | // Element is exported | ||
1520 | // Link is exported | 1446 | // Link is exported |
1521 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element); | 1447 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element); |
1522 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual0); | 1448 | find mustInRelationcommunicationLink_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual0); |
1523 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); | 1449 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_virtual0); |
1524 | find mustInRelationcommunicationLink_reference_CommSubsystem(problem,interpretation,var_virtual0,var_virtual1); | 1450 | find mustEquivalent(problem, interpretation, var_virtual0, var_Link); |
1525 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_virtual1); | 1451 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); |
1526 | find mustEquivalent(problem, interpretation, var_virtual1, var_Link); | 1452 | find mustInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1); |
1453 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); | ||
1454 | find mustEquivalent(problem, interpretation, var_virtual1, var_SourceComm); | ||
1455 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_SourceElement); | ||
1456 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_SourceElement,var_virtual2); | ||
1457 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2); | ||
1458 | find mustEquivalent(problem, interpretation, var_virtual2, var_SourceComm); | ||
1459 | neg find mustEquivalent(problem, interpretation, var_Element, var_SourceElement); | ||
1527 | } | 1460 | } |
1528 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries notEnoughInterferometryPayloads | 1461 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries notEnoughInterferometryPayloads |
1529 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_notEnoughInterferometryPayloads( | 1462 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_notEnoughInterferometryPayloads( |
@@ -2942,9 +2875,9 @@ private pattern mustContains4(problem:LogicProblem, interpretation:PartialInterp | |||
2942 | 2875 | ||
2943 | { find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,source,target); }or | 2876 | { find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,source,target); }or |
2944 | 2877 | ||
2945 | { find mustInRelationpayload_reference_Spacecraft(problem,interpretation,source,target); }or | 2878 | { find mustInRelationcommunicationLink_reference_CommunicatingElement(problem,interpretation,source,target); }or |
2946 | 2879 | ||
2947 | { find mustInRelationcommunicationLink_reference_CommSubsystem(problem,interpretation,source,target); } | 2880 | { find mustInRelationpayload_reference_Spacecraft(problem,interpretation,source,target); } |
2948 | 2881 | ||
2949 | private pattern mustTransitiveContains(source,target) { | 2882 | private pattern mustTransitiveContains(source,target) { |
2950 | find mustContains2+(source,target); | 2883 | find mustContains2+(source,target); |
@@ -2955,10 +2888,10 @@ private pattern mustTransitiveContains(source,target) { | |||
2955 | ////////// | 2888 | ////////// |
2956 | // 2.1 Invalidated by WF Queries | 2889 | // 2.1 Invalidated by WF Queries |
2957 | ////////// | 2890 | ////////// |
2958 | pattern invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_multipleCommunicationLinks(problem:LogicProblem, interpretation:PartialInterpretation, | 2891 | pattern invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement(problem:LogicProblem, interpretation:PartialInterpretation, |
2959 | var_Element) | 2892 | var_Link) |
2960 | { | 2893 | { |
2961 | find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_multipleCommunicationLinks(problem,interpretation,var_Element); | 2894 | find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement(problem,interpretation,var_Link); |
2962 | } | 2895 | } |
2963 | pattern invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_notEnoughInterferometryPayloads(problem:LogicProblem, interpretation:PartialInterpretation, | 2896 | pattern invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_notEnoughInterferometryPayloads(problem:LogicProblem, interpretation:PartialInterpretation, |
2964 | var_Mission) | 2897 | var_Mission) |
@@ -3088,10 +3021,10 @@ pattern unfinishedLowerMultiplicity_gain_attribute_CommSubsystem(problem:LogicPr | |||
3088 | ////////// | 3021 | ////////// |
3089 | // 3.2 Unfinishedness Measured by WF Queries | 3022 | // 3.2 Unfinishedness Measured by WF Queries |
3090 | ////////// | 3023 | ////////// |
3091 | pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_multipleCommunicationLinks(problem:LogicProblem, interpretation:PartialInterpretation, | 3024 | pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement(problem:LogicProblem, interpretation:PartialInterpretation, |
3092 | var_Element) | 3025 | var_Link) |
3093 | { | 3026 | { |
3094 | find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_multipleCommunicationLinks(problem,interpretation,var_Element); | 3027 | find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement(problem,interpretation,var_Link); |
3095 | } | 3028 | } |
3096 | pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_notEnoughInterferometryPayloads(problem:LogicProblem, interpretation:PartialInterpretation, | 3029 | pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_notEnoughInterferometryPayloads(problem:LogicProblem, interpretation:PartialInterpretation, |
3097 | var_Mission) | 3030 | var_Mission) |
@@ -3157,55 +3090,55 @@ pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_querie | |||
3157 | private pattern hasElementInContainment(problem:LogicProblem, interpretation:PartialInterpretation) | 3090 | private pattern hasElementInContainment(problem:LogicProblem, interpretation:PartialInterpretation) |
3158 | { | 3091 | { |
3159 | find interpretation(problem,interpretation); | 3092 | find interpretation(problem,interpretation); |
3160 | find mustInstanceOfSpacecraft_class(problem,interpretation,root); | 3093 | find mustInstanceOfInterferometryPayload_class(problem,interpretation,root); |
3161 | find mustExist(problem, interpretation, root); | 3094 | find mustExist(problem, interpretation, root); |
3162 | }or{ | 3095 | }or{ |
3163 | find interpretation(problem,interpretation); | 3096 | find interpretation(problem,interpretation); |
3164 | find mustInstanceOfCubeSat6U_class(problem,interpretation,root); | 3097 | find mustInstanceOfSpacecraft_class(problem,interpretation,root); |
3165 | find mustExist(problem, interpretation, root); | 3098 | find mustExist(problem, interpretation, root); |
3166 | }or{ | 3099 | }or{ |
3167 | find interpretation(problem,interpretation); | 3100 | find interpretation(problem,interpretation); |
3168 | find mustInstanceOfSmallSat_class(problem,interpretation,root); | 3101 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,root); |
3169 | find mustExist(problem, interpretation, root); | 3102 | find mustExist(problem, interpretation, root); |
3170 | }or{ | 3103 | }or{ |
3171 | find interpretation(problem,interpretation); | 3104 | find interpretation(problem,interpretation); |
3172 | find mustInstanceOfGroundStationNetwork_class(problem,interpretation,root); | 3105 | find mustInstanceOfCubeSat_class(problem,interpretation,root); |
3173 | find mustExist(problem, interpretation, root); | 3106 | find mustExist(problem, interpretation, root); |
3174 | }or{ | 3107 | }or{ |
3175 | find interpretation(problem,interpretation); | 3108 | find interpretation(problem,interpretation); |
3176 | find mustInstanceOfPayload_class(problem,interpretation,root); | 3109 | find mustInstanceOfConstellationMission_class(problem,interpretation,root); |
3177 | find mustExist(problem, interpretation, root); | 3110 | find mustExist(problem, interpretation, root); |
3178 | }or{ | 3111 | }or{ |
3179 | find interpretation(problem,interpretation); | 3112 | find interpretation(problem,interpretation); |
3180 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,root); | 3113 | find mustInstanceOfInterferometryMission_class(problem,interpretation,root); |
3181 | find mustExist(problem, interpretation, root); | 3114 | find mustExist(problem, interpretation, root); |
3182 | }or{ | 3115 | }or{ |
3183 | find interpretation(problem,interpretation); | 3116 | find interpretation(problem,interpretation); |
3184 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,root); | 3117 | find mustInstanceOfCubeSat3U_class(problem,interpretation,root); |
3185 | find mustExist(problem, interpretation, root); | 3118 | find mustExist(problem, interpretation, root); |
3186 | }or{ | 3119 | }or{ |
3187 | find interpretation(problem,interpretation); | 3120 | find interpretation(problem,interpretation); |
3188 | find mustInstanceOfCubeSat_class(problem,interpretation,root); | 3121 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,root); |
3189 | find mustExist(problem, interpretation, root); | 3122 | find mustExist(problem, interpretation, root); |
3190 | }or{ | 3123 | }or{ |
3191 | find interpretation(problem,interpretation); | 3124 | find interpretation(problem,interpretation); |
3192 | find mustInstanceOfCubeSat3U_class(problem,interpretation,root); | 3125 | find mustInstanceOfCubeSat6U_class(problem,interpretation,root); |
3193 | find mustExist(problem, interpretation, root); | 3126 | find mustExist(problem, interpretation, root); |
3194 | }or{ | 3127 | }or{ |
3195 | find interpretation(problem,interpretation); | 3128 | find interpretation(problem,interpretation); |
3196 | find mustInstanceOfInterferometryPayload_class(problem,interpretation,root); | 3129 | find mustInstanceOfSmallSat_class(problem,interpretation,root); |
3197 | find mustExist(problem, interpretation, root); | 3130 | find mustExist(problem, interpretation, root); |
3198 | }or{ | 3131 | }or{ |
3199 | find interpretation(problem,interpretation); | 3132 | find interpretation(problem,interpretation); |
3200 | find mustInstanceOfConstellationMission_class(problem,interpretation,root); | 3133 | find mustInstanceOfCommSubsystem_class(problem,interpretation,root); |
3201 | find mustExist(problem, interpretation, root); | 3134 | find mustExist(problem, interpretation, root); |
3202 | }or{ | 3135 | }or{ |
3203 | find interpretation(problem,interpretation); | 3136 | find interpretation(problem,interpretation); |
3204 | find mustInstanceOfInterferometryMission_class(problem,interpretation,root); | 3137 | find mustInstanceOfGroundStationNetwork_class(problem,interpretation,root); |
3205 | find mustExist(problem, interpretation, root); | 3138 | find mustExist(problem, interpretation, root); |
3206 | }or{ | 3139 | }or{ |
3207 | find interpretation(problem,interpretation); | 3140 | find interpretation(problem,interpretation); |
3208 | find mustInstanceOfCommSubsystem_class(problem,interpretation,root); | 3141 | find mustInstanceOfPayload_class(problem,interpretation,root); |
3209 | find mustExist(problem, interpretation, root); | 3142 | find mustExist(problem, interpretation, root); |
3210 | }or{ | 3143 | }or{ |
3211 | find interpretation(problem,interpretation); | 3144 | find interpretation(problem,interpretation); |
@@ -3248,87 +3181,99 @@ private pattern hasElementInContainment(problem:LogicProblem, interpretation:Par | |||
3248 | find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,root); | 3181 | find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,root); |
3249 | find mustExist(problem, interpretation, root); | 3182 | find mustExist(problem, interpretation, root); |
3250 | } | 3183 | } |
3251 | pattern createObject_GroundStationNetwork_class_UndefinedPart_by_groundStationNetwork_reference_ConstellationMission( | 3184 | pattern createObject_DirectedCommunicationLink_class_by_communicationLink_reference_CommunicatingElement( |
3252 | problem:LogicProblem, interpretation:PartialInterpretation, | 3185 | problem:LogicProblem, interpretation:PartialInterpretation, |
3253 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, | 3186 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, |
3254 | container:DefinedElement) | 3187 | container:DefinedElement) |
3255 | { | 3188 | { |
3256 | find interpretation(problem,interpretation); | 3189 | find interpretation(problem,interpretation); |
3257 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 3190 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
3258 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"GroundStationNetwork class UndefinedPart"); | 3191 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"DirectedCommunicationLink class"); |
3259 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); | 3192 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); |
3260 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"groundStationNetwork reference ConstellationMission"); | 3193 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"communicationLink reference CommunicatingElement"); |
3261 | find mustInstanceOfConstellationMission_class(problem,interpretation,container); | 3194 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,container); |
3262 | find mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,newObject); | 3195 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,newObject); |
3263 | find mayInRelationgroundStationNetwork_reference_ConstellationMission(problem,interpretation,container,newObject); | 3196 | find mayInRelationcommunicationLink_reference_CommunicatingElement(problem,interpretation,container,newObject); |
3264 | find mustExist(problem, interpretation, container); | 3197 | find mustExist(problem, interpretation, container); |
3265 | neg find mustExist(problem, interpretation, newObject); | 3198 | neg find mustExist(problem, interpretation, newObject); |
3266 | } | 3199 | } |
3267 | pattern createObject_GroundStationNetwork_class_UndefinedPart( | 3200 | pattern createObject_DirectedCommunicationLink_class( |
3268 | problem:LogicProblem, interpretation:PartialInterpretation, | 3201 | problem:LogicProblem, interpretation:PartialInterpretation, |
3269 | typeInterpretation:PartialComplexTypeInterpretation) | 3202 | typeInterpretation:PartialComplexTypeInterpretation) |
3270 | { | 3203 | { |
3271 | find interpretation(problem,interpretation); | 3204 | find interpretation(problem,interpretation); |
3272 | neg find hasElementInContainment(problem,interpretation); | 3205 | neg find hasElementInContainment(problem,interpretation); |
3273 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 3206 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
3274 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"GroundStationNetwork class UndefinedPart"); | 3207 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"DirectedCommunicationLink class"); |
3275 | find mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,newObject); | 3208 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,newObject); |
3276 | find mayExist(problem, interpretation, newObject); | 3209 | find mayExist(problem, interpretation, newObject); |
3277 | neg find mustExist(problem, interpretation, newObject); | 3210 | neg find mustExist(problem, interpretation, newObject); |
3278 | } | 3211 | } |
3279 | pattern createObject_SmallSat_class_by_spacecraft_reference_ConstellationMission( | 3212 | pattern createObject_InterferometryMission_class_UndefinedPart( |
3213 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
3214 | typeInterpretation:PartialComplexTypeInterpretation) | ||
3215 | { | ||
3216 | find interpretation(problem,interpretation); | ||
3217 | neg find hasElementInContainment(problem,interpretation); | ||
3218 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | ||
3219 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"InterferometryMission class UndefinedPart"); | ||
3220 | find mayInstanceOfInterferometryMission_class_UndefinedPart(problem,interpretation,newObject); | ||
3221 | find mayExist(problem, interpretation, newObject); | ||
3222 | neg find mustExist(problem, interpretation, newObject); | ||
3223 | } | ||
3224 | pattern createObject_InterferometryPayload_class_by_payload_reference_Spacecraft( | ||
3280 | problem:LogicProblem, interpretation:PartialInterpretation, | 3225 | problem:LogicProblem, interpretation:PartialInterpretation, |
3281 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, | 3226 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, |
3282 | container:DefinedElement) | 3227 | container:DefinedElement) |
3283 | { | 3228 | { |
3284 | find interpretation(problem,interpretation); | 3229 | find interpretation(problem,interpretation); |
3285 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 3230 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
3286 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"SmallSat class"); | 3231 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"InterferometryPayload class"); |
3287 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); | 3232 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); |
3288 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"spacecraft reference ConstellationMission"); | 3233 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"payload reference Spacecraft"); |
3289 | find mustInstanceOfConstellationMission_class(problem,interpretation,container); | 3234 | find mustInstanceOfSpacecraft_class(problem,interpretation,container); |
3290 | find mayInstanceOfSmallSat_class(problem,interpretation,newObject); | 3235 | find mayInstanceOfInterferometryPayload_class(problem,interpretation,newObject); |
3291 | find mayInRelationspacecraft_reference_ConstellationMission(problem,interpretation,container,newObject); | 3236 | find mayInRelationpayload_reference_Spacecraft(problem,interpretation,container,newObject); |
3292 | find mustExist(problem, interpretation, container); | 3237 | find mustExist(problem, interpretation, container); |
3293 | neg find mustExist(problem, interpretation, newObject); | 3238 | neg find mustExist(problem, interpretation, newObject); |
3294 | } | 3239 | } |
3295 | pattern createObject_SmallSat_class( | 3240 | pattern createObject_InterferometryPayload_class( |
3296 | problem:LogicProblem, interpretation:PartialInterpretation, | 3241 | problem:LogicProblem, interpretation:PartialInterpretation, |
3297 | typeInterpretation:PartialComplexTypeInterpretation) | 3242 | typeInterpretation:PartialComplexTypeInterpretation) |
3298 | { | 3243 | { |
3299 | find interpretation(problem,interpretation); | 3244 | find interpretation(problem,interpretation); |
3300 | neg find hasElementInContainment(problem,interpretation); | 3245 | neg find hasElementInContainment(problem,interpretation); |
3301 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 3246 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
3302 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"SmallSat class"); | 3247 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"InterferometryPayload class"); |
3303 | find mayInstanceOfSmallSat_class(problem,interpretation,newObject); | 3248 | find mayInstanceOfInterferometryPayload_class(problem,interpretation,newObject); |
3304 | find mayExist(problem, interpretation, newObject); | 3249 | find mayExist(problem, interpretation, newObject); |
3305 | neg find mustExist(problem, interpretation, newObject); | 3250 | neg find mustExist(problem, interpretation, newObject); |
3306 | } | 3251 | } |
3307 | pattern createObject_DirectedCommunicationLink_class_by_communicationLink_reference_CommSubsystem( | 3252 | pattern createObject_GroundStationNetwork_class_UndefinedPart_by_groundStationNetwork_reference_ConstellationMission( |
3308 | problem:LogicProblem, interpretation:PartialInterpretation, | 3253 | problem:LogicProblem, interpretation:PartialInterpretation, |
3309 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, | 3254 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, |
3310 | container:DefinedElement) | 3255 | container:DefinedElement) |
3311 | { | 3256 | { |
3312 | find interpretation(problem,interpretation); | 3257 | find interpretation(problem,interpretation); |
3313 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 3258 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
3314 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"DirectedCommunicationLink class"); | 3259 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"GroundStationNetwork class UndefinedPart"); |
3315 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); | 3260 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); |
3316 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"communicationLink reference CommSubsystem"); | 3261 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"groundStationNetwork reference ConstellationMission"); |
3317 | find mustInstanceOfCommSubsystem_class(problem,interpretation,container); | 3262 | find mustInstanceOfConstellationMission_class(problem,interpretation,container); |
3318 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,newObject); | 3263 | find mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,newObject); |
3319 | find mayInRelationcommunicationLink_reference_CommSubsystem(problem,interpretation,container,newObject); | 3264 | find mayInRelationgroundStationNetwork_reference_ConstellationMission(problem,interpretation,container,newObject); |
3320 | find mustExist(problem, interpretation, container); | 3265 | find mustExist(problem, interpretation, container); |
3321 | neg find mustExist(problem, interpretation, newObject); | 3266 | neg find mustExist(problem, interpretation, newObject); |
3322 | } | 3267 | } |
3323 | pattern createObject_DirectedCommunicationLink_class( | 3268 | pattern createObject_GroundStationNetwork_class_UndefinedPart( |
3324 | problem:LogicProblem, interpretation:PartialInterpretation, | 3269 | problem:LogicProblem, interpretation:PartialInterpretation, |
3325 | typeInterpretation:PartialComplexTypeInterpretation) | 3270 | typeInterpretation:PartialComplexTypeInterpretation) |
3326 | { | 3271 | { |
3327 | find interpretation(problem,interpretation); | 3272 | find interpretation(problem,interpretation); |
3328 | neg find hasElementInContainment(problem,interpretation); | 3273 | neg find hasElementInContainment(problem,interpretation); |
3329 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 3274 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
3330 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"DirectedCommunicationLink class"); | 3275 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"GroundStationNetwork class UndefinedPart"); |
3331 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,newObject); | 3276 | find mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,newObject); |
3332 | find mayExist(problem, interpretation, newObject); | 3277 | find mayExist(problem, interpretation, newObject); |
3333 | neg find mustExist(problem, interpretation, newObject); | 3278 | neg find mustExist(problem, interpretation, newObject); |
3334 | } | 3279 | } |
@@ -3360,31 +3305,31 @@ pattern createObject_CubeSat3U_class( | |||
3360 | find mayExist(problem, interpretation, newObject); | 3305 | find mayExist(problem, interpretation, newObject); |
3361 | neg find mustExist(problem, interpretation, newObject); | 3306 | neg find mustExist(problem, interpretation, newObject); |
3362 | } | 3307 | } |
3363 | pattern createObject_CubeSat6U_class_by_spacecraft_reference_ConstellationMission( | 3308 | pattern createObject_SmallSat_class_by_spacecraft_reference_ConstellationMission( |
3364 | problem:LogicProblem, interpretation:PartialInterpretation, | 3309 | problem:LogicProblem, interpretation:PartialInterpretation, |
3365 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, | 3310 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, |
3366 | container:DefinedElement) | 3311 | container:DefinedElement) |
3367 | { | 3312 | { |
3368 | find interpretation(problem,interpretation); | 3313 | find interpretation(problem,interpretation); |
3369 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 3314 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
3370 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"CubeSat6U class"); | 3315 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"SmallSat class"); |
3371 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); | 3316 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); |
3372 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"spacecraft reference ConstellationMission"); | 3317 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"spacecraft reference ConstellationMission"); |
3373 | find mustInstanceOfConstellationMission_class(problem,interpretation,container); | 3318 | find mustInstanceOfConstellationMission_class(problem,interpretation,container); |
3374 | find mayInstanceOfCubeSat6U_class(problem,interpretation,newObject); | 3319 | find mayInstanceOfSmallSat_class(problem,interpretation,newObject); |
3375 | find mayInRelationspacecraft_reference_ConstellationMission(problem,interpretation,container,newObject); | 3320 | find mayInRelationspacecraft_reference_ConstellationMission(problem,interpretation,container,newObject); |
3376 | find mustExist(problem, interpretation, container); | 3321 | find mustExist(problem, interpretation, container); |
3377 | neg find mustExist(problem, interpretation, newObject); | 3322 | neg find mustExist(problem, interpretation, newObject); |
3378 | } | 3323 | } |
3379 | pattern createObject_CubeSat6U_class( | 3324 | pattern createObject_SmallSat_class( |
3380 | problem:LogicProblem, interpretation:PartialInterpretation, | 3325 | problem:LogicProblem, interpretation:PartialInterpretation, |
3381 | typeInterpretation:PartialComplexTypeInterpretation) | 3326 | typeInterpretation:PartialComplexTypeInterpretation) |
3382 | { | 3327 | { |
3383 | find interpretation(problem,interpretation); | 3328 | find interpretation(problem,interpretation); |
3384 | neg find hasElementInContainment(problem,interpretation); | 3329 | neg find hasElementInContainment(problem,interpretation); |
3385 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 3330 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
3386 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"CubeSat6U class"); | 3331 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"SmallSat class"); |
3387 | find mayInstanceOfCubeSat6U_class(problem,interpretation,newObject); | 3332 | find mayInstanceOfSmallSat_class(problem,interpretation,newObject); |
3388 | find mayExist(problem, interpretation, newObject); | 3333 | find mayExist(problem, interpretation, newObject); |
3389 | neg find mustExist(problem, interpretation, newObject); | 3334 | neg find mustExist(problem, interpretation, newObject); |
3390 | } | 3335 | } |
@@ -3416,43 +3361,31 @@ pattern createObject_CommSubsystem_class_UndefinedPart( | |||
3416 | find mayExist(problem, interpretation, newObject); | 3361 | find mayExist(problem, interpretation, newObject); |
3417 | neg find mustExist(problem, interpretation, newObject); | 3362 | neg find mustExist(problem, interpretation, newObject); |
3418 | } | 3363 | } |
3419 | pattern createObject_InterferometryMission_class_UndefinedPart( | 3364 | pattern createObject_CubeSat6U_class_by_spacecraft_reference_ConstellationMission( |
3420 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
3421 | typeInterpretation:PartialComplexTypeInterpretation) | ||
3422 | { | ||
3423 | find interpretation(problem,interpretation); | ||
3424 | neg find hasElementInContainment(problem,interpretation); | ||
3425 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | ||
3426 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"InterferometryMission class UndefinedPart"); | ||
3427 | find mayInstanceOfInterferometryMission_class_UndefinedPart(problem,interpretation,newObject); | ||
3428 | find mayExist(problem, interpretation, newObject); | ||
3429 | neg find mustExist(problem, interpretation, newObject); | ||
3430 | } | ||
3431 | pattern createObject_InterferometryPayload_class_by_payload_reference_Spacecraft( | ||
3432 | problem:LogicProblem, interpretation:PartialInterpretation, | 3365 | problem:LogicProblem, interpretation:PartialInterpretation, |
3433 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, | 3366 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, |
3434 | container:DefinedElement) | 3367 | container:DefinedElement) |
3435 | { | 3368 | { |
3436 | find interpretation(problem,interpretation); | 3369 | find interpretation(problem,interpretation); |
3437 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 3370 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
3438 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"InterferometryPayload class"); | 3371 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"CubeSat6U class"); |
3439 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); | 3372 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); |
3440 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"payload reference Spacecraft"); | 3373 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"spacecraft reference ConstellationMission"); |
3441 | find mustInstanceOfSpacecraft_class(problem,interpretation,container); | 3374 | find mustInstanceOfConstellationMission_class(problem,interpretation,container); |
3442 | find mayInstanceOfInterferometryPayload_class(problem,interpretation,newObject); | 3375 | find mayInstanceOfCubeSat6U_class(problem,interpretation,newObject); |
3443 | find mayInRelationpayload_reference_Spacecraft(problem,interpretation,container,newObject); | 3376 | find mayInRelationspacecraft_reference_ConstellationMission(problem,interpretation,container,newObject); |
3444 | find mustExist(problem, interpretation, container); | 3377 | find mustExist(problem, interpretation, container); |
3445 | neg find mustExist(problem, interpretation, newObject); | 3378 | neg find mustExist(problem, interpretation, newObject); |
3446 | } | 3379 | } |
3447 | pattern createObject_InterferometryPayload_class( | 3380 | pattern createObject_CubeSat6U_class( |
3448 | problem:LogicProblem, interpretation:PartialInterpretation, | 3381 | problem:LogicProblem, interpretation:PartialInterpretation, |
3449 | typeInterpretation:PartialComplexTypeInterpretation) | 3382 | typeInterpretation:PartialComplexTypeInterpretation) |
3450 | { | 3383 | { |
3451 | find interpretation(problem,interpretation); | 3384 | find interpretation(problem,interpretation); |
3452 | neg find hasElementInContainment(problem,interpretation); | 3385 | neg find hasElementInContainment(problem,interpretation); |
3453 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 3386 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
3454 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"InterferometryPayload class"); | 3387 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"CubeSat6U class"); |
3455 | find mayInstanceOfInterferometryPayload_class(problem,interpretation,newObject); | 3388 | find mayInstanceOfCubeSat6U_class(problem,interpretation,newObject); |
3456 | find mayExist(problem, interpretation, newObject); | 3389 | find mayExist(problem, interpretation, newObject); |
3457 | neg find mustExist(problem, interpretation, newObject); | 3390 | neg find mustExist(problem, interpretation, newObject); |
3458 | } | 3391 | } |
@@ -3460,114 +3393,99 @@ pattern createObject_InterferometryPayload_class( | |||
3460 | ////////// | 3393 | ////////// |
3461 | // 4.2 Type refinement | 3394 | // 4.2 Type refinement |
3462 | ////////// | 3395 | ////////// |
3463 | pattern refineTypeTo_GroundStationNetwork_class_UndefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { | 3396 | pattern refineTypeTo_DirectedCommunicationLink_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { |
3464 | find interpretation(problem,interpretation); | 3397 | find interpretation(problem,interpretation); |
3465 | PartialInterpretation.newElements(interpretation,element); | 3398 | PartialInterpretation.newElements(interpretation,element); |
3466 | find mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,element); | 3399 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
3467 | neg find mustInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,element); | ||
3468 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 3400 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
3469 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
3470 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 3401 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
3471 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 3402 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
3472 | neg find mustInstanceOfSpacecraft_class(problem,interpretation,element); | 3403 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
3404 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
3473 | } | 3405 | } |
3474 | pattern refineTypeTo_SmallSat_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { | 3406 | pattern refineTypeTo_InterferometryMission_class_UndefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { |
3475 | find interpretation(problem,interpretation); | 3407 | find interpretation(problem,interpretation); |
3476 | PartialInterpretation.newElements(interpretation,element); | 3408 | PartialInterpretation.newElements(interpretation,element); |
3477 | find mayInstanceOfSmallSat_class(problem,interpretation,element); | 3409 | find mayInstanceOfInterferometryMission_class_UndefinedPart(problem,interpretation,element); |
3478 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | ||
3479 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 3410 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
3480 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
3481 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
3482 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 3411 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
3483 | neg find mustInstanceOfCubeSat_class(problem,interpretation,element); | 3412 | neg find mustInstanceOfInterferometryMission_class_UndefinedPart(problem,interpretation,element); |
3484 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 3413 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
3414 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
3485 | } | 3415 | } |
3486 | pattern refineTypeTo_DirectedCommunicationLink_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { | 3416 | pattern refineTypeTo_InterferometryPayload_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { |
3487 | find interpretation(problem,interpretation); | 3417 | find interpretation(problem,interpretation); |
3488 | PartialInterpretation.newElements(interpretation,element); | 3418 | PartialInterpretation.newElements(interpretation,element); |
3489 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 3419 | find mayInstanceOfInterferometryPayload_class(problem,interpretation,element); |
3490 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 3420 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
3491 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 3421 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
3492 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | 3422 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
3423 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
3424 | neg find mustInstanceOfInterferometryPayload_class(problem,interpretation,element); | ||
3425 | } | ||
3426 | pattern refineTypeTo_GroundStationNetwork_class_UndefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { | ||
3427 | find interpretation(problem,interpretation); | ||
3428 | PartialInterpretation.newElements(interpretation,element); | ||
3429 | find mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,element); | ||
3430 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
3493 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 3431 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
3494 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 3432 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
3433 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
3434 | neg find mustInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,element); | ||
3435 | neg find mustInstanceOfSpacecraft_class(problem,interpretation,element); | ||
3495 | } | 3436 | } |
3496 | pattern refineTypeTo_CubeSat3U_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { | 3437 | pattern refineTypeTo_CubeSat3U_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { |
3497 | find interpretation(problem,interpretation); | 3438 | find interpretation(problem,interpretation); |
3498 | PartialInterpretation.newElements(interpretation,element); | 3439 | PartialInterpretation.newElements(interpretation,element); |
3499 | find mayInstanceOfCubeSat3U_class(problem,interpretation,element); | 3440 | find mayInstanceOfCubeSat3U_class(problem,interpretation,element); |
3500 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 3441 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
3501 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | 3442 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
3502 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | 3443 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); |
3444 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
3503 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 3445 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
3504 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
3505 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); | 3446 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); |
3447 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | ||
3506 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); | 3448 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); |
3507 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
3508 | } | 3449 | } |
3509 | pattern refineTypeTo_CubeSat6U_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { | 3450 | pattern refineTypeTo_SmallSat_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { |
3510 | find interpretation(problem,interpretation); | 3451 | find interpretation(problem,interpretation); |
3511 | PartialInterpretation.newElements(interpretation,element); | 3452 | PartialInterpretation.newElements(interpretation,element); |
3512 | find mayInstanceOfCubeSat6U_class(problem,interpretation,element); | 3453 | find mayInstanceOfSmallSat_class(problem,interpretation,element); |
3513 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 3454 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
3514 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | ||
3515 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
3516 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
3517 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 3455 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
3518 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); | 3456 | neg find mustInstanceOfCubeSat_class(problem,interpretation,element); |
3519 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); | 3457 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); |
3520 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 3458 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
3459 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
3460 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | ||
3521 | } | 3461 | } |
3522 | pattern refineTypeTo_CommSubsystem_class_UndefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { | 3462 | pattern refineTypeTo_CommSubsystem_class_UndefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { |
3523 | find interpretation(problem,interpretation); | 3463 | find interpretation(problem,interpretation); |
3524 | PartialInterpretation.newElements(interpretation,element); | 3464 | PartialInterpretation.newElements(interpretation,element); |
3525 | find mayInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); | 3465 | find mayInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); |
3526 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 3466 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
3527 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
3528 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 3467 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
3529 | neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); | ||
3530 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 3468 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
3531 | } | ||
3532 | pattern refineTypeTo_InterferometryMission_class_UndefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { | ||
3533 | find interpretation(problem,interpretation); | ||
3534 | PartialInterpretation.newElements(interpretation,element); | ||
3535 | find mayInstanceOfInterferometryMission_class_UndefinedPart(problem,interpretation,element); | ||
3536 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
3537 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
3538 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | 3469 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
3539 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 3470 | neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); |
3540 | neg find mustInstanceOfInterferometryMission_class_UndefinedPart(problem,interpretation,element); | ||
3541 | } | 3471 | } |
3542 | pattern refineTypeTo_InterferometryPayload_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { | 3472 | pattern refineTypeTo_CubeSat6U_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { |
3543 | find interpretation(problem,interpretation); | 3473 | find interpretation(problem,interpretation); |
3544 | PartialInterpretation.newElements(interpretation,element); | 3474 | PartialInterpretation.newElements(interpretation,element); |
3545 | find mayInstanceOfInterferometryPayload_class(problem,interpretation,element); | 3475 | find mayInstanceOfCubeSat6U_class(problem,interpretation,element); |
3546 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 3476 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
3547 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 3477 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
3548 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
3549 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 3478 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
3550 | neg find mustInstanceOfInterferometryPayload_class(problem,interpretation,element); | 3479 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); |
3480 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
3481 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); | ||
3482 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | ||
3483 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); | ||
3551 | } | 3484 | } |
3552 | 3485 | ||
3553 | ////////// | 3486 | ////////// |
3554 | // 4.3 Relation refinement | 3487 | // 4.3 Relation refinement |
3555 | ////////// | 3488 | ////////// |
3556 | pattern refineRelation_communicationLink_reference_CommunicatingElement( | ||
3557 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
3558 | relationIterpretation:PartialRelationInterpretation, | ||
3559 | from: DefinedElement, to: DefinedElement) | ||
3560 | { | ||
3561 | find interpretation(problem,interpretation); | ||
3562 | PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation); | ||
3563 | PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"communicationLink reference CommunicatingElement"); | ||
3564 | find mustExist(problem, interpretation, from); | ||
3565 | find mustExist(problem, interpretation, to); | ||
3566 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,from); | ||
3567 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,to); | ||
3568 | find mayInRelationcommunicationLink_reference_CommunicatingElement(problem,interpretation,from,to); | ||
3569 | neg find mustInRelationcommunicationLink_reference_CommunicatingElement(problem,interpretation,from,to); | ||
3570 | } | ||
3571 | pattern refineRelation_source_reference_DirectedCommunicationLink( | 3489 | pattern refineRelation_source_reference_DirectedCommunicationLink( |
3572 | problem:LogicProblem, interpretation:PartialInterpretation, | 3490 | problem:LogicProblem, interpretation:PartialInterpretation, |
3573 | relationIterpretation:PartialRelationInterpretation, | 3491 | relationIterpretation:PartialRelationInterpretation, |