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