aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generation.logicproblem
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kris7topher@gmail.com>2019-06-08 19:17:34 -0400
committerLibravatar Kristóf Marussy <kris7topher@gmail.com>2019-06-08 19:17:34 -0400
commitb21af04ea821c3daa9ce8a6d26c63e9cd198f9a5 (patch)
tree4be566b25415ca97cb007b5da7d89f216ef515b2 /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generation.logicproblem
parentMerge remote-tracking branch 'origin/master' into kris (diff)
downloadVIATRA-Generator-b21af04ea821c3daa9ce8a6d26c63e9cd198f9a5.tar.gz
VIATRA-Generator-b21af04ea821c3daa9ce8a6d26c63e9cd198f9a5.tar.zst
VIATRA-Generator-b21af04ea821c3daa9ce8a6d26c63e9cd198f9a5.zip
Trying to simplify Satellite case study
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.logicproblem1127
1 files changed, 298 insertions, 829 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 2a54174a..605a5a23 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
@@ -5,7 +5,7 @@
5 <types xsi:type="language_1:TypeDeclaration" name="CommunicatingElement class" subtypes="//@types.3 //@types.4 //@types.20 //@types.21" 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.22 //@types.23" 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.11 //@types.12" supertypes="//@types.2 //@types.21" 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="CommSubsystem class" subtypes="//@types.24 //@types.25" isAbstract="true"/> 8 <types xsi:type="language_1:TypeDeclaration" name="CommSubsystem class" subtypes="//@types.13 //@types.14 //@types.15 //@types.24 //@types.25" isAbstract="true"/>
9 <types xsi:type="language_1:TypeDeclaration" name="DirectedCommunicationLink class"/> 9 <types xsi:type="language_1:TypeDeclaration" name="DirectedCommunicationLink class"/>
10 <types xsi:type="language_1:TypeDeclaration" name="Payload class" subtypes="//@types.8" isAbstract="true"/> 10 <types xsi:type="language_1:TypeDeclaration" name="Payload class" subtypes="//@types.8" isAbstract="true"/>
11 <types xsi:type="language_1:TypeDeclaration" name="InterferometryPayload class" supertypes="//@types.7"/> 11 <types xsi:type="language_1:TypeDeclaration" name="InterferometryPayload class" supertypes="//@types.7"/>
@@ -13,19 +13,23 @@
13 <types xsi:type="language_1:TypeDeclaration" name="CubeSat6U 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"/> 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:TypeDeclaration" name="CubeSat class" subtypes="//@types.9 //@types.10" supertypes="//@types.4" isAbstract="true"/>
16 <types xsi:type="language_1:TypeDefinition" name="TransceiverBand enum" elements="//@elements.0 //@elements.1 //@elements.2"/> 16 <types xsi:type="language_1:TypeDeclaration" name="UHFCommSubsystem class" supertypes="//@types.5 //@types.25"/>
17 <types xsi:type="language_1:TypeDefinition" name="AntennaGain enum" elements="//@elements.3 //@elements.4 //@elements.5"/> 17 <types xsi:type="language_1:TypeDeclaration" name="XCommSubsystem class" subtypes="//@types.26 //@types.27" supertypes="//@types.5" isAbstract="true"/>
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="KaCommSubsystem class" subtypes="//@types.28 //@types.29" supertypes="//@types.5" 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="ConstellationMission class DefinedPart" subtypes="//@types.18" supertypes="//@types.0" isAbstract="true" elements="//@elements.0"/>
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="ConstellationMission class UndefinedPart" subtypes="//@types.19" supertypes="//@types.0" isAbstract="true"/>
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="InterferometryMission class DefinedPart" supertypes="//@types.1 //@types.16" elements="//@elements.0"/>
22 <types xsi:type="language_1:TypeDeclaration" name="InterferometryMission class UndefinedPart" supertypes="//@types.1 //@types.17"/> 22 <types xsi:type="language_1:TypeDeclaration" name="InterferometryMission class UndefinedPart" supertypes="//@types.1 //@types.17"/>
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="CommunicatingElement class DefinedPart" subtypes="//@types.22" supertypes="//@types.2" isAbstract="true" elements="//@elements.1"/>
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="CommunicatingElement class UndefinedPart" subtypes="//@types.23 //@types.4" supertypes="//@types.2" isAbstract="true"/>
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="GroundStationNetwork class DefinedPart" supertypes="//@types.3 //@types.20" elements="//@elements.1"/>
26 <types xsi:type="language_1:TypeDeclaration" name="GroundStationNetwork class UndefinedPart" supertypes="//@types.3 //@types.21"/> 26 <types xsi:type="language_1:TypeDeclaration" name="GroundStationNetwork class UndefinedPart" supertypes="//@types.3 //@types.21"/>
27 <types xsi:type="language_1:TypeDefinition" name="CommSubsystem class DefinedPart" supertypes="//@types.5" elements="//@elements.11 //@elements.12"/> 27 <types xsi:type="language_1:TypeDefinition" name="CommSubsystem class DefinedPart" subtypes="//@types.26 //@types.28" supertypes="//@types.5" isAbstract="true" elements="//@elements.2 //@elements.3"/>
28 <types xsi:type="language_1:TypeDeclaration" name="CommSubsystem class UndefinedPart" supertypes="//@types.5"/> 28 <types xsi:type="language_1:TypeDeclaration" name="CommSubsystem class UndefinedPart" subtypes="//@types.13 //@types.27 //@types.29" supertypes="//@types.5" isAbstract="true"/>
29 <types xsi:type="language_1:TypeDefinition" name="XCommSubsystem class DefinedPart" supertypes="//@types.14 //@types.24" elements="//@elements.2"/>
30 <types xsi:type="language_1:TypeDeclaration" name="XCommSubsystem class UndefinedPart" supertypes="//@types.14 //@types.25"/>
31 <types xsi:type="language_1:TypeDefinition" name="KaCommSubsystem class DefinedPart" supertypes="//@types.15 //@types.24" elements="//@elements.3"/>
32 <types xsi:type="language_1:TypeDeclaration" name="KaCommSubsystem class UndefinedPart" supertypes="//@types.15 //@types.25"/>
29 <assertions name="lowerMultiplicity groundStationNetwork ConstellationMission" annotations="//@annotations.0"> 33 <assertions name="lowerMultiplicity groundStationNetwork ConstellationMission" annotations="//@annotations.0">
30 <value xsi:type="language_1:Forall"> 34 <value xsi:type="language_1:Forall">
31 <quantifiedVariables name="src"> 35 <quantifiedVariables name="src">
@@ -746,335 +750,116 @@
746 </expression> 750 </expression>
747 </value> 751 </value>
748 </assertions> 752 </assertions>
749 <assertions name="lowerMultiplicity kind Spacecraft" annotations="//@annotations.12"> 753 <assertions name="PartialInterpretation groundStationNetwork reference ConstellationMission" annotations="//@annotations.12">
750 <value xsi:type="language_1:Forall">
751 <quantifiedVariables name="src">
752 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
753 </quantifiedVariables>
754 <expression xsi:type="language_1:Exists">
755 <quantifiedVariables name="trg 1">
756 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
757 </quantifiedVariables>
758 <expression xsi:type="language_1:And">
759 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
760 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.0"/>
761 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@expression/@quantifiedVariables.0"/>
762 </operands>
763 </expression>
764 </expression>
765 </value>
766 </assertions>
767 <assertions name="upperMultiplicity kind Spacecraft" annotations="//@annotations.13">
768 <value xsi:type="language_1:Forall">
769 <quantifiedVariables name="src">
770 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
771 </quantifiedVariables>
772 <quantifiedVariables name="trg 1">
773 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
774 </quantifiedVariables>
775 <quantifiedVariables name="trg 2">
776 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
777 </quantifiedVariables>
778 <expression xsi:type="language_1:Impl">
779 <leftOperand xsi:type="language_1:And">
780 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
781 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.0"/>
782 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.1"/>
783 </operands>
784 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
785 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.0"/>
786 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.2"/>
787 </operands>
788 </leftOperand>
789 <rightOperand xsi:type="language_1:Not">
790 <operand xsi:type="language_1:Distinct">
791 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.1"/>
792 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.2"/>
793 </operand>
794 </rightOperand>
795 </expression>
796 </value>
797 </assertions>
798 <assertions name="lowerMultiplicity band CommSubsystem" annotations="//@annotations.14">
799 <value xsi:type="language_1:Forall">
800 <quantifiedVariables name="src">
801 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
802 </quantifiedVariables>
803 <expression xsi:type="language_1:Exists">
804 <quantifiedVariables name="trg 1">
805 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
806 </quantifiedVariables>
807 <expression xsi:type="language_1:And">
808 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
809 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.0"/>
810 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@expression/@quantifiedVariables.0"/>
811 </operands>
812 </expression>
813 </expression>
814 </value>
815 </assertions>
816 <assertions name="upperMultiplicity band CommSubsystem" annotations="//@annotations.15">
817 <value xsi:type="language_1:Forall">
818 <quantifiedVariables name="src">
819 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
820 </quantifiedVariables>
821 <quantifiedVariables name="trg 1">
822 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
823 </quantifiedVariables>
824 <quantifiedVariables name="trg 2">
825 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
826 </quantifiedVariables>
827 <expression xsi:type="language_1:Impl">
828 <leftOperand xsi:type="language_1:And">
829 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
830 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.0"/>
831 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.1"/>
832 </operands>
833 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
834 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.0"/>
835 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.2"/>
836 </operands>
837 </leftOperand>
838 <rightOperand xsi:type="language_1:Not">
839 <operand xsi:type="language_1:Distinct">
840 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.1"/>
841 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.2"/>
842 </operand>
843 </rightOperand>
844 </expression>
845 </value>
846 </assertions>
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">
897 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> 754 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
898 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.9"/> 755 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/>
899 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.10"/> 756 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.1"/>
900 </value> 757 </value>
901 </assertions> 758 </assertions>
902 <assertions name="PartialInterpretation commSubsystem reference CommunicatingElement" annotations="//@annotations.19"> 759 <assertions name="PartialInterpretation commSubsystem reference CommunicatingElement" annotations="//@annotations.13">
903 <value xsi:type="language_1:And"> 760 <value xsi:type="language_1:And">
904 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> 761 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
905 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.10"/>
906 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.11"/>
907 </operands>
908 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
909 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.10"/>
910 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.12"/>
911 </operands>
912 </value>
913 </assertions>
914 <assertions name="PartialInterpretation band attribute CommSubsystem" annotations="//@annotations.20">
915 <value xsi:type="language_1:And">
916 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
917 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.11"/>
918 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.1"/> 762 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.1"/>
919 </operands>
920 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
921 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.12"/>
922 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.2"/> 763 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.2"/>
923 </operands> 764 </operands>
924 </value> 765 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
925 </assertions> 766 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.1"/>
926 <assertions name="PartialInterpretation gain attribute CommSubsystem" annotations="//@annotations.21"> 767 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.3"/>
927 <value xsi:type="language_1:And">
928 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
929 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.11"/>
930 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.4"/>
931 </operands>
932 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
933 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.12"/>
934 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.5"/>
935 </operands> 768 </operands>
936 </value> 769 </value>
937 </assertions> 770 </assertions>
938 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries communicationLinkDoesNotStartAtContainingElement" annotations="//@annotations.50"> 771 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries communicationLinkDoesNotStartAtContainingElement" annotations="//@annotations.35">
939 <value xsi:type="language_1:Forall"> 772 <value xsi:type="language_1:Forall">
940 <quantifiedVariables name="p0"> 773 <quantifiedVariables name="p0">
941 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> 774 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
942 </quantifiedVariables> 775 </quantifiedVariables>
943 <expression xsi:type="language_1:Not"> 776 <expression xsi:type="language_1:Not">
944 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10"> 777 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
945 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.22/@value/@quantifiedVariables.0"/> 778 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.0"/>
946 </operand> 779 </operand>
947 </expression> 780 </expression>
948 </value> 781 </value>
949 </assertions> 782 </assertions>
950 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries notEnoughInterferometryPayloads" annotations="//@annotations.51"> 783 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries notEnoughInterferometryPayloads" annotations="//@annotations.36">
951 <value xsi:type="language_1:Forall"> 784 <value xsi:type="language_1:Forall">
952 <quantifiedVariables name="p0"> 785 <quantifiedVariables name="p0">
953 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 786 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
954 </quantifiedVariables> 787 </quantifiedVariables>
955 <expression xsi:type="language_1:Not"> 788 <expression xsi:type="language_1:Not">
956 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11"> 789 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
957 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.23/@value/@quantifiedVariables.0"/> 790 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.0"/>
958 </operand> 791 </operand>
959 </expression> 792 </expression>
960 </value> 793 </value>
961 </assertions> 794 </assertions>
962 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries noLinkToGroundStation" annotations="//@annotations.52"> 795 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries noLinkToGroundStation" annotations="//@annotations.37">
963 <value xsi:type="language_1:Forall"> 796 <value xsi:type="language_1:Forall">
964 <quantifiedVariables name="p0"> 797 <quantifiedVariables name="p0">
965 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 798 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
966 </quantifiedVariables> 799 </quantifiedVariables>
967 <expression xsi:type="language_1:Not"> 800 <expression xsi:type="language_1:Not">
968 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14"> 801 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11">
969 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.24/@value/@quantifiedVariables.0"/> 802 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@quantifiedVariables.0"/>
970 </operand> 803 </operand>
971 </expression> 804 </expression>
972 </value> 805 </value>
973 </assertions> 806 </assertions>
974 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries noPotentialLinkToGroundStation" annotations="//@annotations.53"> 807 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries noPotentialLinkToGroundStation" annotations="//@annotations.38">
975 <value xsi:type="language_1:Forall"> 808 <value xsi:type="language_1:Forall">
976 <quantifiedVariables name="p0"> 809 <quantifiedVariables name="p0">
977 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 810 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
978 </quantifiedVariables> 811 </quantifiedVariables>
979 <expression xsi:type="language_1:Not"> 812 <expression xsi:type="language_1:Not">
980 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15"> 813 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12">
981 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.25/@value/@quantifiedVariables.0"/> 814 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.0"/>
982 </operand> 815 </operand>
983 </expression> 816 </expression>
984 </value> 817 </value>
985 </assertions> 818 </assertions>
986 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries communicationLoop" annotations="//@annotations.54"> 819 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries communicationLoop" annotations="//@annotations.39">
987 <value xsi:type="language_1:Forall"> 820 <value xsi:type="language_1:Forall">
988 <quantifiedVariables name="p0"> 821 <quantifiedVariables name="p0">
989 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 822 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
990 </quantifiedVariables> 823 </quantifiedVariables>
991 <expression xsi:type="language_1:Not"> 824 <expression xsi:type="language_1:Not">
992 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20"> 825 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19">
993 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.26/@value/@quantifiedVariables.0"/> 826 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.0"/>
994 </operand>
995 </expression>
996 </value>
997 </assertions>
998 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetBand" annotations="//@annotations.55">
999 <value xsi:type="language_1:Forall">
1000 <quantifiedVariables name="p0">
1001 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
1002 </quantifiedVariables>
1003 <expression xsi:type="language_1:Not">
1004 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23">
1005 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.27/@value/@quantifiedVariables.0"/>
1006 </operand> 827 </operand>
1007 </expression> 828 </expression>
1008 </value> 829 </value>
1009 </assertions> 830 </assertions>
1010 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetGain" annotations="//@annotations.56"> 831 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetBand" annotations="//@annotations.40">
1011 <value xsi:type="language_1:Forall"> 832 <value xsi:type="language_1:Forall">
1012 <quantifiedVariables name="p0"> 833 <quantifiedVariables name="p0">
1013 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> 834 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
1014 </quantifiedVariables> 835 </quantifiedVariables>
1015 <expression xsi:type="language_1:Not"> 836 <expression xsi:type="language_1:Not">
1016 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25"> 837 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22">
1017 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.28/@value/@quantifiedVariables.0"/> 838 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.19/@value/@quantifiedVariables.0"/>
1018 </operand> 839 </operand>
1019 </expression> 840 </expression>
1020 </value> 841 </value>
1021 </assertions> 842 </assertions>
1022 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries uhfAntennaGainNotLow" annotations="//@annotations.57"> 843 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries threeUCubeSatWithNonUhfCrossLink" annotations="//@annotations.41">
1023 <value xsi:type="language_1:Forall">
1024 <quantifiedVariables name="p0">
1025 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1026 </quantifiedVariables>
1027 <expression xsi:type="language_1:Not">
1028 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27">
1029 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.29/@value/@quantifiedVariables.0"/>
1030 </operand>
1031 </expression>
1032 </value>
1033 </assertions>
1034 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries xAntennaGainNotMedium" annotations="//@annotations.58">
1035 <value xsi:type="language_1:Forall">
1036 <quantifiedVariables name="p0">
1037 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1038 </quantifiedVariables>
1039 <expression xsi:type="language_1:Not">
1040 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29">
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"/>
1054 </operand>
1055 </expression>
1056 </value>
1057 </assertions>
1058 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries threeUCubeSatWithNonUhfCrossLink" annotations="//@annotations.60">
1059 <value xsi:type="language_1:Forall"> 844 <value xsi:type="language_1:Forall">
1060 <quantifiedVariables name="p0"> 845 <quantifiedVariables name="p0">
1061 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 846 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1062 </quantifiedVariables> 847 </quantifiedVariables>
1063 <expression xsi:type="language_1:Not"> 848 <expression xsi:type="language_1:Not">
1064 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32"> 849 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23">
1065 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.32/@value/@quantifiedVariables.0"/> 850 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.20/@value/@quantifiedVariables.0"/>
1066 </operand> 851 </operand>
1067 </expression> 852 </expression>
1068 </value> 853 </value>
1069 </assertions> 854 </assertions>
1070 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries cubeSatWithKaAntenna" annotations="//@annotations.61"> 855 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries cubeSatWithKaAntenna" annotations="//@annotations.42">
1071 <value xsi:type="language_1:Forall"> 856 <value xsi:type="language_1:Forall">
1072 <quantifiedVariables name="p0"> 857 <quantifiedVariables name="p0">
1073 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 858 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1074 </quantifiedVariables> 859 </quantifiedVariables>
1075 <expression xsi:type="language_1:Not"> 860 <expression xsi:type="language_1:Not">
1076 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.35"> 861 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26">
1077 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.33/@value/@quantifiedVariables.0"/> 862 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.21/@value/@quantifiedVariables.0"/>
1078 </operand> 863 </operand>
1079 </expression> 864 </expression>
1080 </value> 865 </value>
@@ -1107,19 +892,7 @@
1107 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> 892 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
1108 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> 893 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1109 </relations> 894 </relations>
1110 <relations xsi:type="language_1:RelationDeclaration" name="kind attribute Spacecraft" annotations="//@annotations.62"> 895 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries communicationLinkDoesNotStartAtContainingElement" annotations="//@annotations.14">
1111 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1112 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
1113 </relations>
1114 <relations xsi:type="language_1:RelationDeclaration" name="band attribute CommSubsystem">
1115 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1116 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1117 </relations>
1118 <relations xsi:type="language_1:RelationDeclaration" name="gain attribute CommSubsystem">
1119 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1120 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1121 </relations>
1122 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries communicationLinkDoesNotStartAtContainingElement" annotations="//@annotations.22">
1123 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> 896 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
1124 <variables name="parameter Link"> 897 <variables name="parameter Link">
1125 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> 898 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
@@ -1137,30 +910,30 @@
1137 </quantifiedVariables> 910 </quantifiedVariables>
1138 <expression xsi:type="language_1:And"> 911 <expression xsi:type="language_1:And">
1139 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> 912 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3">
1140 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@value/@operands.0/@quantifiedVariables.0"/> 913 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@value/@operands.0/@quantifiedVariables.0"/>
1141 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@variables.0"/> 914 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@variables.0"/>
1142 </operands> 915 </operands>
1143 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> 916 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
1144 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@variables.0"/> 917 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@variables.0"/>
1145 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@value/@operands.0/@quantifiedVariables.1"/> 918 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@value/@operands.0/@quantifiedVariables.1"/>
1146 </operands> 919 </operands>
1147 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> 920 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
1148 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@value/@operands.0/@quantifiedVariables.2"/> 921 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@value/@operands.0/@quantifiedVariables.2"/>
1149 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@value/@operands.0/@quantifiedVariables.1"/> 922 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@value/@operands.0/@quantifiedVariables.1"/>
1150 </operands> 923 </operands>
1151 <operands xsi:type="language_1:InstanceOf"> 924 <operands xsi:type="language_1:InstanceOf">
1152 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@value/@operands.0/@quantifiedVariables.1"/> 925 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@value/@operands.0/@quantifiedVariables.1"/>
1153 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> 926 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1154 </operands> 927 </operands>
1155 <operands xsi:type="language_1:Distinct"> 928 <operands xsi:type="language_1:Distinct">
1156 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@value/@operands.0/@quantifiedVariables.0"/> 929 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@value/@operands.0/@quantifiedVariables.0"/>
1157 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@value/@operands.0/@quantifiedVariables.2"/> 930 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@value/@operands.0/@quantifiedVariables.2"/>
1158 </operands> 931 </operands>
1159 </expression> 932 </expression>
1160 </operands> 933 </operands>
1161 </value> 934 </value>
1162 </relations> 935 </relations>
1163 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries notEnoughInterferometryPayloads" annotations="//@annotations.23"> 936 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries notEnoughInterferometryPayloads" annotations="//@annotations.15">
1164 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 937 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
1165 <variables name="parameter Mission"> 938 <variables name="parameter Mission">
1166 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 939 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
@@ -1168,18 +941,18 @@
1168 <value xsi:type="language_1:Or"> 941 <value xsi:type="language_1:Or">
1169 <operands xsi:type="language_1:And"> 942 <operands xsi:type="language_1:And">
1170 <operands xsi:type="language_1:InstanceOf"> 943 <operands xsi:type="language_1:InstanceOf">
1171 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.0"/> 944 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.0"/>
1172 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 945 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
1173 </operands> 946 </operands>
1174 <operands xsi:type="language_1:Not"> 947 <operands xsi:type="language_1:Not">
1175 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12"> 948 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
1176 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.0"/> 949 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.0"/>
1177 </operand> 950 </operand>
1178 </operands> 951 </operands>
1179 </operands> 952 </operands>
1180 </value> 953 </value>
1181 </relations> 954 </relations>
1182 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries atLeastTwoInterferometryPayloads" annotations="//@annotations.24"> 955 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries atLeastTwoInterferometryPayloads" annotations="//@annotations.16">
1183 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 956 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
1184 <variables name="parameter Mission"> 957 <variables name="parameter Mission">
1185 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 958 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
@@ -1194,26 +967,26 @@
1194 </quantifiedVariables> 967 </quantifiedVariables>
1195 <expression xsi:type="language_1:And"> 968 <expression xsi:type="language_1:And">
1196 <operands xsi:type="language_1:InstanceOf"> 969 <operands xsi:type="language_1:InstanceOf">
1197 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.0"/> 970 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@variables.0"/>
1198 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 971 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
1199 </operands> 972 </operands>
1200 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13"> 973 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10">
1201 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.0"/> 974 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@variables.0"/>
1202 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.0"/> 975 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@value/@operands.0/@quantifiedVariables.0"/>
1203 </operands> 976 </operands>
1204 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13"> 977 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10">
1205 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.0"/> 978 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@variables.0"/>
1206 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.1"/> 979 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@value/@operands.0/@quantifiedVariables.1"/>
1207 </operands> 980 </operands>
1208 <operands xsi:type="language_1:Distinct"> 981 <operands xsi:type="language_1:Distinct">
1209 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.0"/> 982 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@value/@operands.0/@quantifiedVariables.0"/>
1210 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.1"/> 983 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@value/@operands.0/@quantifiedVariables.1"/>
1211 </operands> 984 </operands>
1212 </expression> 985 </expression>
1213 </operands> 986 </operands>
1214 </value> 987 </value>
1215 </relations> 988 </relations>
1216 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries spacecraftWithInterferometryPayload" annotations="//@annotations.25"> 989 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries spacecraftWithInterferometryPayload" annotations="//@annotations.17">
1217 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> 990 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
1218 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 991 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1219 <variables name="parameter Mission"> 992 <variables name="parameter Mission">
@@ -1229,22 +1002,22 @@
1229 </quantifiedVariables> 1002 </quantifiedVariables>
1230 <expression xsi:type="language_1:And"> 1003 <expression xsi:type="language_1:And">
1231 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1"> 1004 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
1232 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.0"/> 1005 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@variables.0"/>
1233 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.1"/> 1006 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@variables.1"/>
1234 </operands> 1007 </operands>
1235 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> 1008 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4">
1236 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.1"/> 1009 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@variables.1"/>
1237 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@value/@operands.0/@quantifiedVariables.0"/> 1010 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@value/@operands.0/@quantifiedVariables.0"/>
1238 </operands> 1011 </operands>
1239 <operands xsi:type="language_1:InstanceOf"> 1012 <operands xsi:type="language_1:InstanceOf">
1240 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@value/@operands.0/@quantifiedVariables.0"/> 1013 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@value/@operands.0/@quantifiedVariables.0"/>
1241 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 1014 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1242 </operands> 1015 </operands>
1243 </expression> 1016 </expression>
1244 </operands> 1017 </operands>
1245 </value> 1018 </value>
1246 </relations> 1019 </relations>
1247 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries noLinkToGroundStation" annotations="//@annotations.26"> 1020 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries noLinkToGroundStation" annotations="//@annotations.18">
1248 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 1021 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1249 <variables name="parameter Spacecraft"> 1022 <variables name="parameter Spacecraft">
1250 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 1023 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
@@ -1259,32 +1032,32 @@
1259 </quantifiedVariables> 1032 </quantifiedVariables>
1260 <expression xsi:type="language_1:And"> 1033 <expression xsi:type="language_1:And">
1261 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> 1034 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
1262 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@value/@operands.0/@quantifiedVariables.0"/> 1035 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.0"/>
1263 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@value/@operands.0/@quantifiedVariables.1"/> 1036 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.1"/>
1264 </operands> 1037 </operands>
1265 <operands xsi:type="language_1:InstanceOf"> 1038 <operands xsi:type="language_1:InstanceOf">
1266 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@value/@operands.0/@quantifiedVariables.1"/> 1039 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.1"/>
1267 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> 1040 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
1268 </operands> 1041 </operands>
1269 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1"> 1042 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
1270 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@value/@operands.0/@quantifiedVariables.0"/> 1043 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.0"/>
1271 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/> 1044 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.0"/>
1272 </operands> 1045 </operands>
1273 <operands xsi:type="language_1:InstanceOf"> 1046 <operands xsi:type="language_1:InstanceOf">
1274 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/> 1047 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.0"/>
1275 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 1048 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1276 </operands> 1049 </operands>
1277 <operands xsi:type="language_1:Not"> 1050 <operands xsi:type="language_1:Not">
1278 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21"> 1051 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20">
1279 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/> 1052 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.0"/>
1280 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@value/@operands.0/@quantifiedVariables.1"/> 1053 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.1"/>
1281 </operand> 1054 </operand>
1282 </operands> 1055 </operands>
1283 </expression> 1056 </expression>
1284 </operands> 1057 </operands>
1285 </value> 1058 </value>
1286 </relations> 1059 </relations>
1287 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries noPotentialLinkToGroundStation" annotations="//@annotations.27"> 1060 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries noPotentialLinkToGroundStation" annotations="//@annotations.19">
1288 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 1061 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1289 <variables name="parameter Spacecraft"> 1062 <variables name="parameter Spacecraft">
1290 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 1063 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
@@ -1299,32 +1072,32 @@
1299 </quantifiedVariables> 1072 </quantifiedVariables>
1300 <expression xsi:type="language_1:And"> 1073 <expression xsi:type="language_1:And">
1301 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> 1074 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
1302 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.0"/> 1075 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.0"/>
1303 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.1"/> 1076 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.1"/>
1304 </operands> 1077 </operands>
1305 <operands xsi:type="language_1:InstanceOf"> 1078 <operands xsi:type="language_1:InstanceOf">
1306 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.1"/> 1079 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.1"/>
1307 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> 1080 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
1308 </operands> 1081 </operands>
1309 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1"> 1082 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
1310 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.0"/> 1083 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.0"/>
1311 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.0"/> 1084 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.0"/>
1312 </operands> 1085 </operands>
1313 <operands xsi:type="language_1:InstanceOf"> 1086 <operands xsi:type="language_1:InstanceOf">
1314 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.0"/> 1087 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.0"/>
1315 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 1088 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1316 </operands> 1089 </operands>
1317 <operands xsi:type="language_1:Not"> 1090 <operands xsi:type="language_1:Not">
1318 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16"> 1091 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13">
1319 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.0"/> 1092 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.0"/>
1320 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.1"/> 1093 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.1"/>
1321 </operand> 1094 </operand>
1322 </operands> 1095 </operands>
1323 </expression> 1096 </expression>
1324 </operands> 1097 </operands>
1325 </value> 1098 </value>
1326 </relations> 1099 </relations>
1327 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries indirectLinkAllowed" annotations="//@annotations.28"> 1100 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries indirectLinkAllowed" annotations="//@annotations.20">
1328 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 1101 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1329 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 1102 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1330 <variables name="parameter From"> 1103 <variables name="parameter From">
@@ -1335,11 +1108,11 @@
1335 </variables> 1108 </variables>
1336 <value xsi:type="language_1:Or"> 1109 <value xsi:type="language_1:Or">
1337 <operands xsi:type="language_1:And"> 1110 <operands xsi:type="language_1:And">
1338 <operands xsi:type="language_1:TransitiveClosure" relation="//@relations.17"/> 1111 <operands xsi:type="language_1:TransitiveClosure" relation="//@relations.14"/>
1339 </operands> 1112 </operands>
1340 </value> 1113 </value>
1341 </relations> 1114 </relations>
1342 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries linkAllowed" annotations="//@annotations.29"> 1115 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries linkAllowed" annotations="//@annotations.21">
1343 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 1116 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1344 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 1117 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1345 <variables name="parameter From"> 1118 <variables name="parameter From">
@@ -1349,137 +1122,124 @@
1349 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 1122 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1350 </variables> 1123 </variables>
1351 <value xsi:type="language_1:Or"> 1124 <value xsi:type="language_1:Or">
1352 <operands xsi:type="language_1:Exists"> 1125 <operands xsi:type="language_1:And">
1353 <quantifiedVariables name="variable 0"> 1126 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15">
1354 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> 1127 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/>
1355 </quantifiedVariables> 1128 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.1"/>
1356 <expression xsi:type="language_1:And"> 1129 </operands>
1357 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18"> 1130 <operands xsi:type="language_1:Not">
1358 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/> 1131 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17">
1359 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.1"/> 1132 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/>
1360 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.0"/> 1133 </operand>
1361 </operands> 1134 </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> 1135 </operands>
1369 <operands xsi:type="language_1:Exists"> 1136 <operands xsi:type="language_1:And">
1370 <quantifiedVariables name="variable virtual0"> 1137 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15">
1371 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> 1138 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/>
1372 </quantifiedVariables> 1139 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.1"/>
1373 <expression xsi:type="language_1:And"> 1140 </operands>
1374 <operands xsi:type="language_1:Equals"> 1141 <operands xsi:type="language_1:InstanceOf">
1375 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.1/@quantifiedVariables.0"/> 1142 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/>
1376 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/> 1143 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1377 </operands> 1144 </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> 1145 </operands>
1389 <operands xsi:type="language_1:Exists"> 1146 <operands xsi:type="language_1:And">
1390 <quantifiedVariables name="variable 0"> 1147 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15">
1391 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> 1148 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/>
1392 </quantifiedVariables> 1149 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.1"/>
1393 <expression xsi:type="language_1:And"> 1150 </operands>
1394 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18"> 1151 <operands xsi:type="language_1:InstanceOf">
1395 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/> 1152 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/>
1396 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.1"/> 1153 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1397 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.2/@quantifiedVariables.0"/> 1154 </operands>
1398 </operands> 1155 <operands xsi:type="language_1:InstanceOf">
1399 <operands xsi:type="language_1:InstanceOf"> 1156 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.1"/>
1400 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/> 1157 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
1401 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 1158 </operands>
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> 1159 </operands>
1409 </value> 1160 </value>
1410 </relations> 1161 </relations>
1411 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries matchingAntenna" annotations="//@annotations.30"> 1162 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries matchingAntenna" annotations="//@annotations.22">
1412 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 1163 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1413 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 1164 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1414 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1415 <variables name="parameter From"> 1165 <variables name="parameter From">
1416 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 1166 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1417 </variables> 1167 </variables>
1418 <variables name="parameter To"> 1168 <variables name="parameter To">
1419 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 1169 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1420 </variables> 1170 </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"> 1171 <value xsi:type="language_1:Or">
1425 <operands xsi:type="language_1:Exists"> 1172 <operands xsi:type="language_1:Exists">
1426 <quantifiedVariables name="variable Gain"> 1173 <quantifiedVariables name="variable FromSys">
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"/> 1174 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1431 </quantifiedVariables> 1175 </quantifiedVariables>
1432 <quantifiedVariables name="variable virtual2"> 1176 <quantifiedVariables name="variable ToSys">
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"/> 1177 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1440 </quantifiedVariables> 1178 </quantifiedVariables>
1441 <expression xsi:type="language_1:And"> 1179 <expression xsi:type="language_1:And">
1442 <operands xsi:type="language_1:InstanceOf"> 1180 <operands xsi:type="language_1:InstanceOf">
1443 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.0"/> 1181 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.0"/>
1444 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 1182 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1445 </operands> 1183 </operands>
1446 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> 1184 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
1447 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.0"/> 1185 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.0"/>
1448 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@value/@operands.0/@quantifiedVariables.1"/> 1186 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.0"/>
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> 1187 </operands>
1470 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> 1188 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
1471 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.1"/> 1189 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.1"/>
1472 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@value/@operands.0/@quantifiedVariables.4"/> 1190 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.1"/>
1473 </operands> 1191 </operands>
1474 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9"> 1192 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16">
1475 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@value/@operands.0/@quantifiedVariables.4"/> 1193 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.0"/>
1476 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@value/@operands.0/@quantifiedVariables.0"/> 1194 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.1"/>
1477 </operands> 1195 </operands>
1478 </expression> 1196 </expression>
1479 </operands> 1197 </operands>
1480 </value> 1198 </value>
1481 </relations> 1199 </relations>
1482 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries cubeSat3U" annotations="//@annotations.31"> 1200 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries matchingCommSubsystem" annotations="//@annotations.23">
1201 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1202 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1203 <variables name="parameter From">
1204 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1205 </variables>
1206 <variables name="parameter To">
1207 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1208 </variables>
1209 <value xsi:type="language_1:Or">
1210 <operands xsi:type="language_1:And">
1211 <operands xsi:type="language_1:InstanceOf">
1212 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.0"/>
1213 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1214 </operands>
1215 <operands xsi:type="language_1:InstanceOf">
1216 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.1"/>
1217 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1218 </operands>
1219 </operands>
1220 <operands xsi:type="language_1:And">
1221 <operands xsi:type="language_1:InstanceOf">
1222 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.0"/>
1223 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1224 </operands>
1225 <operands xsi:type="language_1:InstanceOf">
1226 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.1"/>
1227 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1228 </operands>
1229 </operands>
1230 <operands xsi:type="language_1:And">
1231 <operands xsi:type="language_1:InstanceOf">
1232 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.0"/>
1233 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
1234 </operands>
1235 <operands xsi:type="language_1:InstanceOf">
1236 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.1"/>
1237 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
1238 </operands>
1239 </operands>
1240 </value>
1241 </relations>
1242 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries cubeSat3U" annotations="//@annotations.24">
1483 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 1243 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1484 <variables name="parameter Sat"> 1244 <variables name="parameter Sat">
1485 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 1245 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
@@ -1487,27 +1247,41 @@
1487 <value xsi:type="language_1:Or"> 1247 <value xsi:type="language_1:Or">
1488 <operands xsi:type="language_1:And"> 1248 <operands xsi:type="language_1:And">
1489 <operands xsi:type="language_1:InstanceOf"> 1249 <operands xsi:type="language_1:InstanceOf">
1490 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/> 1250 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/>
1491 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 1251 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1492 </operands> 1252 </operands>
1493 </operands> 1253 </operands>
1494 </value> 1254 </value>
1495 </relations> 1255 </relations>
1496 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries communicationLoop" annotations="//@annotations.32"> 1256 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries cubeSat6U" annotations="//@annotations.25">
1257 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/>
1258 <variables name="parameter Sat">
1259 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/>
1260 </variables>
1261 <value xsi:type="language_1:Or">
1262 <operands xsi:type="language_1:And">
1263 <operands xsi:type="language_1:InstanceOf">
1264 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.0"/>
1265 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/>
1266 </operands>
1267 </operands>
1268 </value>
1269 </relations>
1270 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries communicationLoop" annotations="//@annotations.26">
1497 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 1271 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1498 <variables name="parameter Element"> 1272 <variables name="parameter Element">
1499 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 1273 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1500 </variables> 1274 </variables>
1501 <value xsi:type="language_1:Or"> 1275 <value xsi:type="language_1:Or">
1502 <operands xsi:type="language_1:And"> 1276 <operands xsi:type="language_1:And">
1503 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21"> 1277 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20">
1504 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.0"/> 1278 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/>
1505 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.0"/> 1279 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/>
1506 </operands> 1280 </operands>
1507 </operands> 1281 </operands>
1508 </value> 1282 </value>
1509 </relations> 1283 </relations>
1510 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries indirectCommunicationLink" annotations="//@annotations.33"> 1284 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries indirectCommunicationLink" annotations="//@annotations.27">
1511 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 1285 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1512 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 1286 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1513 <variables name="parameter Source"> 1287 <variables name="parameter Source">
@@ -1518,11 +1292,11 @@
1518 </variables> 1292 </variables>
1519 <value xsi:type="language_1:Or"> 1293 <value xsi:type="language_1:Or">
1520 <operands xsi:type="language_1:And"> 1294 <operands xsi:type="language_1:And">
1521 <operands xsi:type="language_1:TransitiveClosure" relation="//@relations.22"/> 1295 <operands xsi:type="language_1:TransitiveClosure" relation="//@relations.21"/>
1522 </operands> 1296 </operands>
1523 </value> 1297 </value>
1524 </relations> 1298 </relations>
1525 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries directCommunicationLink" annotations="//@annotations.34"> 1299 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries directCommunicationLink" annotations="//@annotations.28">
1526 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 1300 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1527 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 1301 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1528 <variables name="parameter Source"> 1302 <variables name="parameter Source">
@@ -1544,34 +1318,34 @@
1544 </quantifiedVariables> 1318 </quantifiedVariables>
1545 <expression xsi:type="language_1:And"> 1319 <expression xsi:type="language_1:And">
1546 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> 1320 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
1547 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/> 1321 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.0"/>
1548 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.1"/> 1322 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.1"/>
1549 </operands> 1323 </operands>
1550 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6"> 1324 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
1551 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/> 1325 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.0"/>
1552 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.2"/> 1326 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.2"/>
1553 </operands> 1327 </operands>
1554 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> 1328 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
1555 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.0"/> 1329 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.0"/>
1556 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.1"/> 1330 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.1"/>
1557 </operands> 1331 </operands>
1558 <operands xsi:type="language_1:InstanceOf"> 1332 <operands xsi:type="language_1:InstanceOf">
1559 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.1"/> 1333 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.1"/>
1560 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> 1334 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1561 </operands> 1335 </operands>
1562 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> 1336 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
1563 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.1"/> 1337 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.1"/>
1564 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.2"/> 1338 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.2"/>
1565 </operands> 1339 </operands>
1566 <operands xsi:type="language_1:InstanceOf"> 1340 <operands xsi:type="language_1:InstanceOf">
1567 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.2"/> 1341 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.2"/>
1568 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> 1342 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1569 </operands> 1343 </operands>
1570 </expression> 1344 </expression>
1571 </operands> 1345 </operands>
1572 </value> 1346 </value>
1573 </relations> 1347 </relations>
1574 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetBand" annotations="//@annotations.35"> 1348 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetBand" annotations="//@annotations.29">
1575 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> 1349 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
1576 <variables name="parameter Link"> 1350 <variables name="parameter Link">
1577 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> 1351 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
@@ -1584,252 +1358,34 @@
1584 <quantifiedVariables name="variable TargetSubsystem"> 1358 <quantifiedVariables name="variable TargetSubsystem">
1585 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> 1359 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1586 </quantifiedVariables> 1360 </quantifiedVariables>
1587 <quantifiedVariables name="variable Band">
1588 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1589 </quantifiedVariables>
1590 <expression xsi:type="language_1:And"> 1361 <expression xsi:type="language_1:And">
1591 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> 1362 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
1592 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@variables.0"/> 1363 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.0"/>
1593 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.0"/> 1364 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/>
1594 </operands>
1595 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
1596 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@variables.0"/>
1597 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.1"/>
1598 </operands> 1365 </operands>
1599 <operands xsi:type="language_1:InstanceOf"> 1366 <operands xsi:type="language_1:InstanceOf">
1600 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.1"/> 1367 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/>
1601 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> 1368 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1602 </operands> 1369 </operands>
1603 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
1604 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.0"/>
1605 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.2"/>
1606 </operands>
1607 <operands xsi:type="language_1:Not">
1608 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24">
1609 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.1"/>
1610 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.2"/>
1611 </operand>
1612 </operands>
1613 </expression>
1614 </operands>
1615 </value>
1616 </relations>
1617 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemBand" annotations="//@annotations.36">
1618 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1619 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1620 <variables name="parameter Comm">
1621 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1622 </variables>
1623 <variables name="parameter Band">
1624 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1625 </variables>
1626 <value xsi:type="language_1:Or">
1627 <operands xsi:type="language_1:And">
1628 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
1629 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@variables.0"/>
1630 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@variables.1"/>
1631 </operands>
1632 </operands>
1633 </value>
1634 </relations>
1635 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetGain" annotations="//@annotations.37">
1636 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
1637 <variables name="parameter Link">
1638 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
1639 </variables>
1640 <value xsi:type="language_1:Or">
1641 <operands xsi:type="language_1:Exists">
1642 <quantifiedVariables name="variable SourceSubsystem">
1643 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1644 </quantifiedVariables>
1645 <quantifiedVariables name="variable TargetSubsystem">
1646 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1647 </quantifiedVariables>
1648 <quantifiedVariables name="variable Gain">
1649 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1650 </quantifiedVariables>
1651 <expression xsi:type="language_1:And">
1652 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
1653 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@variables.0"/>
1654 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.0"/>
1655 </operands>
1656 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6"> 1370 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
1657 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@variables.0"/> 1371 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.0"/>
1658 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.1"/> 1372 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.1"/>
1659 </operands> 1373 </operands>
1660 <operands xsi:type="language_1:InstanceOf"> 1374 <operands xsi:type="language_1:InstanceOf">
1661 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.1"/> 1375 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.1"/>
1662 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> 1376 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1663 </operands> 1377 </operands>
1664 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
1665 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.0"/>
1666 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.2"/>
1667 </operands>
1668 <operands xsi:type="language_1:Not"> 1378 <operands xsi:type="language_1:Not">
1669 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26"> 1379 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16">
1670 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.1"/> 1380 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/>
1671 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.2"/> 1381 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.1"/>
1672 </operand>
1673 </operands>
1674 </expression>
1675 </operands>
1676 </value>
1677 </relations>
1678 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemGain" annotations="//@annotations.38">
1679 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1680 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1681 <variables name="parameter Comm">
1682 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1683 </variables>
1684 <variables name="parameter Gain">
1685 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1686 </variables>
1687 <value xsi:type="language_1:Or">
1688 <operands xsi:type="language_1:And">
1689 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
1690 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.0"/>
1691 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.1"/>
1692 </operands>
1693 </operands>
1694 </value>
1695 </relations>
1696 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries uhfAntennaGainNotLow" annotations="//@annotations.39">
1697 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1698 <variables name="parameter Comm">
1699 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1700 </variables>
1701 <value xsi:type="language_1:Or">
1702 <operands xsi:type="language_1:Exists">
1703 <quantifiedVariables name="variable virtual0">
1704 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1705 </quantifiedVariables>
1706 <expression xsi:type="language_1:And">
1707 <operands xsi:type="language_1:Equals">
1708 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@value/@operands.0/@quantifiedVariables.0"/>
1709 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/>
1710 </operands>
1711 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
1712 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@variables.0"/>
1713 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@value/@operands.0/@quantifiedVariables.0"/>
1714 </operands>
1715 <operands xsi:type="language_1:Not">
1716 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.28">
1717 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@variables.0"/>
1718 </operand>
1719 </operands>
1720 </expression>
1721 </operands>
1722 </value>
1723 </relations>
1724 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemGainLow" annotations="//@annotations.40">
1725 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1726 <variables name="parameter Comm">
1727 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1728 </variables>
1729 <value xsi:type="language_1:Or">
1730 <operands xsi:type="language_1:Exists">
1731 <quantifiedVariables name="variable virtual0">
1732 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1733 </quantifiedVariables>
1734 <expression xsi:type="language_1:And">
1735 <operands xsi:type="language_1:Equals">
1736 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.28/@value/@operands.0/@quantifiedVariables.0"/>
1737 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.3"/>
1738 </operands>
1739 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
1740 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.28/@variables.0"/>
1741 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.28/@value/@operands.0/@quantifiedVariables.0"/>
1742 </operands>
1743 </expression>
1744 </operands>
1745 </value>
1746 </relations>
1747 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries xAntennaGainNotMedium" annotations="//@annotations.41">
1748 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1749 <variables name="parameter Comm">
1750 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1751 </variables>
1752 <value xsi:type="language_1:Or">
1753 <operands xsi:type="language_1:Exists">
1754 <quantifiedVariables name="variable virtual0">
1755 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1756 </quantifiedVariables>
1757 <expression xsi:type="language_1:And">
1758 <operands xsi:type="language_1:Equals">
1759 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@value/@operands.0/@quantifiedVariables.0"/>
1760 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.1"/>
1761 </operands>
1762 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
1763 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@variables.0"/>
1764 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@value/@operands.0/@quantifiedVariables.0"/>
1765 </operands>
1766 <operands xsi:type="language_1:Not">
1767 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.30">
1768 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@variables.0"/>
1769 </operand> 1382 </operand>
1770 </operands> 1383 </operands>
1771 </expression> 1384 </expression>
1772 </operands> 1385 </operands>
1773 </value> 1386 </value>
1774 </relations> 1387 </relations>
1775 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemGainMedium" annotations="//@annotations.42"> 1388 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries threeUCubeSatWithNonUhfCrossLink" annotations="//@annotations.30">
1776 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1777 <variables name="parameter Comm">
1778 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1779 </variables>
1780 <value xsi:type="language_1:Or">
1781 <operands xsi:type="language_1:Exists">
1782 <quantifiedVariables name="variable virtual0">
1783 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1784 </quantifiedVariables>
1785 <expression xsi:type="language_1:And">
1786 <operands xsi:type="language_1:Equals">
1787 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.30/@value/@operands.0/@quantifiedVariables.0"/>
1788 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.4"/>
1789 </operands>
1790 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
1791 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.30/@variables.0"/>
1792 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.30/@value/@operands.0/@quantifiedVariables.0"/>
1793 </operands>
1794 </expression>
1795 </operands>
1796 </value>
1797 </relations>
1798 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries kaAntennaGainLow" annotations="//@annotations.43">
1799 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1800 <variables name="parameter Comm">
1801 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1802 </variables>
1803 <value xsi:type="language_1:Or">
1804 <operands xsi:type="language_1:Exists">
1805 <quantifiedVariables name="variable virtual0">
1806 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1807 </quantifiedVariables>
1808 <quantifiedVariables name="variable virtual2">
1809 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1810 </quantifiedVariables>
1811 <expression xsi:type="language_1:And">
1812 <operands xsi:type="language_1:Equals">
1813 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.31/@value/@operands.0/@quantifiedVariables.0"/>
1814 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.2"/>
1815 </operands>
1816 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
1817 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.31/@variables.0"/>
1818 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.31/@value/@operands.0/@quantifiedVariables.0"/>
1819 </operands>
1820 <operands xsi:type="language_1:Equals">
1821 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.31/@value/@operands.0/@quantifiedVariables.1"/>
1822 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.3"/>
1823 </operands>
1824 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
1825 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.31/@variables.0"/>
1826 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.31/@value/@operands.0/@quantifiedVariables.1"/>
1827 </operands>
1828 </expression>
1829 </operands>
1830 </value>
1831 </relations>
1832 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries threeUCubeSatWithNonUhfCrossLink" annotations="//@annotations.44">
1833 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 1389 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1834 <variables name="parameter Sat"> 1390 <variables name="parameter Sat">
1835 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 1391 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
@@ -1850,71 +1406,62 @@
1850 </quantifiedVariables> 1406 </quantifiedVariables>
1851 <expression xsi:type="language_1:And"> 1407 <expression xsi:type="language_1:And">
1852 <operands xsi:type="language_1:InstanceOf"> 1408 <operands xsi:type="language_1:InstanceOf">
1853 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@variables.0"/> 1409 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@variables.0"/>
1854 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 1410 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1855 </operands> 1411 </operands>
1856 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> 1412 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
1857 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@variables.0"/> 1413 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@variables.0"/>
1858 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.0"/> 1414 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.0"/>
1859 </operands> 1415 </operands>
1860 <operands xsi:type="language_1:Not"> 1416 <operands xsi:type="language_1:Not">
1861 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.33"> 1417 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24">
1862 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.0"/> 1418 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.0"/>
1863 </operand> 1419 </operand>
1864 </operands> 1420 </operands>
1865 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> 1421 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
1866 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.1"/> 1422 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.1"/>
1867 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.0"/> 1423 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.0"/>
1868 </operands> 1424 </operands>
1869 <operands xsi:type="language_1:InstanceOf"> 1425 <operands xsi:type="language_1:InstanceOf">
1870 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.0"/> 1426 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.0"/>
1871 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> 1427 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1872 </operands> 1428 </operands>
1873 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6"> 1429 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
1874 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.1"/> 1430 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.1"/>
1875 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.2"/> 1431 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.2"/>
1876 </operands> 1432 </operands>
1877 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> 1433 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
1878 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.3"/> 1434 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.3"/>
1879 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.2"/> 1435 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.2"/>
1880 </operands> 1436 </operands>
1881 <operands xsi:type="language_1:InstanceOf"> 1437 <operands xsi:type="language_1:InstanceOf">
1882 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.2"/> 1438 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.2"/>
1883 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> 1439 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1884 </operands> 1440 </operands>
1885 <operands xsi:type="language_1:Not"> 1441 <operands xsi:type="language_1:Not">
1886 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.34"> 1442 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25">
1887 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.3"/> 1443 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.3"/>
1888 </operand> 1444 </operand>
1889 </operands> 1445 </operands>
1890 </expression> 1446 </expression>
1891 </operands> 1447 </operands>
1892 </value> 1448 </value>
1893 </relations> 1449 </relations>
1894 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemBandUhf" annotations="//@annotations.45"> 1450 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemBandUhf" annotations="//@annotations.31">
1895 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> 1451 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1896 <variables name="parameter Comm"> 1452 <variables name="parameter Comm">
1897 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> 1453 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1898 </variables> 1454 </variables>
1899 <value xsi:type="language_1:Or"> 1455 <value xsi:type="language_1:Or">
1900 <operands xsi:type="language_1:Exists"> 1456 <operands xsi:type="language_1:And">
1901 <quantifiedVariables name="variable virtual0"> 1457 <operands xsi:type="language_1:InstanceOf">
1458 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@variables.0"/>
1902 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> 1459 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1903 </quantifiedVariables> 1460 </operands>
1904 <expression xsi:type="language_1:And">
1905 <operands xsi:type="language_1:Equals">
1906 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.33/@value/@operands.0/@quantifiedVariables.0"/>
1907 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/>
1908 </operands>
1909 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
1910 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.33/@variables.0"/>
1911 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.33/@value/@operands.0/@quantifiedVariables.0"/>
1912 </operands>
1913 </expression>
1914 </operands> 1461 </operands>
1915 </value> 1462 </value>
1916 </relations> 1463 </relations>
1917 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries groundStationNetwork" annotations="//@annotations.46"> 1464 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries groundStationNetwork" annotations="//@annotations.32">
1918 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> 1465 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
1919 <variables name="parameter Network"> 1466 <variables name="parameter Network">
1920 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> 1467 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
@@ -1922,52 +1469,45 @@
1922 <value xsi:type="language_1:Or"> 1469 <value xsi:type="language_1:Or">
1923 <operands xsi:type="language_1:And"> 1470 <operands xsi:type="language_1:And">
1924 <operands xsi:type="language_1:InstanceOf"> 1471 <operands xsi:type="language_1:InstanceOf">
1925 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.34/@variables.0"/> 1472 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@variables.0"/>
1926 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> 1473 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
1927 </operands> 1474 </operands>
1928 </operands> 1475 </operands>
1929 </value> 1476 </value>
1930 </relations> 1477 </relations>
1931 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries cubeSatWithKaAntenna" annotations="//@annotations.47"> 1478 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries cubeSatWithKaAntenna" annotations="//@annotations.33">
1932 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 1479 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1933 <variables name="parameter Spacecraft"> 1480 <variables name="parameter Spacecraft">
1934 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 1481 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1935 </variables> 1482 </variables>
1936 <value xsi:type="language_1:Or"> 1483 <value xsi:type="language_1:Or">
1937 <operands xsi:type="language_1:Exists"> 1484 <operands xsi:type="language_1:Exists">
1938 <quantifiedVariables name="variable virtual0"> 1485 <quantifiedVariables name="variable Comm">
1939 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> 1486 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
1940 </quantifiedVariables>
1941 <quantifiedVariables name="variable virtual1">
1942 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1943 </quantifiedVariables> 1487 </quantifiedVariables>
1944 <expression xsi:type="language_1:And"> 1488 <expression xsi:type="language_1:And">
1945 <operands xsi:type="language_1:InstanceOf"> 1489 <operands xsi:type="language_1:InstanceOf">
1946 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.35/@variables.0"/> 1490 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.0"/>
1947 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 1491 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1948 </operands> 1492 </operands>
1949 <operands xsi:type="language_1:Equals">
1950 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.35/@value/@operands.0/@quantifiedVariables.0"/>
1951 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.2"/>
1952 </operands>
1953 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> 1493 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
1954 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.35/@variables.0"/> 1494 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.0"/>
1955 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.35/@value/@operands.0/@quantifiedVariables.1"/> 1495 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.0"/>
1956 </operands> 1496 </operands>
1957 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8"> 1497 <operands xsi:type="language_1:InstanceOf">
1958 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.35/@value/@operands.0/@quantifiedVariables.1"/> 1498 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.0"/>
1959 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.35/@value/@operands.0/@quantifiedVariables.0"/> 1499 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
1960 </operands> 1500 </operands>
1961 <operands xsi:type="language_1:Not"> 1501 <operands xsi:type="language_1:Not">
1962 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.36"> 1502 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27">
1963 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.35/@variables.0"/> 1503 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.0"/>
1964 </operand> 1504 </operand>
1965 </operands> 1505 </operands>
1966 </expression> 1506 </expression>
1967 </operands> 1507 </operands>
1968 </value> 1508 </value>
1969 </relations> 1509 </relations>
1970 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries smallSat" annotations="//@annotations.48"> 1510 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries smallSat" annotations="//@annotations.34">
1971 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/> 1511 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
1972 <variables name="parameter Sat"> 1512 <variables name="parameter Sat">
1973 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/> 1513 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
@@ -1975,68 +1515,17 @@
1975 <value xsi:type="language_1:Or"> 1515 <value xsi:type="language_1:Or">
1976 <operands xsi:type="language_1:And"> 1516 <operands xsi:type="language_1:And">
1977 <operands xsi:type="language_1:InstanceOf"> 1517 <operands xsi:type="language_1:InstanceOf">
1978 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.36/@variables.0"/> 1518 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@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"/>
1992 </variables>
1993 <value xsi:type="language_1:Or">
1994 <operands xsi:type="language_1:And">
1995 <operands xsi:type="language_1:InstanceOf">
1996 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.37/@variables.0"/>
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"/> 1519 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
2018 </operands> 1520 </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"/>
2022 </operands>
2023 </operands> 1521 </operands>
2024 </value> 1522 </value>
2025 </relations> 1523 </relations>
2026 <elements name="UHF literal TransceiverBand" definedInType="//@types.13"/>
2027 <elements name="X literal TransceiverBand" definedInType="//@types.13"/>
2028 <elements name="Ka literal TransceiverBand" definedInType="//@types.13"/>
2029 <elements name="LOW literal AntennaGain" definedInType="//@types.14"/>
2030 <elements name="MEDIUM literal AntennaGain" definedInType="//@types.14"/>
2031 <elements name="HIGH literal AntennaGain" definedInType="//@types.14"/>
2032 <elements name="CubeSat3U literal SpacecraftKind" definedInType="//@types.15"/>
2033 <elements name="CubeSat6U literal SpacecraftKind" definedInType="//@types.15"/>
2034 <elements name="SmallSat literal SpacecraftKind" definedInType="//@types.15"/>
2035 <elements name="o 1" definedInType="//@types.16 //@types.18"/> 1524 <elements name="o 1" definedInType="//@types.16 //@types.18"/>
2036 <elements name="o 2" definedInType="//@types.20 //@types.22"/> 1525 <elements name="o 2" definedInType="//@types.20 //@types.22"/>
2037 <elements name="o 3" definedInType="//@types.24"/> 1526 <elements name="o 3" definedInType="//@types.24 //@types.26"/>
2038 <elements name="o 4" definedInType="//@types.24"/> 1527 <elements name="o 4" definedInType="//@types.24 //@types.28"/>
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"/> 1528 <containmentHierarchies typesOrderedInHierarchy="//@types.3 //@types.1 //@types.10 //@types.5 //@types.6 //@types.9 //@types.0 //@types.13 //@types.15 //@types.7 //@types.12 //@types.2 //@types.11 //@types.8 //@types.4 //@types.14 //@types.16 //@types.17 //@types.18 //@types.19 //@types.20 //@types.21 //@types.22 //@types.23 //@types.24 //@types.25 //@types.26 //@types.27 //@types.28 //@types.29" containmentRelations="//@relations.0 //@relations.1 //@relations.2 //@relations.3 //@relations.4"/>
2040 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.0" relation="//@relations.0" lower="1"/> 1529 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.0" relation="//@relations.0" lower="1"/>
2041 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.1" relation="//@relations.0" upper="1"/> 1530 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.1" relation="//@relations.0" upper="1"/>
2042 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.2" relation="//@relations.1" lower="2"/> 1531 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.2" relation="//@relations.1" lower="2"/>
@@ -2049,55 +1538,35 @@
2049 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.9" relation="//@relations.5" upper="1"/> 1538 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.9" relation="//@relations.5" upper="1"/>
2050 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.10" relation="//@relations.6" lower="1"/> 1539 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.10" relation="//@relations.6" lower="1"/>
2051 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.11" relation="//@relations.6" upper="1"/> 1540 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.11" relation="//@relations.6" upper="1"/>
2052 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.12" relation="//@relations.7" lower="1"/> 1541 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.12" targetRelation="//@relations.0"/>
2053 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.13" relation="//@relations.7" upper="1"/> 1542 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.13" targetRelation="//@relations.2"/>
2054 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.14" relation="//@relations.8" lower="1"/> 1543 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.7" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.communicationLinkDoesNotStartAtContainingElement"/>
2055 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.15" relation="//@relations.8" upper="1"/> 1544 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.8" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.notEnoughInterferometryPayloads"/>
2056 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.16" relation="//@relations.9" lower="1"/> 1545 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.9" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.atLeastTwoInterferometryPayloads"/>
2057 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.17" relation="//@relations.9" upper="1"/> 1546 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.10" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.spacecraftWithInterferometryPayload"/>
2058 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.18" targetRelation="//@relations.0"/> 1547 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.11" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.noLinkToGroundStation"/>
2059 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.19" targetRelation="//@relations.2"/> 1548 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.12" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.noPotentialLinkToGroundStation"/>
2060 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.20" targetRelation="//@relations.8"/> 1549 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.13" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.indirectLinkAllowed"/>
2061 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.21" targetRelation="//@relations.9"/> 1550 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.14" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.linkAllowed"/>
2062 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.10" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.communicationLinkDoesNotStartAtContainingElement"/> 1551 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.15" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.matchingAntenna"/>
2063 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.11" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.notEnoughInterferometryPayloads"/> 1552 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.16" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.matchingCommSubsystem"/>
2064 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.12" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.atLeastTwoInterferometryPayloads"/> 1553 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.17" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.cubeSat3U"/>
2065 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.13" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.spacecraftWithInterferometryPayload"/> 1554 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.18" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.cubeSat6U"/>
2066 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.14" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.noLinkToGroundStation"/> 1555 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.19" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.communicationLoop"/>
2067 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.15" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.noPotentialLinkToGroundStation"/> 1556 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.20" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.indirectCommunicationLink"/>
2068 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.16" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.indirectLinkAllowed"/> 1557 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.21" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.directCommunicationLink"/>
2069 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.17" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.linkAllowed"/> 1558 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.22" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.incompatibleSourceAndTargetBand"/>
2070 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.18" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.matchingAntenna"/> 1559 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.23" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.threeUCubeSatWithNonUhfCrossLink"/>
2071 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.19" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.cubeSat3U"/> 1560 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.24" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemBandUhf"/>
2072 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.20" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.communicationLoop"/> 1561 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.25" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.groundStationNetwork"/>
2073 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.21" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.indirectCommunicationLink"/> 1562 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.26" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.cubeSatWithKaAntenna"/>
2074 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.22" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.directCommunicationLink"/> 1563 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.27" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.smallSat"/>
2075 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.23" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.incompatibleSourceAndTargetBand"/> 1564 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.14" query="//@annotations.14"/>
2076 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.24" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemBand"/> 1565 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.15" query="//@annotations.15"/>
2077 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.25" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.incompatibleSourceAndTargetGain"/> 1566 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.16" query="//@annotations.18"/>
2078 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.26" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemGain"/> 1567 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.17" query="//@annotations.19"/>
2079 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.27" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.uhfAntennaGainNotLow"/> 1568 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.18" query="//@annotations.26"/>
2080 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.28" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemGainLow"/> 1569 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.19" query="//@annotations.29"/>
2081 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.29" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.xAntennaGainNotMedium"/> 1570 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.20" query="//@annotations.30"/>
2082 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.30" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemGainMedium"/> 1571 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.21" query="//@annotations.33"/>
2083 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.31" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.kaAntennaGainLow"/>
2084 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.32" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.threeUCubeSatWithNonUhfCrossLink"/>
2085 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.33" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemBandUhf"/>
2086 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.34" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.groundStationNetwork"/>
2087 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.35" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.cubeSatWithKaAntenna"/>
2088 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.36" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.smallSat"/>
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"/>
2096 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.28" query="//@annotations.37"/>
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"/>
2103</language:LogicProblem> 1572</language:LogicProblem>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-01 11:25:00 +0000