aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generation.logicproblem
diff options
context:
space:
mode:
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generation.logicproblem')
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generation.logicproblem1108
1 files changed, 726 insertions, 382 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generation.logicproblem b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generation.logicproblem
index 7b46b451..2a54174a 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generation.logicproblem
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generation.logicproblem
@@ -1,29 +1,31 @@
1<?xml version="1.0" encoding="ASCII"?> 1<?xml version="1.0" encoding="ASCII"?>
2<language:LogicProblem xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/ecore2logicannotation" xmlns:language="http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem" xmlns:language_1="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language" xmlns:partial2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/partial2logicannotation" xmlns:viatra2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/viatra2logicannotation"> 2<language:LogicProblem xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/ecore2logicannotation" xmlns:language="http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem" xmlns:language_1="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language" xmlns:partial2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/partial2logicannotation" xmlns:viatra2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/viatra2logicannotation">
3 <types xsi:type="language_1:TypeDeclaration" name="ConstellationMission class" subtypes="//@types.1 //@types.14 //@types.15" isAbstract="true"/> 3 <types xsi:type="language_1:TypeDeclaration" name="ConstellationMission class" subtypes="//@types.1 //@types.16 //@types.17" isAbstract="true"/>
4 <types xsi:type="language_1:TypeDeclaration" name="InterferometryMission class" subtypes="//@types.16 //@types.17" supertypes="//@types.0" isAbstract="true"/> 4 <types xsi:type="language_1:TypeDeclaration" name="InterferometryMission class" subtypes="//@types.18 //@types.19" supertypes="//@types.0" isAbstract="true"/>
5 <types xsi:type="language_1:TypeDeclaration" name="CommunicatingElement class" subtypes="//@types.3 //@types.4 //@types.18 //@types.19" isAbstract="true"/> 5 <types xsi:type="language_1:TypeDeclaration" name="CommunicatingElement class" subtypes="//@types.3 //@types.4 //@types.20 //@types.21" isAbstract="true"/>
6 <types xsi:type="language_1:TypeDeclaration" name="GroundStationNetwork class" subtypes="//@types.20 //@types.21" supertypes="//@types.2" isAbstract="true"/> 6 <types xsi:type="language_1:TypeDeclaration" name="GroundStationNetwork class" subtypes="//@types.22 //@types.23" supertypes="//@types.2" isAbstract="true"/>
7 <types xsi:type="language_1:TypeDeclaration" name="Spacecraft class" subtypes="//@types.5 //@types.6 //@types.7" supertypes="//@types.2 //@types.19" isAbstract="true"/> 7 <types xsi:type="language_1:TypeDeclaration" name="Spacecraft class" subtypes="//@types.11 //@types.12" supertypes="//@types.2 //@types.21" isAbstract="true"/>
8 <types xsi:type="language_1:TypeDeclaration" name="CubeSat3U class" supertypes="//@types.4"/> 8 <types xsi:type="language_1:TypeDeclaration" name="CommSubsystem class" subtypes="//@types.24 //@types.25" isAbstract="true"/>
9 <types xsi:type="language_1:TypeDeclaration" name="CubeSat6U class" supertypes="//@types.4"/>
10 <types xsi:type="language_1:TypeDeclaration" name="SmallSat class" supertypes="//@types.4"/>
11 <types xsi:type="language_1:TypeDeclaration" name="CommSubsystem class" subtypes="//@types.22 //@types.23" isAbstract="true"/>
12 <types xsi:type="language_1:TypeDeclaration" name="DirectedCommunicationLink class"/> 9 <types xsi:type="language_1:TypeDeclaration" name="DirectedCommunicationLink class"/>
13 <types xsi:type="language_1:TypeDeclaration" name="Payload class" subtypes="//@types.11" isAbstract="true"/> 10 <types xsi:type="language_1:TypeDeclaration" name="Payload class" subtypes="//@types.8" isAbstract="true"/>
14 <types xsi:type="language_1:TypeDeclaration" name="InterferometryPayload class" supertypes="//@types.10"/> 11 <types xsi:type="language_1:TypeDeclaration" name="InterferometryPayload class" supertypes="//@types.7"/>
12 <types xsi:type="language_1:TypeDeclaration" name="CubeSat3U class" supertypes="//@types.12"/>
13 <types xsi:type="language_1:TypeDeclaration" name="CubeSat6U class" supertypes="//@types.12"/>
14 <types xsi:type="language_1:TypeDeclaration" name="SmallSat class" supertypes="//@types.4"/>
15 <types xsi:type="language_1:TypeDeclaration" name="CubeSat class" subtypes="//@types.9 //@types.10" supertypes="//@types.4" isAbstract="true"/>
15 <types xsi:type="language_1:TypeDefinition" name="TransceiverBand enum" elements="//@elements.0 //@elements.1 //@elements.2"/> 16 <types xsi:type="language_1:TypeDefinition" name="TransceiverBand enum" elements="//@elements.0 //@elements.1 //@elements.2"/>
16 <types xsi:type="language_1:TypeDefinition" name="AntennaGain enum" elements="//@elements.3 //@elements.4 //@elements.5"/> 17 <types xsi:type="language_1:TypeDefinition" name="AntennaGain enum" elements="//@elements.3 //@elements.4 //@elements.5"/>
17 <types xsi:type="language_1:TypeDefinition" name="ConstellationMission class DefinedPart" subtypes="//@types.16" supertypes="//@types.0" isAbstract="true" elements="//@elements.6"/> 18 <types xsi:type="language_1:TypeDefinition" name="SpacecraftKind enum" elements="//@elements.6 //@elements.7 //@elements.8"/>
18 <types xsi:type="language_1:TypeDeclaration" name="ConstellationMission class UndefinedPart" subtypes="//@types.17" supertypes="//@types.0" isAbstract="true"/> 19 <types xsi:type="language_1:TypeDefinition" name="ConstellationMission class DefinedPart" subtypes="//@types.18" supertypes="//@types.0" isAbstract="true" elements="//@elements.9"/>
19 <types xsi:type="language_1:TypeDefinition" name="InterferometryMission class DefinedPart" supertypes="//@types.1 //@types.14" elements="//@elements.6"/> 20 <types xsi:type="language_1:TypeDeclaration" name="ConstellationMission class UndefinedPart" subtypes="//@types.19" supertypes="//@types.0" isAbstract="true"/>
20 <types xsi:type="language_1:TypeDeclaration" name="InterferometryMission class UndefinedPart" supertypes="//@types.1 //@types.15"/> 21 <types xsi:type="language_1:TypeDefinition" name="InterferometryMission class DefinedPart" supertypes="//@types.1 //@types.16" elements="//@elements.9"/>
21 <types xsi:type="language_1:TypeDefinition" name="CommunicatingElement class DefinedPart" subtypes="//@types.20" supertypes="//@types.2" isAbstract="true" elements="//@elements.7"/> 22 <types xsi:type="language_1:TypeDeclaration" name="InterferometryMission class UndefinedPart" supertypes="//@types.1 //@types.17"/>
22 <types xsi:type="language_1:TypeDeclaration" name="CommunicatingElement class UndefinedPart" subtypes="//@types.21 //@types.4" supertypes="//@types.2" isAbstract="true"/> 23 <types xsi:type="language_1:TypeDefinition" name="CommunicatingElement class DefinedPart" subtypes="//@types.22" supertypes="//@types.2" isAbstract="true" elements="//@elements.10"/>
23 <types xsi:type="language_1:TypeDefinition" name="GroundStationNetwork class DefinedPart" supertypes="//@types.3 //@types.18" elements="//@elements.7"/> 24 <types xsi:type="language_1:TypeDeclaration" name="CommunicatingElement class UndefinedPart" subtypes="//@types.23 //@types.4" supertypes="//@types.2" isAbstract="true"/>
24 <types xsi:type="language_1:TypeDeclaration" name="GroundStationNetwork class UndefinedPart" supertypes="//@types.3 //@types.19"/> 25 <types xsi:type="language_1:TypeDefinition" name="GroundStationNetwork class DefinedPart" supertypes="//@types.3 //@types.20" elements="//@elements.10"/>
25 <types xsi:type="language_1:TypeDefinition" name="CommSubsystem class DefinedPart" supertypes="//@types.8" elements="//@elements.8 //@elements.9"/> 26 <types xsi:type="language_1:TypeDeclaration" name="GroundStationNetwork class UndefinedPart" supertypes="//@types.3 //@types.21"/>
26 <types xsi:type="language_1:TypeDeclaration" name="CommSubsystem class UndefinedPart" supertypes="//@types.8"/> 27 <types xsi:type="language_1:TypeDefinition" name="CommSubsystem class DefinedPart" supertypes="//@types.5" elements="//@elements.11 //@elements.12"/>
28 <types xsi:type="language_1:TypeDeclaration" name="CommSubsystem class UndefinedPart" supertypes="//@types.5"/>
27 <assertions name="lowerMultiplicity groundStationNetwork ConstellationMission" annotations="//@annotations.0"> 29 <assertions name="lowerMultiplicity groundStationNetwork ConstellationMission" annotations="//@annotations.0">
28 <value xsi:type="language_1:Forall"> 30 <value xsi:type="language_1:Forall">
29 <quantifiedVariables name="src"> 31 <quantifiedVariables name="src">
@@ -534,7 +536,7 @@
534 </quantifiedVariables> 536 </quantifiedVariables>
535 <expression xsi:type="language_1:Exists"> 537 <expression xsi:type="language_1:Exists">
536 <quantifiedVariables name="trg 1"> 538 <quantifiedVariables name="trg 1">
537 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 539 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
538 </quantifiedVariables> 540 </quantifiedVariables>
539 <expression xsi:type="language_1:And"> 541 <expression xsi:type="language_1:And">
540 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> 542 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
@@ -551,13 +553,13 @@
551 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 553 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
552 </quantifiedVariables> 554 </quantifiedVariables>
553 <quantifiedVariables name="trg 1"> 555 <quantifiedVariables name="trg 1">
554 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 556 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
555 </quantifiedVariables> 557 </quantifiedVariables>
556 <quantifiedVariables name="trg 2"> 558 <quantifiedVariables name="trg 2">
557 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 559 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
558 </quantifiedVariables> 560 </quantifiedVariables>
559 <quantifiedVariables name="trg 3"> 561 <quantifiedVariables name="trg 3">
560 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 562 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
561 </quantifiedVariables> 563 </quantifiedVariables>
562 <expression xsi:type="language_1:Impl"> 564 <expression xsi:type="language_1:Impl">
563 <leftOperand xsi:type="language_1:And"> 565 <leftOperand xsi:type="language_1:And">
@@ -590,10 +592,10 @@
590 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 592 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
591 </quantifiedVariables> 593 </quantifiedVariables>
592 <quantifiedVariables name="trg 1"> 594 <quantifiedVariables name="trg 1">
593 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 595 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
594 </quantifiedVariables> 596 </quantifiedVariables>
595 <quantifiedVariables name="trg 2"> 597 <quantifiedVariables name="trg 2">
596 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 598 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
597 </quantifiedVariables> 599 </quantifiedVariables>
598 <expression xsi:type="language_1:Impl"> 600 <expression xsi:type="language_1:Impl">
599 <leftOperand xsi:type="language_1:And"> 601 <leftOperand xsi:type="language_1:And">
@@ -621,10 +623,10 @@
621 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 623 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
622 </quantifiedVariables> 624 </quantifiedVariables>
623 <quantifiedVariables name="trg 1"> 625 <quantifiedVariables name="trg 1">
624 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/> 626 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
625 </quantifiedVariables> 627 </quantifiedVariables>
626 <quantifiedVariables name="trg 2"> 628 <quantifiedVariables name="trg 2">
627 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/> 629 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
628 </quantifiedVariables> 630 </quantifiedVariables>
629 <expression xsi:type="language_1:Impl"> 631 <expression xsi:type="language_1:Impl">
630 <leftOperand xsi:type="language_1:And"> 632 <leftOperand xsi:type="language_1:And">
@@ -649,11 +651,11 @@
649 <assertions name="lowerMultiplicity source DirectedCommunicationLink" annotations="//@annotations.8"> 651 <assertions name="lowerMultiplicity source DirectedCommunicationLink" annotations="//@annotations.8">
650 <value xsi:type="language_1:Forall"> 652 <value xsi:type="language_1:Forall">
651 <quantifiedVariables name="src"> 653 <quantifiedVariables name="src">
652 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 654 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
653 </quantifiedVariables> 655 </quantifiedVariables>
654 <expression xsi:type="language_1:Exists"> 656 <expression xsi:type="language_1:Exists">
655 <quantifiedVariables name="trg 1"> 657 <quantifiedVariables name="trg 1">
656 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 658 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
657 </quantifiedVariables> 659 </quantifiedVariables>
658 <expression xsi:type="language_1:And"> 660 <expression xsi:type="language_1:And">
659 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> 661 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
@@ -667,13 +669,13 @@
667 <assertions name="upperMultiplicity source DirectedCommunicationLink" annotations="//@annotations.9"> 669 <assertions name="upperMultiplicity source DirectedCommunicationLink" annotations="//@annotations.9">
668 <value xsi:type="language_1:Forall"> 670 <value xsi:type="language_1:Forall">
669 <quantifiedVariables name="src"> 671 <quantifiedVariables name="src">
670 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 672 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
671 </quantifiedVariables> 673 </quantifiedVariables>
672 <quantifiedVariables name="trg 1"> 674 <quantifiedVariables name="trg 1">
673 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 675 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
674 </quantifiedVariables> 676 </quantifiedVariables>
675 <quantifiedVariables name="trg 2"> 677 <quantifiedVariables name="trg 2">
676 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 678 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
677 </quantifiedVariables> 679 </quantifiedVariables>
678 <expression xsi:type="language_1:Impl"> 680 <expression xsi:type="language_1:Impl">
679 <leftOperand xsi:type="language_1:And"> 681 <leftOperand xsi:type="language_1:And">
@@ -698,11 +700,11 @@
698 <assertions name="lowerMultiplicity target DirectedCommunicationLink" annotations="//@annotations.10"> 700 <assertions name="lowerMultiplicity target DirectedCommunicationLink" annotations="//@annotations.10">
699 <value xsi:type="language_1:Forall"> 701 <value xsi:type="language_1:Forall">
700 <quantifiedVariables name="src"> 702 <quantifiedVariables name="src">
701 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 703 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
702 </quantifiedVariables> 704 </quantifiedVariables>
703 <expression xsi:type="language_1:Exists"> 705 <expression xsi:type="language_1:Exists">
704 <quantifiedVariables name="trg 1"> 706 <quantifiedVariables name="trg 1">
705 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 707 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
706 </quantifiedVariables> 708 </quantifiedVariables>
707 <expression xsi:type="language_1:And"> 709 <expression xsi:type="language_1:And">
708 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6"> 710 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
@@ -716,13 +718,13 @@
716 <assertions name="upperMultiplicity target DirectedCommunicationLink" annotations="//@annotations.11"> 718 <assertions name="upperMultiplicity target DirectedCommunicationLink" annotations="//@annotations.11">
717 <value xsi:type="language_1:Forall"> 719 <value xsi:type="language_1:Forall">
718 <quantifiedVariables name="src"> 720 <quantifiedVariables name="src">
719 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 721 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
720 </quantifiedVariables> 722 </quantifiedVariables>
721 <quantifiedVariables name="trg 1"> 723 <quantifiedVariables name="trg 1">
722 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 724 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
723 </quantifiedVariables> 725 </quantifiedVariables>
724 <quantifiedVariables name="trg 2"> 726 <quantifiedVariables name="trg 2">
725 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 727 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
726 </quantifiedVariables> 728 </quantifiedVariables>
727 <expression xsi:type="language_1:Impl"> 729 <expression xsi:type="language_1:Impl">
728 <leftOperand xsi:type="language_1:And"> 730 <leftOperand xsi:type="language_1:And">
@@ -744,14 +746,14 @@
744 </expression> 746 </expression>
745 </value> 747 </value>
746 </assertions> 748 </assertions>
747 <assertions name="lowerMultiplicity band CommSubsystem" annotations="//@annotations.12"> 749 <assertions name="lowerMultiplicity kind Spacecraft" annotations="//@annotations.12">
748 <value xsi:type="language_1:Forall"> 750 <value xsi:type="language_1:Forall">
749 <quantifiedVariables name="src"> 751 <quantifiedVariables name="src">
750 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 752 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
751 </quantifiedVariables> 753 </quantifiedVariables>
752 <expression xsi:type="language_1:Exists"> 754 <expression xsi:type="language_1:Exists">
753 <quantifiedVariables name="trg 1"> 755 <quantifiedVariables name="trg 1">
754 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/> 756 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
755 </quantifiedVariables> 757 </quantifiedVariables>
756 <expression xsi:type="language_1:And"> 758 <expression xsi:type="language_1:And">
757 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> 759 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
@@ -762,16 +764,16 @@
762 </expression> 764 </expression>
763 </value> 765 </value>
764 </assertions> 766 </assertions>
765 <assertions name="upperMultiplicity band CommSubsystem" annotations="//@annotations.13"> 767 <assertions name="upperMultiplicity kind Spacecraft" annotations="//@annotations.13">
766 <value xsi:type="language_1:Forall"> 768 <value xsi:type="language_1:Forall">
767 <quantifiedVariables name="src"> 769 <quantifiedVariables name="src">
768 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 770 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
769 </quantifiedVariables> 771 </quantifiedVariables>
770 <quantifiedVariables name="trg 1"> 772 <quantifiedVariables name="trg 1">
771 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/> 773 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
772 </quantifiedVariables> 774 </quantifiedVariables>
773 <quantifiedVariables name="trg 2"> 775 <quantifiedVariables name="trg 2">
774 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/> 776 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
775 </quantifiedVariables> 777 </quantifiedVariables>
776 <expression xsi:type="language_1:Impl"> 778 <expression xsi:type="language_1:Impl">
777 <leftOperand xsi:type="language_1:And"> 779 <leftOperand xsi:type="language_1:And">
@@ -793,10 +795,10 @@
793 </expression> 795 </expression>
794 </value> 796 </value>
795 </assertions> 797 </assertions>
796 <assertions name="lowerMultiplicity gain CommSubsystem" annotations="//@annotations.14"> 798 <assertions name="lowerMultiplicity band CommSubsystem" annotations="//@annotations.14">
797 <value xsi:type="language_1:Forall"> 799 <value xsi:type="language_1:Forall">
798 <quantifiedVariables name="src"> 800 <quantifiedVariables name="src">
799 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 801 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
800 </quantifiedVariables> 802 </quantifiedVariables>
801 <expression xsi:type="language_1:Exists"> 803 <expression xsi:type="language_1:Exists">
802 <quantifiedVariables name="trg 1"> 804 <quantifiedVariables name="trg 1">
@@ -811,10 +813,10 @@
811 </expression> 813 </expression>
812 </value> 814 </value>
813 </assertions> 815 </assertions>
814 <assertions name="upperMultiplicity gain CommSubsystem" annotations="//@annotations.15"> 816 <assertions name="upperMultiplicity band CommSubsystem" annotations="//@annotations.15">
815 <value xsi:type="language_1:Forall"> 817 <value xsi:type="language_1:Forall">
816 <quantifiedVariables name="src"> 818 <quantifiedVariables name="src">
817 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 819 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
818 </quantifiedVariables> 820 </quantifiedVariables>
819 <quantifiedVariables name="trg 1"> 821 <quantifiedVariables name="trg 1">
820 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> 822 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
@@ -842,164 +844,237 @@
842 </expression> 844 </expression>
843 </value> 845 </value>
844 </assertions> 846 </assertions>
845 <assertions name="PartialInterpretation groundStationNetwork reference ConstellationMission" annotations="//@annotations.16"> 847 <assertions name="lowerMultiplicity gain CommSubsystem" annotations="//@annotations.16">
848 <value xsi:type="language_1:Forall">
849 <quantifiedVariables name="src">
850 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
851 </quantifiedVariables>
852 <expression xsi:type="language_1:Exists">
853 <quantifiedVariables name="trg 1">
854 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
855 </quantifiedVariables>
856 <expression xsi:type="language_1:And">
857 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
858 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@quantifiedVariables.0"/>
859 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@expression/@quantifiedVariables.0"/>
860 </operands>
861 </expression>
862 </expression>
863 </value>
864 </assertions>
865 <assertions name="upperMultiplicity gain CommSubsystem" annotations="//@annotations.17">
866 <value xsi:type="language_1:Forall">
867 <quantifiedVariables name="src">
868 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
869 </quantifiedVariables>
870 <quantifiedVariables name="trg 1">
871 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
872 </quantifiedVariables>
873 <quantifiedVariables name="trg 2">
874 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
875 </quantifiedVariables>
876 <expression xsi:type="language_1:Impl">
877 <leftOperand xsi:type="language_1:And">
878 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
879 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.0"/>
880 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.1"/>
881 </operands>
882 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
883 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.0"/>
884 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.2"/>
885 </operands>
886 </leftOperand>
887 <rightOperand xsi:type="language_1:Not">
888 <operand xsi:type="language_1:Distinct">
889 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.1"/>
890 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.2"/>
891 </operand>
892 </rightOperand>
893 </expression>
894 </value>
895 </assertions>
896 <assertions name="PartialInterpretation groundStationNetwork reference ConstellationMission" annotations="//@annotations.18">
846 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> 897 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
847 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.6"/> 898 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.9"/>
848 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.7"/> 899 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.10"/>
849 </value> 900 </value>
850 </assertions> 901 </assertions>
851 <assertions name="PartialInterpretation commSubsystem reference CommunicatingElement" annotations="//@annotations.17"> 902 <assertions name="PartialInterpretation commSubsystem reference CommunicatingElement" annotations="//@annotations.19">
852 <value xsi:type="language_1:And"> 903 <value xsi:type="language_1:And">
853 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> 904 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
854 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.7"/> 905 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.10"/>
855 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.8"/> 906 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.11"/>
856 </operands> 907 </operands>
857 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> 908 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
858 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.7"/> 909 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.10"/>
859 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.9"/> 910 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.12"/>
860 </operands> 911 </operands>
861 </value> 912 </value>
862 </assertions> 913 </assertions>
863 <assertions name="PartialInterpretation band attribute CommSubsystem" annotations="//@annotations.18"> 914 <assertions name="PartialInterpretation band attribute CommSubsystem" annotations="//@annotations.20">
864 <value xsi:type="language_1:And"> 915 <value xsi:type="language_1:And">
865 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> 916 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
866 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.8"/> 917 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.11"/>
867 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.1"/> 918 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.1"/>
868 </operands> 919 </operands>
869 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> 920 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
870 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.9"/> 921 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.12"/>
871 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.2"/> 922 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.2"/>
872 </operands> 923 </operands>
873 </value> 924 </value>
874 </assertions> 925 </assertions>
875 <assertions name="PartialInterpretation gain attribute CommSubsystem" annotations="//@annotations.19"> 926 <assertions name="PartialInterpretation gain attribute CommSubsystem" annotations="//@annotations.21">
876 <value xsi:type="language_1:And"> 927 <value xsi:type="language_1:And">
877 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8"> 928 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
878 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.8"/> 929 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.11"/>
879 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.4"/> 930 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.4"/>
880 </operands> 931 </operands>
881 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8"> 932 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
882 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.9"/> 933 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.12"/>
883 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.5"/> 934 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.5"/>
884 </operands> 935 </operands>
885 </value> 936 </value>
886 </assertions> 937 </assertions>
887 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries communicationLinkDoesNotStartAtContainingElement" annotations="//@annotations.42"> 938 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries communicationLinkDoesNotStartAtContainingElement" annotations="//@annotations.50">
888 <value xsi:type="language_1:Forall"> 939 <value xsi:type="language_1:Forall">
889 <quantifiedVariables name="p0"> 940 <quantifiedVariables name="p0">
890 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 941 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
891 </quantifiedVariables> 942 </quantifiedVariables>
892 <expression xsi:type="language_1:Not"> 943 <expression xsi:type="language_1:Not">
893 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9"> 944 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10">
894 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.20/@value/@quantifiedVariables.0"/> 945 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.22/@value/@quantifiedVariables.0"/>
895 </operand> 946 </operand>
896 </expression> 947 </expression>
897 </value> 948 </value>
898 </assertions> 949 </assertions>
899 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries noLinkToGroundStation" annotations="//@annotations.43"> 950 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries notEnoughInterferometryPayloads" annotations="//@annotations.51">
900 <value xsi:type="language_1:Forall"> 951 <value xsi:type="language_1:Forall">
901 <quantifiedVariables name="p0"> 952 <quantifiedVariables name="p0">
902 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 953 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
903 </quantifiedVariables> 954 </quantifiedVariables>
904 <expression xsi:type="language_1:Not"> 955 <expression xsi:type="language_1:Not">
905 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13"> 956 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11">
906 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.21/@value/@quantifiedVariables.0"/> 957 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.23/@value/@quantifiedVariables.0"/>
907 </operand> 958 </operand>
908 </expression> 959 </expression>
909 </value> 960 </value>
910 </assertions> 961 </assertions>
911 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries communicationLoop" annotations="//@annotations.44"> 962 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries noLinkToGroundStation" annotations="//@annotations.52">
912 <value xsi:type="language_1:Forall"> 963 <value xsi:type="language_1:Forall">
913 <quantifiedVariables name="p0"> 964 <quantifiedVariables name="p0">
914 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 965 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
915 </quantifiedVariables> 966 </quantifiedVariables>
916 <expression xsi:type="language_1:Not"> 967 <expression xsi:type="language_1:Not">
917 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14"> 968 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14">
918 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.22/@value/@quantifiedVariables.0"/> 969 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.24/@value/@quantifiedVariables.0"/>
919 </operand> 970 </operand>
920 </expression> 971 </expression>
921 </value> 972 </value>
922 </assertions> 973 </assertions>
923 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetBand" annotations="//@annotations.45"> 974 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries noPotentialLinkToGroundStation" annotations="//@annotations.53">
924 <value xsi:type="language_1:Forall"> 975 <value xsi:type="language_1:Forall">
925 <quantifiedVariables name="p0"> 976 <quantifiedVariables name="p0">
926 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 977 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
927 </quantifiedVariables> 978 </quantifiedVariables>
928 <expression xsi:type="language_1:Not"> 979 <expression xsi:type="language_1:Not">
929 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17"> 980 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15">
930 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.23/@value/@quantifiedVariables.0"/> 981 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.25/@value/@quantifiedVariables.0"/>
931 </operand> 982 </operand>
932 </expression> 983 </expression>
933 </value> 984 </value>
934 </assertions> 985 </assertions>
935 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetGain" annotations="//@annotations.46"> 986 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries communicationLoop" annotations="//@annotations.54">
936 <value xsi:type="language_1:Forall"> 987 <value xsi:type="language_1:Forall">
937 <quantifiedVariables name="p0"> 988 <quantifiedVariables name="p0">
938 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 989 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
939 </quantifiedVariables> 990 </quantifiedVariables>
940 <expression xsi:type="language_1:Not"> 991 <expression xsi:type="language_1:Not">
941 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19"> 992 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20">
942 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.24/@value/@quantifiedVariables.0"/> 993 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.26/@value/@quantifiedVariables.0"/>
943 </operand> 994 </operand>
944 </expression> 995 </expression>
945 </value> 996 </value>
946 </assertions> 997 </assertions>
947 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries uhfAntennaGainNotLow" annotations="//@annotations.47"> 998 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetBand" annotations="//@annotations.55">
948 <value xsi:type="language_1:Forall"> 999 <value xsi:type="language_1:Forall">
949 <quantifiedVariables name="p0"> 1000 <quantifiedVariables name="p0">
950 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1001 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
951 </quantifiedVariables> 1002 </quantifiedVariables>
952 <expression xsi:type="language_1:Not"> 1003 <expression xsi:type="language_1:Not">
953 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21"> 1004 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23">
954 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.25/@value/@quantifiedVariables.0"/> 1005 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.27/@value/@quantifiedVariables.0"/>
955 </operand> 1006 </operand>
956 </expression> 1007 </expression>
957 </value> 1008 </value>
958 </assertions> 1009 </assertions>
959 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries xAntennaGainNotMedium" annotations="//@annotations.48"> 1010 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetGain" annotations="//@annotations.56">
960 <value xsi:type="language_1:Forall"> 1011 <value xsi:type="language_1:Forall">
961 <quantifiedVariables name="p0"> 1012 <quantifiedVariables name="p0">
962 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1013 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
963 </quantifiedVariables> 1014 </quantifiedVariables>
964 <expression xsi:type="language_1:Not"> 1015 <expression xsi:type="language_1:Not">
965 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23"> 1016 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25">
966 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.26/@value/@quantifiedVariables.0"/> 1017 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.28/@value/@quantifiedVariables.0"/>
967 </operand> 1018 </operand>
968 </expression> 1019 </expression>
969 </value> 1020 </value>
970 </assertions> 1021 </assertions>
971 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries kaAntennaGainLow" annotations="//@annotations.49"> 1022 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries uhfAntennaGainNotLow" annotations="//@annotations.57">
972 <value xsi:type="language_1:Forall"> 1023 <value xsi:type="language_1:Forall">
973 <quantifiedVariables name="p0"> 1024 <quantifiedVariables name="p0">
974 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1025 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
975 </quantifiedVariables> 1026 </quantifiedVariables>
976 <expression xsi:type="language_1:Not"> 1027 <expression xsi:type="language_1:Not">
977 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25"> 1028 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27">
978 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.27/@value/@quantifiedVariables.0"/> 1029 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.29/@value/@quantifiedVariables.0"/>
979 </operand> 1030 </operand>
980 </expression> 1031 </expression>
981 </value> 1032 </value>
982 </assertions> 1033 </assertions>
983 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries threeUCubeSatWithNonUhfCrossLink" annotations="//@annotations.50"> 1034 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries xAntennaGainNotMedium" annotations="//@annotations.58">
984 <value xsi:type="language_1:Forall"> 1035 <value xsi:type="language_1:Forall">
985 <quantifiedVariables name="p0"> 1036 <quantifiedVariables name="p0">
986 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> 1037 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
987 </quantifiedVariables> 1038 </quantifiedVariables>
988 <expression xsi:type="language_1:Not"> 1039 <expression xsi:type="language_1:Not">
989 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26"> 1040 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29">
990 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.28/@value/@quantifiedVariables.0"/> 1041 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.30/@value/@quantifiedVariables.0"/>
1042 </operand>
1043 </expression>
1044 </value>
1045 </assertions>
1046 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries kaAntennaGainLow" annotations="//@annotations.59">
1047 <value xsi:type="language_1:Forall">
1048 <quantifiedVariables name="p0">
1049 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1050 </quantifiedVariables>
1051 <expression xsi:type="language_1:Not">
1052 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.31">
1053 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.31/@value/@quantifiedVariables.0"/>
991 </operand> 1054 </operand>
992 </expression> 1055 </expression>
993 </value> 1056 </value>
994 </assertions> 1057 </assertions>
995 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries cubeSatWithKaAntenna" annotations="//@annotations.51"> 1058 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries threeUCubeSatWithNonUhfCrossLink" annotations="//@annotations.60">
1059 <value xsi:type="language_1:Forall">
1060 <quantifiedVariables name="p0">
1061 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1062 </quantifiedVariables>
1063 <expression xsi:type="language_1:Not">
1064 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32">
1065 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.32/@value/@quantifiedVariables.0"/>
1066 </operand>
1067 </expression>
1068 </value>
1069 </assertions>
1070 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries cubeSatWithKaAntenna" annotations="//@annotations.61">
996 <value xsi:type="language_1:Forall"> 1071 <value xsi:type="language_1:Forall">
997 <quantifiedVariables name="p0"> 1072 <quantifiedVariables name="p0">
998 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 1073 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
999 </quantifiedVariables> 1074 </quantifiedVariables>
1000 <expression xsi:type="language_1:Not"> 1075 <expression xsi:type="language_1:Not">
1001 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29"> 1076 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.35">
1002 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.29/@value/@quantifiedVariables.0"/> 1077 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.33/@value/@quantifiedVariables.0"/>
1003 </operand> 1078 </operand>
1004 </expression> 1079 </expression>
1005 </value> 1080 </value>
@@ -1014,36 +1089,40 @@
1014 </relations> 1089 </relations>
1015 <relations xsi:type="language_1:RelationDeclaration" name="commSubsystem reference CommunicatingElement"> 1090 <relations xsi:type="language_1:RelationDeclaration" name="commSubsystem reference CommunicatingElement">
1016 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 1091 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1017 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1092 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1018 </relations> 1093 </relations>
1019 <relations xsi:type="language_1:RelationDeclaration" name="communicationLink reference CommunicatingElement"> 1094 <relations xsi:type="language_1:RelationDeclaration" name="communicationLink reference CommunicatingElement">
1020 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 1095 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1021 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 1096 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
1022 </relations> 1097 </relations>
1023 <relations xsi:type="language_1:RelationDeclaration" name="payload reference Spacecraft"> 1098 <relations xsi:type="language_1:RelationDeclaration" name="payload reference Spacecraft">
1024 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 1099 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1025 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/> 1100 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
1026 </relations> 1101 </relations>
1027 <relations xsi:type="language_1:RelationDeclaration" name="source reference DirectedCommunicationLink"> 1102 <relations xsi:type="language_1:RelationDeclaration" name="source reference DirectedCommunicationLink">
1028 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 1103 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
1029 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1104 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1030 </relations> 1105 </relations>
1031 <relations xsi:type="language_1:RelationDeclaration" name="target reference DirectedCommunicationLink"> 1106 <relations xsi:type="language_1:RelationDeclaration" name="target reference DirectedCommunicationLink">
1032 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 1107 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
1033 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1108 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1109 </relations>
1110 <relations xsi:type="language_1:RelationDeclaration" name="kind attribute Spacecraft" annotations="//@annotations.62">
1111 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1112 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
1034 </relations> 1113 </relations>
1035 <relations xsi:type="language_1:RelationDeclaration" name="band attribute CommSubsystem"> 1114 <relations xsi:type="language_1:RelationDeclaration" name="band attribute CommSubsystem">
1036 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1115 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1037 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/> 1116 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1038 </relations> 1117 </relations>
1039 <relations xsi:type="language_1:RelationDeclaration" name="gain attribute CommSubsystem"> 1118 <relations xsi:type="language_1:RelationDeclaration" name="gain attribute CommSubsystem">
1040 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1119 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1041 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> 1120 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1042 </relations> 1121 </relations>
1043 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries communicationLinkDoesNotStartAtContainingElement" annotations="//@annotations.20"> 1122 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries communicationLinkDoesNotStartAtContainingElement" annotations="//@annotations.22">
1044 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 1123 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
1045 <variables name="parameter Link"> 1124 <variables name="parameter Link">
1046 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 1125 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
1047 </variables> 1126 </variables>
1048 <value xsi:type="language_1:Or"> 1127 <value xsi:type="language_1:Or">
1049 <operands xsi:type="language_1:Exists"> 1128 <operands xsi:type="language_1:Exists">
@@ -1051,37 +1130,37 @@
1051 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 1130 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1052 </quantifiedVariables> 1131 </quantifiedVariables>
1053 <quantifiedVariables name="variable SourceComm"> 1132 <quantifiedVariables name="variable SourceComm">
1054 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1133 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1055 </quantifiedVariables> 1134 </quantifiedVariables>
1056 <quantifiedVariables name="variable SourceElement"> 1135 <quantifiedVariables name="variable SourceElement">
1057 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 1136 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1058 </quantifiedVariables> 1137 </quantifiedVariables>
1059 <expression xsi:type="language_1:And"> 1138 <expression xsi:type="language_1:And">
1060 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> 1139 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3">
1061 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@value/@operands.0/@quantifiedVariables.0"/> 1140 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@value/@operands.0/@quantifiedVariables.0"/>
1062 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@variables.0"/> 1141 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@variables.0"/>
1063 </operands> 1142 </operands>
1064 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> 1143 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
1065 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@variables.0"/> 1144 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@variables.0"/>
1066 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@value/@operands.0/@quantifiedVariables.1"/> 1145 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@value/@operands.0/@quantifiedVariables.1"/>
1067 </operands> 1146 </operands>
1068 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> 1147 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
1069 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@value/@operands.0/@quantifiedVariables.2"/> 1148 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@value/@operands.0/@quantifiedVariables.2"/>
1070 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@value/@operands.0/@quantifiedVariables.1"/> 1149 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@value/@operands.0/@quantifiedVariables.1"/>
1071 </operands> 1150 </operands>
1072 <operands xsi:type="language_1:InstanceOf"> 1151 <operands xsi:type="language_1:InstanceOf">
1073 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@value/@operands.0/@quantifiedVariables.1"/> 1152 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@value/@operands.0/@quantifiedVariables.1"/>
1074 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1153 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1075 </operands> 1154 </operands>
1076 <operands xsi:type="language_1:Distinct"> 1155 <operands xsi:type="language_1:Distinct">
1077 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@value/@operands.0/@quantifiedVariables.0"/> 1156 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@value/@operands.0/@quantifiedVariables.0"/>
1078 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@value/@operands.0/@quantifiedVariables.2"/> 1157 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@value/@operands.0/@quantifiedVariables.2"/>
1079 </operands> 1158 </operands>
1080 </expression> 1159 </expression>
1081 </operands> 1160 </operands>
1082 </value> 1161 </value>
1083 </relations> 1162 </relations>
1084 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries notEnoughInterferometryPayloads" annotations="//@annotations.21"> 1163 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries notEnoughInterferometryPayloads" annotations="//@annotations.23">
1085 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 1164 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
1086 <variables name="parameter Mission"> 1165 <variables name="parameter Mission">
1087 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 1166 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
@@ -1089,18 +1168,18 @@
1089 <value xsi:type="language_1:Or"> 1168 <value xsi:type="language_1:Or">
1090 <operands xsi:type="language_1:And"> 1169 <operands xsi:type="language_1:And">
1091 <operands xsi:type="language_1:InstanceOf"> 1170 <operands xsi:type="language_1:InstanceOf">
1092 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@variables.0"/> 1171 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.0"/>
1093 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 1172 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
1094 </operands> 1173 </operands>
1095 <operands xsi:type="language_1:Not"> 1174 <operands xsi:type="language_1:Not">
1096 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11"> 1175 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12">
1097 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@variables.0"/> 1176 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.0"/>
1098 </operand> 1177 </operand>
1099 </operands> 1178 </operands>
1100 </operands> 1179 </operands>
1101 </value> 1180 </value>
1102 </relations> 1181 </relations>
1103 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries atLeastTwoInterferometryPayloads" annotations="//@annotations.22"> 1182 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries atLeastTwoInterferometryPayloads" annotations="//@annotations.24">
1104 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 1183 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
1105 <variables name="parameter Mission"> 1184 <variables name="parameter Mission">
1106 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 1185 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
@@ -1115,26 +1194,26 @@
1115 </quantifiedVariables> 1194 </quantifiedVariables>
1116 <expression xsi:type="language_1:And"> 1195 <expression xsi:type="language_1:And">
1117 <operands xsi:type="language_1:InstanceOf"> 1196 <operands xsi:type="language_1:InstanceOf">
1118 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.0"/> 1197 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.0"/>
1119 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 1198 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
1120 </operands> 1199 </operands>
1121 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12"> 1200 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13">
1122 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.0"/> 1201 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.0"/>
1123 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.0"/> 1202 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.0"/>
1124 </operands> 1203 </operands>
1125 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12"> 1204 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13">
1126 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.0"/> 1205 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.0"/>
1127 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.1"/> 1206 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.1"/>
1128 </operands> 1207 </operands>
1129 <operands xsi:type="language_1:Distinct"> 1208 <operands xsi:type="language_1:Distinct">
1130 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.0"/> 1209 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.0"/>
1131 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.1"/> 1210 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.1"/>
1132 </operands> 1211 </operands>
1133 </expression> 1212 </expression>
1134 </operands> 1213 </operands>
1135 </value> 1214 </value>
1136 </relations> 1215 </relations>
1137 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries spacecraftWithInterferometryPayload" annotations="//@annotations.23"> 1216 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries spacecraftWithInterferometryPayload" annotations="//@annotations.25">
1138 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> 1217 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
1139 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 1218 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1140 <variables name="parameter Mission"> 1219 <variables name="parameter Mission">
@@ -1146,26 +1225,26 @@
1146 <value xsi:type="language_1:Or"> 1225 <value xsi:type="language_1:Or">
1147 <operands xsi:type="language_1:Exists"> 1226 <operands xsi:type="language_1:Exists">
1148 <quantifiedVariables name="variable Payload"> 1227 <quantifiedVariables name="variable Payload">
1149 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/> 1228 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1150 </quantifiedVariables> 1229 </quantifiedVariables>
1151 <expression xsi:type="language_1:And"> 1230 <expression xsi:type="language_1:And">
1152 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1"> 1231 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
1153 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.0"/> 1232 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.0"/>
1154 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.1"/> 1233 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.1"/>
1155 </operands> 1234 </operands>
1156 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> 1235 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4">
1157 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.1"/> 1236 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.1"/>
1158 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.0"/> 1237 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@value/@operands.0/@quantifiedVariables.0"/>
1159 </operands> 1238 </operands>
1160 <operands xsi:type="language_1:InstanceOf"> 1239 <operands xsi:type="language_1:InstanceOf">
1161 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.0"/> 1240 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@value/@operands.0/@quantifiedVariables.0"/>
1162 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/> 1241 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1163 </operands> 1242 </operands>
1164 </expression> 1243 </expression>
1165 </operands> 1244 </operands>
1166 </value> 1245 </value>
1167 </relations> 1246 </relations>
1168 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries noLinkToGroundStation" annotations="//@annotations.24"> 1247 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries noLinkToGroundStation" annotations="//@annotations.26">
1169 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 1248 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1170 <variables name="parameter Spacecraft"> 1249 <variables name="parameter Spacecraft">
1171 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 1250 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
@@ -1180,46 +1259,255 @@
1180 </quantifiedVariables> 1259 </quantifiedVariables>
1181 <expression xsi:type="language_1:And"> 1260 <expression xsi:type="language_1:And">
1182 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> 1261 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
1183 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@value/@operands.0/@quantifiedVariables.0"/> 1262 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@value/@operands.0/@quantifiedVariables.0"/>
1184 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@value/@operands.0/@quantifiedVariables.1"/> 1263 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@value/@operands.0/@quantifiedVariables.1"/>
1185 </operands> 1264 </operands>
1186 <operands xsi:type="language_1:InstanceOf"> 1265 <operands xsi:type="language_1:InstanceOf">
1187 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@value/@operands.0/@quantifiedVariables.1"/> 1266 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@value/@operands.0/@quantifiedVariables.1"/>
1188 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> 1267 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
1189 </operands> 1268 </operands>
1190 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1"> 1269 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
1191 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@value/@operands.0/@quantifiedVariables.0"/> 1270 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@value/@operands.0/@quantifiedVariables.0"/>
1192 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.0"/> 1271 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/>
1272 </operands>
1273 <operands xsi:type="language_1:InstanceOf">
1274 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/>
1275 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1276 </operands>
1277 <operands xsi:type="language_1:Not">
1278 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21">
1279 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/>
1280 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@value/@operands.0/@quantifiedVariables.1"/>
1281 </operand>
1282 </operands>
1283 </expression>
1284 </operands>
1285 </value>
1286 </relations>
1287 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries noPotentialLinkToGroundStation" annotations="//@annotations.27">
1288 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1289 <variables name="parameter Spacecraft">
1290 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1291 </variables>
1292 <value xsi:type="language_1:Or">
1293 <operands xsi:type="language_1:Exists">
1294 <quantifiedVariables name="variable Mission">
1295 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
1296 </quantifiedVariables>
1297 <quantifiedVariables name="variable GroundStation">
1298 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
1299 </quantifiedVariables>
1300 <expression xsi:type="language_1:And">
1301 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
1302 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.0"/>
1303 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.1"/>
1304 </operands>
1305 <operands xsi:type="language_1:InstanceOf">
1306 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.1"/>
1307 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
1308 </operands>
1309 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
1310 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.0"/>
1311 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.0"/>
1193 </operands> 1312 </operands>
1194 <operands xsi:type="language_1:InstanceOf"> 1313 <operands xsi:type="language_1:InstanceOf">
1195 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.0"/> 1314 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.0"/>
1196 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 1315 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1197 </operands> 1316 </operands>
1198 <operands xsi:type="language_1:Not"> 1317 <operands xsi:type="language_1:Not">
1199 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15"> 1318 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16">
1200 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.0"/> 1319 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.0"/>
1201 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@value/@operands.0/@quantifiedVariables.1"/> 1320 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.1"/>
1202 </operand> 1321 </operand>
1203 </operands> 1322 </operands>
1204 </expression> 1323 </expression>
1205 </operands> 1324 </operands>
1206 </value> 1325 </value>
1207 </relations> 1326 </relations>
1208 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries communicationLoop" annotations="//@annotations.25"> 1327 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries indirectLinkAllowed" annotations="//@annotations.28">
1328 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1329 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1330 <variables name="parameter From">
1331 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1332 </variables>
1333 <variables name="parameter To">
1334 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1335 </variables>
1336 <value xsi:type="language_1:Or">
1337 <operands xsi:type="language_1:And">
1338 <operands xsi:type="language_1:TransitiveClosure" relation="//@relations.17"/>
1339 </operands>
1340 </value>
1341 </relations>
1342 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries linkAllowed" annotations="//@annotations.29">
1343 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1344 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1345 <variables name="parameter From">
1346 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1347 </variables>
1348 <variables name="parameter To">
1349 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1350 </variables>
1351 <value xsi:type="language_1:Or">
1352 <operands xsi:type="language_1:Exists">
1353 <quantifiedVariables name="variable 0">
1354 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1355 </quantifiedVariables>
1356 <expression xsi:type="language_1:And">
1357 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18">
1358 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/>
1359 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.1"/>
1360 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.0"/>
1361 </operands>
1362 <operands xsi:type="language_1:Not">
1363 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19">
1364 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/>
1365 </operand>
1366 </operands>
1367 </expression>
1368 </operands>
1369 <operands xsi:type="language_1:Exists">
1370 <quantifiedVariables name="variable virtual0">
1371 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1372 </quantifiedVariables>
1373 <expression xsi:type="language_1:And">
1374 <operands xsi:type="language_1:Equals">
1375 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.1/@quantifiedVariables.0"/>
1376 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/>
1377 </operands>
1378 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18">
1379 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/>
1380 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.1"/>
1381 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.1/@quantifiedVariables.0"/>
1382 </operands>
1383 <operands xsi:type="language_1:InstanceOf">
1384 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/>
1385 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1386 </operands>
1387 </expression>
1388 </operands>
1389 <operands xsi:type="language_1:Exists">
1390 <quantifiedVariables name="variable 0">
1391 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1392 </quantifiedVariables>
1393 <expression xsi:type="language_1:And">
1394 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18">
1395 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/>
1396 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.1"/>
1397 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.2/@quantifiedVariables.0"/>
1398 </operands>
1399 <operands xsi:type="language_1:InstanceOf">
1400 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/>
1401 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1402 </operands>
1403 <operands xsi:type="language_1:InstanceOf">
1404 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.1"/>
1405 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
1406 </operands>
1407 </expression>
1408 </operands>
1409 </value>
1410 </relations>
1411 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries matchingAntenna" annotations="//@annotations.30">
1412 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1413 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1414 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1415 <variables name="parameter From">
1416 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1417 </variables>
1418 <variables name="parameter To">
1419 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1420 </variables>
1421 <variables name="parameter Band">
1422 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1423 </variables>
1424 <value xsi:type="language_1:Or">
1425 <operands xsi:type="language_1:Exists">
1426 <quantifiedVariables name="variable Gain">
1427 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1428 </quantifiedVariables>
1429 <quantifiedVariables name="variable virtual0">
1430 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1431 </quantifiedVariables>
1432 <quantifiedVariables name="variable virtual2">
1433 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1434 </quantifiedVariables>
1435 <quantifiedVariables name="variable virtual4">
1436 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1437 </quantifiedVariables>
1438 <quantifiedVariables name="variable virtual6">
1439 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1440 </quantifiedVariables>
1441 <expression xsi:type="language_1:And">
1442 <operands xsi:type="language_1:InstanceOf">
1443 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.0"/>
1444 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1445 </operands>
1446 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
1447 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.0"/>
1448 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@value/@operands.0/@quantifiedVariables.1"/>
1449 </operands>
1450 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
1451 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@value/@operands.0/@quantifiedVariables.1"/>
1452 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.2"/>
1453 </operands>
1454 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
1455 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.1"/>
1456 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@value/@operands.0/@quantifiedVariables.2"/>
1457 </operands>
1458 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
1459 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@value/@operands.0/@quantifiedVariables.2"/>
1460 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.2"/>
1461 </operands>
1462 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
1463 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.0"/>
1464 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@value/@operands.0/@quantifiedVariables.3"/>
1465 </operands>
1466 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
1467 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@value/@operands.0/@quantifiedVariables.3"/>
1468 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@value/@operands.0/@quantifiedVariables.0"/>
1469 </operands>
1470 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
1471 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.1"/>
1472 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@value/@operands.0/@quantifiedVariables.4"/>
1473 </operands>
1474 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
1475 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@value/@operands.0/@quantifiedVariables.4"/>
1476 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@value/@operands.0/@quantifiedVariables.0"/>
1477 </operands>
1478 </expression>
1479 </operands>
1480 </value>
1481 </relations>
1482 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries cubeSat3U" annotations="//@annotations.31">
1483 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1484 <variables name="parameter Sat">
1485 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1486 </variables>
1487 <value xsi:type="language_1:Or">
1488 <operands xsi:type="language_1:And">
1489 <operands xsi:type="language_1:InstanceOf">
1490 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/>
1491 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1492 </operands>
1493 </operands>
1494 </value>
1495 </relations>
1496 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries communicationLoop" annotations="//@annotations.32">
1209 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 1497 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1210 <variables name="parameter Element"> 1498 <variables name="parameter Element">
1211 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 1499 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1212 </variables> 1500 </variables>
1213 <value xsi:type="language_1:Or"> 1501 <value xsi:type="language_1:Or">
1214 <operands xsi:type="language_1:And"> 1502 <operands xsi:type="language_1:And">
1215 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15"> 1503 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21">
1216 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/> 1504 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.0"/>
1217 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/> 1505 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.0"/>
1218 </operands> 1506 </operands>
1219 </operands> 1507 </operands>
1220 </value> 1508 </value>
1221 </relations> 1509 </relations>
1222 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries indirectCommunicationLink" annotations="//@annotations.26"> 1510 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries indirectCommunicationLink" annotations="//@annotations.33">
1223 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 1511 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1224 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 1512 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1225 <variables name="parameter Source"> 1513 <variables name="parameter Source">
@@ -1230,11 +1518,11 @@
1230 </variables> 1518 </variables>
1231 <value xsi:type="language_1:Or"> 1519 <value xsi:type="language_1:Or">
1232 <operands xsi:type="language_1:And"> 1520 <operands xsi:type="language_1:And">
1233 <operands xsi:type="language_1:TransitiveClosure" relation="//@relations.16"/> 1521 <operands xsi:type="language_1:TransitiveClosure" relation="//@relations.22"/>
1234 </operands> 1522 </operands>
1235 </value> 1523 </value>
1236 </relations> 1524 </relations>
1237 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries directCommunicationLink" annotations="//@annotations.27"> 1525 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries directCommunicationLink" annotations="//@annotations.34">
1238 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 1526 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1239 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 1527 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1240 <variables name="parameter Source"> 1528 <variables name="parameter Source">
@@ -1246,387 +1534,387 @@
1246 <value xsi:type="language_1:Or"> 1534 <value xsi:type="language_1:Or">
1247 <operands xsi:type="language_1:Exists"> 1535 <operands xsi:type="language_1:Exists">
1248 <quantifiedVariables name="variable Link"> 1536 <quantifiedVariables name="variable Link">
1249 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 1537 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
1250 </quantifiedVariables> 1538 </quantifiedVariables>
1251 <quantifiedVariables name="variable SourceSubsystem"> 1539 <quantifiedVariables name="variable SourceSubsystem">
1252 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1540 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1253 </quantifiedVariables> 1541 </quantifiedVariables>
1254 <quantifiedVariables name="variable TargetSubsystem"> 1542 <quantifiedVariables name="variable TargetSubsystem">
1255 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1543 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1256 </quantifiedVariables> 1544 </quantifiedVariables>
1257 <expression xsi:type="language_1:And"> 1545 <expression xsi:type="language_1:And">
1258 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> 1546 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
1259 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.0"/> 1547 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/>
1260 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.1"/> 1548 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.1"/>
1261 </operands> 1549 </operands>
1262 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6"> 1550 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
1263 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.0"/> 1551 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/>
1264 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.2"/> 1552 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.2"/>
1265 </operands> 1553 </operands>
1266 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> 1554 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
1267 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.0"/> 1555 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.0"/>
1268 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.1"/> 1556 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.1"/>
1269 </operands> 1557 </operands>
1270 <operands xsi:type="language_1:InstanceOf"> 1558 <operands xsi:type="language_1:InstanceOf">
1271 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.1"/> 1559 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.1"/>
1272 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1560 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1273 </operands> 1561 </operands>
1274 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> 1562 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
1275 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.1"/> 1563 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.1"/>
1276 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.2"/> 1564 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.2"/>
1277 </operands> 1565 </operands>
1278 <operands xsi:type="language_1:InstanceOf"> 1566 <operands xsi:type="language_1:InstanceOf">
1279 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.2"/> 1567 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.2"/>
1280 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1568 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1281 </operands> 1569 </operands>
1282 </expression> 1570 </expression>
1283 </operands> 1571 </operands>
1284 </value> 1572 </value>
1285 </relations> 1573 </relations>
1286 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetBand" annotations="//@annotations.28"> 1574 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetBand" annotations="//@annotations.35">
1287 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 1575 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
1288 <variables name="parameter Link"> 1576 <variables name="parameter Link">
1289 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 1577 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
1290 </variables> 1578 </variables>
1291 <value xsi:type="language_1:Or"> 1579 <value xsi:type="language_1:Or">
1292 <operands xsi:type="language_1:Exists"> 1580 <operands xsi:type="language_1:Exists">
1293 <quantifiedVariables name="variable SourceSubsystem"> 1581 <quantifiedVariables name="variable SourceSubsystem">
1294 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1582 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1295 </quantifiedVariables> 1583 </quantifiedVariables>
1296 <quantifiedVariables name="variable TargetSubsystem"> 1584 <quantifiedVariables name="variable TargetSubsystem">
1297 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1585 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1298 </quantifiedVariables> 1586 </quantifiedVariables>
1299 <quantifiedVariables name="variable Band"> 1587 <quantifiedVariables name="variable Band">
1300 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/> 1588 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1301 </quantifiedVariables> 1589 </quantifiedVariables>
1302 <expression xsi:type="language_1:And"> 1590 <expression xsi:type="language_1:And">
1303 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> 1591 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
1304 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/> 1592 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@variables.0"/>
1305 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.0"/> 1593 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.0"/>
1306 </operands> 1594 </operands>
1307 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6"> 1595 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
1308 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/> 1596 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@variables.0"/>
1309 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.1"/> 1597 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.1"/>
1310 </operands> 1598 </operands>
1311 <operands xsi:type="language_1:InstanceOf"> 1599 <operands xsi:type="language_1:InstanceOf">
1312 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.1"/> 1600 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.1"/>
1313 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1601 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1314 </operands> 1602 </operands>
1315 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> 1603 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
1316 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.0"/> 1604 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.0"/>
1317 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.2"/> 1605 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.2"/>
1318 </operands> 1606 </operands>
1319 <operands xsi:type="language_1:Not"> 1607 <operands xsi:type="language_1:Not">
1320 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18"> 1608 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24">
1321 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.1"/> 1609 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.1"/>
1322 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.2"/> 1610 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.2"/>
1323 </operand> 1611 </operand>
1324 </operands> 1612 </operands>
1325 </expression> 1613 </expression>
1326 </operands> 1614 </operands>
1327 </value> 1615 </value>
1328 </relations> 1616 </relations>
1329 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemBand" annotations="//@annotations.29"> 1617 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemBand" annotations="//@annotations.36">
1330 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1618 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1331 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/> 1619 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1332 <variables name="parameter Comm"> 1620 <variables name="parameter Comm">
1333 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1621 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1334 </variables> 1622 </variables>
1335 <variables name="parameter Band"> 1623 <variables name="parameter Band">
1336 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/> 1624 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1337 </variables> 1625 </variables>
1338 <value xsi:type="language_1:Or"> 1626 <value xsi:type="language_1:Or">
1339 <operands xsi:type="language_1:And"> 1627 <operands xsi:type="language_1:And">
1340 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> 1628 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
1341 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.0"/> 1629 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@variables.0"/>
1342 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.1"/> 1630 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@variables.1"/>
1343 </operands> 1631 </operands>
1344 </operands> 1632 </operands>
1345 </value> 1633 </value>
1346 </relations> 1634 </relations>
1347 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetGain" annotations="//@annotations.30"> 1635 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetGain" annotations="//@annotations.37">
1348 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 1636 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
1349 <variables name="parameter Link"> 1637 <variables name="parameter Link">
1350 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 1638 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
1351 </variables> 1639 </variables>
1352 <value xsi:type="language_1:Or"> 1640 <value xsi:type="language_1:Or">
1353 <operands xsi:type="language_1:Exists"> 1641 <operands xsi:type="language_1:Exists">
1354 <quantifiedVariables name="variable SourceSubsystem"> 1642 <quantifiedVariables name="variable SourceSubsystem">
1355 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1643 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1356 </quantifiedVariables> 1644 </quantifiedVariables>
1357 <quantifiedVariables name="variable TargetSubsystem"> 1645 <quantifiedVariables name="variable TargetSubsystem">
1358 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1646 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1359 </quantifiedVariables> 1647 </quantifiedVariables>
1360 <quantifiedVariables name="variable Gain"> 1648 <quantifiedVariables name="variable Gain">
1361 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> 1649 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1362 </quantifiedVariables> 1650 </quantifiedVariables>
1363 <expression xsi:type="language_1:And"> 1651 <expression xsi:type="language_1:And">
1364 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> 1652 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
1365 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/> 1653 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@variables.0"/>
1366 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.0"/> 1654 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.0"/>
1367 </operands> 1655 </operands>
1368 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6"> 1656 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
1369 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/> 1657 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@variables.0"/>
1370 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.1"/> 1658 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.1"/>
1371 </operands> 1659 </operands>
1372 <operands xsi:type="language_1:InstanceOf"> 1660 <operands xsi:type="language_1:InstanceOf">
1373 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.1"/> 1661 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.1"/>
1374 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1662 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1375 </operands> 1663 </operands>
1376 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8"> 1664 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
1377 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.0"/> 1665 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.0"/>
1378 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.2"/> 1666 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.2"/>
1379 </operands> 1667 </operands>
1380 <operands xsi:type="language_1:Not"> 1668 <operands xsi:type="language_1:Not">
1381 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20"> 1669 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26">
1382 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.1"/> 1670 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.1"/>
1383 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.2"/> 1671 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.2"/>
1384 </operand> 1672 </operand>
1385 </operands> 1673 </operands>
1386 </expression> 1674 </expression>
1387 </operands> 1675 </operands>
1388 </value> 1676 </value>
1389 </relations> 1677 </relations>
1390 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemGain" annotations="//@annotations.31"> 1678 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemGain" annotations="//@annotations.38">
1391 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1679 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1392 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> 1680 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1393 <variables name="parameter Comm"> 1681 <variables name="parameter Comm">
1394 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1682 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1395 </variables> 1683 </variables>
1396 <variables name="parameter Gain"> 1684 <variables name="parameter Gain">
1397 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> 1685 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1398 </variables> 1686 </variables>
1399 <value xsi:type="language_1:Or"> 1687 <value xsi:type="language_1:Or">
1400 <operands xsi:type="language_1:And"> 1688 <operands xsi:type="language_1:And">
1401 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8"> 1689 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
1402 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.0"/> 1690 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.0"/>
1403 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.1"/> 1691 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.1"/>
1404 </operands> 1692 </operands>
1405 </operands> 1693 </operands>
1406 </value> 1694 </value>
1407 </relations> 1695 </relations>
1408 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries uhfAntennaGainNotLow" annotations="//@annotations.32"> 1696 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries uhfAntennaGainNotLow" annotations="//@annotations.39">
1409 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1697 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1410 <variables name="parameter Comm"> 1698 <variables name="parameter Comm">
1411 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1699 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1412 </variables> 1700 </variables>
1413 <value xsi:type="language_1:Or"> 1701 <value xsi:type="language_1:Or">
1414 <operands xsi:type="language_1:Exists"> 1702 <operands xsi:type="language_1:Exists">
1415 <quantifiedVariables name="variable virtual0"> 1703 <quantifiedVariables name="variable virtual0">
1416 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/> 1704 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1417 </quantifiedVariables> 1705 </quantifiedVariables>
1418 <expression xsi:type="language_1:And"> 1706 <expression xsi:type="language_1:And">
1419 <operands xsi:type="language_1:Equals"> 1707 <operands xsi:type="language_1:Equals">
1420 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.0"/> 1708 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@value/@operands.0/@quantifiedVariables.0"/>
1421 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/> 1709 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/>
1422 </operands> 1710 </operands>
1423 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> 1711 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
1424 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.0"/> 1712 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@variables.0"/>
1425 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.0"/> 1713 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@value/@operands.0/@quantifiedVariables.0"/>
1426 </operands> 1714 </operands>
1427 <operands xsi:type="language_1:Not"> 1715 <operands xsi:type="language_1:Not">
1428 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22"> 1716 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.28">
1429 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.0"/> 1717 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@variables.0"/>
1430 </operand> 1718 </operand>
1431 </operands> 1719 </operands>
1432 </expression> 1720 </expression>
1433 </operands> 1721 </operands>
1434 </value> 1722 </value>
1435 </relations> 1723 </relations>
1436 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemGainLow" annotations="//@annotations.33"> 1724 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemGainLow" annotations="//@annotations.40">
1437 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1725 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1438 <variables name="parameter Comm"> 1726 <variables name="parameter Comm">
1439 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1727 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1440 </variables> 1728 </variables>
1441 <value xsi:type="language_1:Or"> 1729 <value xsi:type="language_1:Or">
1442 <operands xsi:type="language_1:Exists"> 1730 <operands xsi:type="language_1:Exists">
1443 <quantifiedVariables name="variable virtual0"> 1731 <quantifiedVariables name="variable virtual0">
1444 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> 1732 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1445 </quantifiedVariables> 1733 </quantifiedVariables>
1446 <expression xsi:type="language_1:And"> 1734 <expression xsi:type="language_1:And">
1447 <operands xsi:type="language_1:Equals"> 1735 <operands xsi:type="language_1:Equals">
1448 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/> 1736 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.28/@value/@operands.0/@quantifiedVariables.0"/>
1449 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.3"/> 1737 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.3"/>
1450 </operands> 1738 </operands>
1451 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8"> 1739 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
1452 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.0"/> 1740 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.28/@variables.0"/>
1453 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/> 1741 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.28/@value/@operands.0/@quantifiedVariables.0"/>
1454 </operands> 1742 </operands>
1455 </expression> 1743 </expression>
1456 </operands> 1744 </operands>
1457 </value> 1745 </value>
1458 </relations> 1746 </relations>
1459 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries xAntennaGainNotMedium" annotations="//@annotations.34"> 1747 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries xAntennaGainNotMedium" annotations="//@annotations.41">
1460 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1748 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1461 <variables name="parameter Comm"> 1749 <variables name="parameter Comm">
1462 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1750 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1463 </variables> 1751 </variables>
1464 <value xsi:type="language_1:Or"> 1752 <value xsi:type="language_1:Or">
1465 <operands xsi:type="language_1:Exists"> 1753 <operands xsi:type="language_1:Exists">
1466 <quantifiedVariables name="variable virtual0"> 1754 <quantifiedVariables name="variable virtual0">
1467 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/> 1755 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1468 </quantifiedVariables> 1756 </quantifiedVariables>
1469 <expression xsi:type="language_1:And"> 1757 <expression xsi:type="language_1:And">
1470 <operands xsi:type="language_1:Equals"> 1758 <operands xsi:type="language_1:Equals">
1471 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.0"/> 1759 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@value/@operands.0/@quantifiedVariables.0"/>
1472 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.1"/> 1760 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.1"/>
1473 </operands> 1761 </operands>
1474 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> 1762 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
1475 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@variables.0"/> 1763 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@variables.0"/>
1476 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.0"/> 1764 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@value/@operands.0/@quantifiedVariables.0"/>
1477 </operands> 1765 </operands>
1478 <operands xsi:type="language_1:Not"> 1766 <operands xsi:type="language_1:Not">
1479 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24"> 1767 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.30">
1480 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@variables.0"/> 1768 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@variables.0"/>
1481 </operand> 1769 </operand>
1482 </operands> 1770 </operands>
1483 </expression> 1771 </expression>
1484 </operands> 1772 </operands>
1485 </value> 1773 </value>
1486 </relations> 1774 </relations>
1487 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemGainMedium" annotations="//@annotations.35"> 1775 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemGainMedium" annotations="//@annotations.42">
1488 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1776 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1489 <variables name="parameter Comm"> 1777 <variables name="parameter Comm">
1490 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1778 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1491 </variables> 1779 </variables>
1492 <value xsi:type="language_1:Or"> 1780 <value xsi:type="language_1:Or">
1493 <operands xsi:type="language_1:Exists"> 1781 <operands xsi:type="language_1:Exists">
1494 <quantifiedVariables name="variable virtual0"> 1782 <quantifiedVariables name="variable virtual0">
1495 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> 1783 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1496 </quantifiedVariables> 1784 </quantifiedVariables>
1497 <expression xsi:type="language_1:And"> 1785 <expression xsi:type="language_1:And">
1498 <operands xsi:type="language_1:Equals"> 1786 <operands xsi:type="language_1:Equals">
1499 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@value/@operands.0/@quantifiedVariables.0"/> 1787 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.30/@value/@operands.0/@quantifiedVariables.0"/>
1500 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.4"/> 1788 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.4"/>
1501 </operands> 1789 </operands>
1502 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8"> 1790 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
1503 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@variables.0"/> 1791 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.30/@variables.0"/>
1504 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@value/@operands.0/@quantifiedVariables.0"/> 1792 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.30/@value/@operands.0/@quantifiedVariables.0"/>
1505 </operands> 1793 </operands>
1506 </expression> 1794 </expression>
1507 </operands> 1795 </operands>
1508 </value> 1796 </value>
1509 </relations> 1797 </relations>
1510 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries kaAntennaGainLow" annotations="//@annotations.36"> 1798 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries kaAntennaGainLow" annotations="//@annotations.43">
1511 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1799 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1512 <variables name="parameter Comm"> 1800 <variables name="parameter Comm">
1513 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1801 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1514 </variables> 1802 </variables>
1515 <value xsi:type="language_1:Or"> 1803 <value xsi:type="language_1:Or">
1516 <operands xsi:type="language_1:Exists"> 1804 <operands xsi:type="language_1:Exists">
1517 <quantifiedVariables name="variable virtual0"> 1805 <quantifiedVariables name="variable virtual0">
1518 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/> 1806 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1519 </quantifiedVariables> 1807 </quantifiedVariables>
1520 <quantifiedVariables name="variable virtual2"> 1808 <quantifiedVariables name="variable virtual2">
1521 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> 1809 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1522 </quantifiedVariables> 1810 </quantifiedVariables>
1523 <expression xsi:type="language_1:And"> 1811 <expression xsi:type="language_1:And">
1524 <operands xsi:type="language_1:Equals"> 1812 <operands xsi:type="language_1:Equals">
1525 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.0"/> 1813 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.31/@value/@operands.0/@quantifiedVariables.0"/>
1526 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.2"/> 1814 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.2"/>
1527 </operands> 1815 </operands>
1528 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> 1816 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
1529 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@variables.0"/> 1817 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.31/@variables.0"/>
1530 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.0"/> 1818 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.31/@value/@operands.0/@quantifiedVariables.0"/>
1531 </operands> 1819 </operands>
1532 <operands xsi:type="language_1:Equals"> 1820 <operands xsi:type="language_1:Equals">
1533 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.1"/> 1821 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.31/@value/@operands.0/@quantifiedVariables.1"/>
1534 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.3"/> 1822 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.3"/>
1535 </operands> 1823 </operands>
1536 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8"> 1824 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
1537 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@variables.0"/> 1825 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.31/@variables.0"/>
1538 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.1"/> 1826 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.31/@value/@operands.0/@quantifiedVariables.1"/>
1539 </operands> 1827 </operands>
1540 </expression> 1828 </expression>
1541 </operands> 1829 </operands>
1542 </value> 1830 </value>
1543 </relations> 1831 </relations>
1544 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries threeUCubeSatWithNonUhfCrossLink" annotations="//@annotations.37"> 1832 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries threeUCubeSatWithNonUhfCrossLink" annotations="//@annotations.44">
1545 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> 1833 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1546 <variables name="parameter Sat"> 1834 <variables name="parameter Sat">
1547 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> 1835 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1548 </variables> 1836 </variables>
1549 <value xsi:type="language_1:Or"> 1837 <value xsi:type="language_1:Or">
1550 <operands xsi:type="language_1:Exists"> 1838 <operands xsi:type="language_1:Exists">
1551 <quantifiedVariables name="variable SourceComm"> 1839 <quantifiedVariables name="variable SourceComm">
1552 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1840 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1553 </quantifiedVariables> 1841 </quantifiedVariables>
1554 <quantifiedVariables name="variable Link"> 1842 <quantifiedVariables name="variable Link">
1555 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 1843 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
1556 </quantifiedVariables> 1844 </quantifiedVariables>
1557 <quantifiedVariables name="variable TargetComm"> 1845 <quantifiedVariables name="variable TargetComm">
1558 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1846 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1559 </quantifiedVariables> 1847 </quantifiedVariables>
1560 <quantifiedVariables name="variable Target"> 1848 <quantifiedVariables name="variable Target">
1561 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 1849 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1562 </quantifiedVariables> 1850 </quantifiedVariables>
1563 <expression xsi:type="language_1:And"> 1851 <expression xsi:type="language_1:And">
1564 <operands xsi:type="language_1:InstanceOf"> 1852 <operands xsi:type="language_1:InstanceOf">
1565 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.0"/> 1853 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@variables.0"/>
1566 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> 1854 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1567 </operands> 1855 </operands>
1568 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> 1856 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
1569 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.0"/> 1857 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@variables.0"/>
1570 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.0"/> 1858 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.0"/>
1571 </operands> 1859 </operands>
1572 <operands xsi:type="language_1:Not"> 1860 <operands xsi:type="language_1:Not">
1573 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27"> 1861 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.33">
1574 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.0"/> 1862 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.0"/>
1575 </operand> 1863 </operand>
1576 </operands> 1864 </operands>
1577 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> 1865 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
1578 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.1"/> 1866 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.1"/>
1579 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.0"/> 1867 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.0"/>
1580 </operands> 1868 </operands>
1581 <operands xsi:type="language_1:InstanceOf"> 1869 <operands xsi:type="language_1:InstanceOf">
1582 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.0"/> 1870 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.0"/>
1583 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1871 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1584 </operands> 1872 </operands>
1585 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6"> 1873 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
1586 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.1"/> 1874 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.1"/>
1587 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.2"/> 1875 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.2"/>
1588 </operands> 1876 </operands>
1589 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> 1877 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
1590 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.3"/> 1878 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.3"/>
1591 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.2"/> 1879 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.2"/>
1592 </operands> 1880 </operands>
1593 <operands xsi:type="language_1:InstanceOf"> 1881 <operands xsi:type="language_1:InstanceOf">
1594 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.2"/> 1882 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.2"/>
1595 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1883 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1596 </operands> 1884 </operands>
1597 <operands xsi:type="language_1:Not"> 1885 <operands xsi:type="language_1:Not">
1598 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.28"> 1886 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.34">
1599 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.3"/> 1887 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.3"/>
1600 </operand> 1888 </operand>
1601 </operands> 1889 </operands>
1602 </expression> 1890 </expression>
1603 </operands> 1891 </operands>
1604 </value> 1892 </value>
1605 </relations> 1893 </relations>
1606 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemBandUhf" annotations="//@annotations.38"> 1894 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemBandUhf" annotations="//@annotations.45">
1607 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1895 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1608 <variables name="parameter Comm"> 1896 <variables name="parameter Comm">
1609 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1897 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1610 </variables> 1898 </variables>
1611 <value xsi:type="language_1:Or"> 1899 <value xsi:type="language_1:Or">
1612 <operands xsi:type="language_1:Exists"> 1900 <operands xsi:type="language_1:Exists">
1613 <quantifiedVariables name="variable virtual0"> 1901 <quantifiedVariables name="variable virtual0">
1614 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/> 1902 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1615 </quantifiedVariables> 1903 </quantifiedVariables>
1616 <expression xsi:type="language_1:And"> 1904 <expression xsi:type="language_1:And">
1617 <operands xsi:type="language_1:Equals"> 1905 <operands xsi:type="language_1:Equals">
1618 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@value/@operands.0/@quantifiedVariables.0"/> 1906 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.33/@value/@operands.0/@quantifiedVariables.0"/>
1619 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/> 1907 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/>
1620 </operands> 1908 </operands>
1621 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> 1909 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
1622 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@variables.0"/> 1910 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.33/@variables.0"/>
1623 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@value/@operands.0/@quantifiedVariables.0"/> 1911 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.33/@value/@operands.0/@quantifiedVariables.0"/>
1624 </operands> 1912 </operands>
1625 </expression> 1913 </expression>
1626 </operands> 1914 </operands>
1627 </value> 1915 </value>
1628 </relations> 1916 </relations>
1629 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries groundStationNetwork" annotations="//@annotations.39"> 1917 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries groundStationNetwork" annotations="//@annotations.46">
1630 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> 1918 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
1631 <variables name="parameter Network"> 1919 <variables name="parameter Network">
1632 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> 1920 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
@@ -1634,13 +1922,13 @@
1634 <value xsi:type="language_1:Or"> 1922 <value xsi:type="language_1:Or">
1635 <operands xsi:type="language_1:And"> 1923 <operands xsi:type="language_1:And">
1636 <operands xsi:type="language_1:InstanceOf"> 1924 <operands xsi:type="language_1:InstanceOf">
1637 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.28/@variables.0"/> 1925 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.34/@variables.0"/>
1638 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> 1926 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
1639 </operands> 1927 </operands>
1640 </operands> 1928 </operands>
1641 </value> 1929 </value>
1642 </relations> 1930 </relations>
1643 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries cubeSatWithKaAntenna" annotations="//@annotations.40"> 1931 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries cubeSatWithKaAntenna" annotations="//@annotations.47">
1644 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 1932 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1645 <variables name="parameter Spacecraft"> 1933 <variables name="parameter Spacecraft">
1646 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 1934 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
@@ -1648,62 +1936,107 @@
1648 <value xsi:type="language_1:Or"> 1936 <value xsi:type="language_1:Or">
1649 <operands xsi:type="language_1:Exists"> 1937 <operands xsi:type="language_1:Exists">
1650 <quantifiedVariables name="variable virtual0"> 1938 <quantifiedVariables name="variable virtual0">
1651 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/> 1939 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1652 </quantifiedVariables> 1940 </quantifiedVariables>
1653 <quantifiedVariables name="variable virtual1"> 1941 <quantifiedVariables name="variable virtual1">
1654 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1942 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1655 </quantifiedVariables> 1943 </quantifiedVariables>
1656 <expression xsi:type="language_1:And"> 1944 <expression xsi:type="language_1:And">
1657 <operands xsi:type="language_1:InstanceOf"> 1945 <operands xsi:type="language_1:InstanceOf">
1658 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@variables.0"/> 1946 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.35/@variables.0"/>
1659 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 1947 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1660 </operands> 1948 </operands>
1661 <operands xsi:type="language_1:Equals"> 1949 <operands xsi:type="language_1:Equals">
1662 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@value/@operands.0/@quantifiedVariables.0"/> 1950 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.35/@value/@operands.0/@quantifiedVariables.0"/>
1663 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.2"/> 1951 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.2"/>
1664 </operands> 1952 </operands>
1665 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> 1953 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
1666 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@variables.0"/> 1954 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.35/@variables.0"/>
1667 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@value/@operands.0/@quantifiedVariables.1"/> 1955 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.35/@value/@operands.0/@quantifiedVariables.1"/>
1668 </operands> 1956 </operands>
1669 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> 1957 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
1670 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@value/@operands.0/@quantifiedVariables.1"/> 1958 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.35/@value/@operands.0/@quantifiedVariables.1"/>
1671 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@value/@operands.0/@quantifiedVariables.0"/> 1959 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.35/@value/@operands.0/@quantifiedVariables.0"/>
1672 </operands> 1960 </operands>
1673 <operands xsi:type="language_1:Not"> 1961 <operands xsi:type="language_1:Not">
1674 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.30"> 1962 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.36">
1675 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@variables.0"/> 1963 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.35/@variables.0"/>
1676 </operand> 1964 </operand>
1677 </operands> 1965 </operands>
1678 </expression> 1966 </expression>
1679 </operands> 1967 </operands>
1680 </value> 1968 </value>
1681 </relations> 1969 </relations>
1682 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries smallSat" annotations="//@annotations.41"> 1970 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries smallSat" annotations="//@annotations.48">
1683 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/> 1971 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
1684 <variables name="parameter Sat"> 1972 <variables name="parameter Sat">
1685 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/> 1973 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
1974 </variables>
1975 <value xsi:type="language_1:Or">
1976 <operands xsi:type="language_1:And">
1977 <operands xsi:type="language_1:InstanceOf">
1978 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.36/@variables.0"/>
1979 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
1980 </operands>
1981 </operands>
1982 </value>
1983 </relations>
1984 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries spacecraftOfKind" annotations="//@annotations.49" defines="//@relations.7">
1985 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1986 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
1987 <variables name="parameter Spacecraft">
1988 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1989 </variables>
1990 <variables name="parameter Kind">
1991 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
1686 </variables> 1992 </variables>
1687 <value xsi:type="language_1:Or"> 1993 <value xsi:type="language_1:Or">
1688 <operands xsi:type="language_1:And"> 1994 <operands xsi:type="language_1:And">
1689 <operands xsi:type="language_1:InstanceOf"> 1995 <operands xsi:type="language_1:InstanceOf">
1690 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.30/@variables.0"/> 1996 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.37/@variables.0"/>
1691 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/> 1997 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1998 </operands>
1999 <operands xsi:type="language_1:Equals">
2000 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.37/@variables.1"/>
2001 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.6"/>
2002 </operands>
2003 </operands>
2004 <operands xsi:type="language_1:And">
2005 <operands xsi:type="language_1:InstanceOf">
2006 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.37/@variables.0"/>
2007 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/>
2008 </operands>
2009 <operands xsi:type="language_1:Equals">
2010 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.37/@variables.1"/>
2011 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.7"/>
2012 </operands>
2013 </operands>
2014 <operands xsi:type="language_1:And">
2015 <operands xsi:type="language_1:InstanceOf">
2016 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.37/@variables.0"/>
2017 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
2018 </operands>
2019 <operands xsi:type="language_1:Equals">
2020 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.37/@variables.1"/>
2021 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.8"/>
1692 </operands> 2022 </operands>
1693 </operands> 2023 </operands>
1694 </value> 2024 </value>
1695 </relations> 2025 </relations>
1696 <elements name="UHF literal TransceiverBand" definedInType="//@types.12"/> 2026 <elements name="UHF literal TransceiverBand" definedInType="//@types.13"/>
1697 <elements name="X literal TransceiverBand" definedInType="//@types.12"/> 2027 <elements name="X literal TransceiverBand" definedInType="//@types.13"/>
1698 <elements name="Ka literal TransceiverBand" definedInType="//@types.12"/> 2028 <elements name="Ka literal TransceiverBand" definedInType="//@types.13"/>
1699 <elements name="LOW literal AntennaGain" definedInType="//@types.13"/> 2029 <elements name="LOW literal AntennaGain" definedInType="//@types.14"/>
1700 <elements name="MEDIUM literal AntennaGain" definedInType="//@types.13"/> 2030 <elements name="MEDIUM literal AntennaGain" definedInType="//@types.14"/>
1701 <elements name="HIGH literal AntennaGain" definedInType="//@types.13"/> 2031 <elements name="HIGH literal AntennaGain" definedInType="//@types.14"/>
1702 <elements name="o 1" definedInType="//@types.14 //@types.16"/> 2032 <elements name="CubeSat3U literal SpacecraftKind" definedInType="//@types.15"/>
1703 <elements name="o 2" definedInType="//@types.18 //@types.20"/> 2033 <elements name="CubeSat6U literal SpacecraftKind" definedInType="//@types.15"/>
1704 <elements name="o 3" definedInType="//@types.22"/> 2034 <elements name="SmallSat literal SpacecraftKind" definedInType="//@types.15"/>
1705 <elements name="o 4" definedInType="//@types.22"/> 2035 <elements name="o 1" definedInType="//@types.16 //@types.18"/>
1706 <containmentHierarchies typesOrderedInHierarchy="//@types.2 //@types.0 //@types.1 //@types.9 //@types.7 //@types.10 //@types.3 //@types.6 //@types.8 //@types.11 //@types.5 //@types.4 //@types.14 //@types.15 //@types.16 //@types.17 //@types.18 //@types.19 //@types.20 //@types.21 //@types.22 //@types.23" containmentRelations="//@relations.0 //@relations.1 //@relations.2 //@relations.3 //@relations.4"/> 2036 <elements name="o 2" definedInType="//@types.20 //@types.22"/>
2037 <elements name="o 3" definedInType="//@types.24"/>
2038 <elements name="o 4" definedInType="//@types.24"/>
2039 <containmentHierarchies typesOrderedInHierarchy="//@types.8 //@types.4 //@types.6 //@types.12 //@types.0 //@types.1 //@types.9 //@types.2 //@types.10 //@types.11 //@types.5 //@types.3 //@types.7 //@types.16 //@types.17 //@types.18 //@types.19 //@types.20 //@types.21 //@types.22 //@types.23 //@types.24 //@types.25" containmentRelations="//@relations.0 //@relations.1 //@relations.2 //@relations.3 //@relations.4"/>
1707 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.0" relation="//@relations.0" lower="1"/> 2040 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.0" relation="//@relations.0" lower="1"/>
1708 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.1" relation="//@relations.0" upper="1"/> 2041 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.1" relation="//@relations.0" upper="1"/>
1709 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.2" relation="//@relations.1" lower="2"/> 2042 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.2" relation="//@relations.1" lower="2"/>
@@ -1720,40 +2053,51 @@
1720 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.13" relation="//@relations.7" upper="1"/> 2053 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.13" relation="//@relations.7" upper="1"/>
1721 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.14" relation="//@relations.8" lower="1"/> 2054 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.14" relation="//@relations.8" lower="1"/>
1722 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.15" relation="//@relations.8" upper="1"/> 2055 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.15" relation="//@relations.8" upper="1"/>
1723 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.16" targetRelation="//@relations.0"/> 2056 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.16" relation="//@relations.9" lower="1"/>
1724 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.17" targetRelation="//@relations.2"/> 2057 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.17" relation="//@relations.9" upper="1"/>
1725 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.18" targetRelation="//@relations.7"/> 2058 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.18" targetRelation="//@relations.0"/>
1726 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.19" targetRelation="//@relations.8"/> 2059 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.19" targetRelation="//@relations.2"/>
1727 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.9" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.communicationLinkDoesNotStartAtContainingElement"/> 2060 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.20" targetRelation="//@relations.8"/>
1728 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.10" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.notEnoughInterferometryPayloads"/> 2061 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.21" targetRelation="//@relations.9"/>
1729 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.11" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.atLeastTwoInterferometryPayloads"/> 2062 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.10" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.communicationLinkDoesNotStartAtContainingElement"/>
1730 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.12" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.spacecraftWithInterferometryPayload"/> 2063 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.11" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.notEnoughInterferometryPayloads"/>
1731 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.13" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.noLinkToGroundStation"/> 2064 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.12" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.atLeastTwoInterferometryPayloads"/>
1732 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.14" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.communicationLoop"/> 2065 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.13" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.spacecraftWithInterferometryPayload"/>
1733 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.15" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.indirectCommunicationLink"/> 2066 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.14" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.noLinkToGroundStation"/>
1734 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.16" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.directCommunicationLink"/> 2067 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.15" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.noPotentialLinkToGroundStation"/>
1735 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.17" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.incompatibleSourceAndTargetBand"/> 2068 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.16" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.indirectLinkAllowed"/>
1736 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.18" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemBand"/> 2069 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.17" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.linkAllowed"/>
1737 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.19" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.incompatibleSourceAndTargetGain"/> 2070 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.18" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.matchingAntenna"/>
1738 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.20" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemGain"/> 2071 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.19" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.cubeSat3U"/>
1739 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.21" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.uhfAntennaGainNotLow"/> 2072 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.20" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.communicationLoop"/>
1740 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.22" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemGainLow"/> 2073 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.21" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.indirectCommunicationLink"/>
1741 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.23" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.xAntennaGainNotMedium"/> 2074 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.22" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.directCommunicationLink"/>
1742 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.24" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemGainMedium"/> 2075 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.23" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.incompatibleSourceAndTargetBand"/>
1743 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.25" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.kaAntennaGainLow"/> 2076 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.24" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemBand"/>
1744 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.26" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.threeUCubeSatWithNonUhfCrossLink"/> 2077 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.25" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.incompatibleSourceAndTargetGain"/>
1745 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.27" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemBandUhf"/> 2078 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.26" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemGain"/>
1746 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.28" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.groundStationNetwork"/> 2079 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.27" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.uhfAntennaGainNotLow"/>
1747 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.29" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.cubeSatWithKaAntenna"/> 2080 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.28" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemGainLow"/>
1748 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.30" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.smallSat"/> 2081 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.29" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.xAntennaGainNotMedium"/>
1749 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.20" query="//@annotations.20"/> 2082 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.30" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemGainMedium"/>
1750 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.21" query="//@annotations.24"/> 2083 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.31" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.kaAntennaGainLow"/>
1751 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.22" query="//@annotations.25"/> 2084 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.32" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.threeUCubeSatWithNonUhfCrossLink"/>
1752 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.23" query="//@annotations.28"/> 2085 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.33" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemBandUhf"/>
1753 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.24" query="//@annotations.30"/> 2086 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.34" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.groundStationNetwork"/>
1754 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.25" query="//@annotations.32"/> 2087 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.35" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.cubeSatWithKaAntenna"/>
1755 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.26" query="//@annotations.34"/> 2088 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.36" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.smallSat"/>
1756 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.27" query="//@annotations.36"/> 2089 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.37" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.spacecraftOfKind"/>
2090 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.22" query="//@annotations.22"/>
2091 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.23" query="//@annotations.23"/>
2092 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.24" query="//@annotations.26"/>
2093 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.25" query="//@annotations.27"/>
2094 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.26" query="//@annotations.32"/>
2095 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.27" query="//@annotations.35"/>
1757 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.28" query="//@annotations.37"/> 2096 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.28" query="//@annotations.37"/>
1758 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.29" query="//@annotations.40"/> 2097 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.29" query="//@annotations.39"/>
2098 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.30" query="//@annotations.41"/>
2099 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.31" query="//@annotations.43"/>
2100 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.32" query="//@annotations.44"/>
2101 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.33" query="//@annotations.47"/>
2102 <annotations xsi:type="viatra2logicannotations:DefinedByDerivedFeature" target="//@relations.7" query="//@annotations.49"/>
1759</language:LogicProblem> 2103</language:LogicProblem>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-18 19:26:15 +0000