aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generation.logicproblem
diff options
context:
space:
mode:
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generation.logicproblem')
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generation.logicproblem729
1 files changed, 303 insertions, 426 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 605a5a23..ab54ab85 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generation.logicproblem
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generation.logicproblem
@@ -1,35 +1,34 @@
1<?xml version="1.0" encoding="ASCII"?> 1<?xml version="1.0" encoding="ASCII"?>
2<language:LogicProblem xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/ecore2logicannotation" xmlns:language="http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem" xmlns:language_1="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language" xmlns:partial2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/partial2logicannotation" xmlns:viatra2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/viatra2logicannotation"> 2<language:LogicProblem xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/ecore2logicannotation" xmlns:language="http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem" xmlns:language_1="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language" xmlns:partial2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/partial2logicannotation" xmlns:viatra2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/viatra2logicannotation">
3 <types xsi:type="language_1:TypeDeclaration" name="ConstellationMission class" subtypes="//@types.1 //@types.16 //@types.17" isAbstract="true"/> 3 <types xsi:type="language_1:TypeDeclaration" name="ConstellationMission class" subtypes="//@types.1 //@types.15 //@types.16" isAbstract="true"/>
4 <types xsi:type="language_1:TypeDeclaration" name="InterferometryMission class" subtypes="//@types.18 //@types.19" supertypes="//@types.0" isAbstract="true"/> 4 <types xsi:type="language_1:TypeDeclaration" name="InterferometryMission class" subtypes="//@types.17 //@types.18" supertypes="//@types.0" isAbstract="true"/>
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.19 //@types.20" 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.21 //@types.22" 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.10 //@types.11" supertypes="//@types.2 //@types.20" 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"/> 8 <types xsi:type="language_1:TypeDeclaration" name="CommSubsystem class" subtypes="//@types.12 //@types.13 //@types.14 //@types.23 //@types.24" isAbstract="true"/>
9 <types xsi:type="language_1:TypeDeclaration" name="DirectedCommunicationLink class"/> 9 <types xsi:type="language_1:TypeDeclaration" name="Payload class" subtypes="//@types.7" isAbstract="true"/>
10 <types xsi:type="language_1:TypeDeclaration" name="Payload class" subtypes="//@types.8" isAbstract="true"/> 10 <types xsi:type="language_1:TypeDeclaration" name="InterferometryPayload class" supertypes="//@types.6"/>
11 <types xsi:type="language_1:TypeDeclaration" name="InterferometryPayload class" supertypes="//@types.7"/> 11 <types xsi:type="language_1:TypeDeclaration" name="CubeSat3U class" supertypes="//@types.11"/>
12 <types xsi:type="language_1:TypeDeclaration" name="CubeSat3U class" supertypes="//@types.12"/> 12 <types xsi:type="language_1:TypeDeclaration" name="CubeSat6U class" supertypes="//@types.11"/>
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"/> 13 <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"/> 14 <types xsi:type="language_1:TypeDeclaration" name="CubeSat class" subtypes="//@types.8 //@types.9" supertypes="//@types.4" isAbstract="true"/>
16 <types xsi:type="language_1:TypeDeclaration" name="UHFCommSubsystem class" supertypes="//@types.5 //@types.25"/> 15 <types xsi:type="language_1:TypeDeclaration" name="UHFCommSubsystem class" supertypes="//@types.5 //@types.24"/>
17 <types xsi:type="language_1:TypeDeclaration" name="XCommSubsystem class" subtypes="//@types.26 //@types.27" supertypes="//@types.5" isAbstract="true"/> 16 <types xsi:type="language_1:TypeDeclaration" name="XCommSubsystem class" subtypes="//@types.25 //@types.26" supertypes="//@types.5" isAbstract="true"/>
18 <types xsi:type="language_1:TypeDeclaration" name="KaCommSubsystem class" subtypes="//@types.28 //@types.29" supertypes="//@types.5" isAbstract="true"/> 17 <types xsi:type="language_1:TypeDeclaration" name="KaCommSubsystem class" subtypes="//@types.27 //@types.28" 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.0"/> 18 <types xsi:type="language_1:TypeDefinition" name="ConstellationMission class DefinedPart" subtypes="//@types.17" 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"/> 19 <types xsi:type="language_1:TypeDeclaration" name="ConstellationMission class UndefinedPart" subtypes="//@types.18" supertypes="//@types.0" isAbstract="true"/>
21 <types xsi:type="language_1:TypeDefinition" name="InterferometryMission class DefinedPart" supertypes="//@types.1 //@types.16" elements="//@elements.0"/> 20 <types xsi:type="language_1:TypeDefinition" name="InterferometryMission class DefinedPart" supertypes="//@types.1 //@types.15" elements="//@elements.0"/>
22 <types xsi:type="language_1:TypeDeclaration" name="InterferometryMission class UndefinedPart" supertypes="//@types.1 //@types.17"/> 21 <types xsi:type="language_1:TypeDeclaration" name="InterferometryMission class UndefinedPart" supertypes="//@types.1 //@types.16"/>
23 <types xsi:type="language_1:TypeDefinition" name="CommunicatingElement class DefinedPart" subtypes="//@types.22" supertypes="//@types.2" isAbstract="true" elements="//@elements.1"/> 22 <types xsi:type="language_1:TypeDefinition" name="CommunicatingElement class DefinedPart" subtypes="//@types.21" 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"/> 23 <types xsi:type="language_1:TypeDeclaration" name="CommunicatingElement class UndefinedPart" subtypes="//@types.22 //@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.1"/> 24 <types xsi:type="language_1:TypeDefinition" name="GroundStationNetwork class DefinedPart" supertypes="//@types.3 //@types.19" elements="//@elements.1"/>
26 <types xsi:type="language_1:TypeDeclaration" name="GroundStationNetwork class UndefinedPart" supertypes="//@types.3 //@types.21"/> 25 <types xsi:type="language_1:TypeDeclaration" name="GroundStationNetwork class UndefinedPart" supertypes="//@types.3 //@types.20"/>
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"/> 26 <types xsi:type="language_1:TypeDefinition" name="CommSubsystem class DefinedPart" subtypes="//@types.25 //@types.27" supertypes="//@types.5" isAbstract="true" elements="//@elements.2 //@elements.3"/>
28 <types xsi:type="language_1:TypeDeclaration" name="CommSubsystem class UndefinedPart" subtypes="//@types.13 //@types.27 //@types.29" supertypes="//@types.5" isAbstract="true"/> 27 <types xsi:type="language_1:TypeDeclaration" name="CommSubsystem class UndefinedPart" subtypes="//@types.12 //@types.26 //@types.28" supertypes="//@types.5" isAbstract="true"/>
29 <types xsi:type="language_1:TypeDefinition" name="XCommSubsystem class DefinedPart" supertypes="//@types.14 //@types.24" elements="//@elements.2"/> 28 <types xsi:type="language_1:TypeDefinition" name="XCommSubsystem class DefinedPart" supertypes="//@types.13 //@types.23" elements="//@elements.2"/>
30 <types xsi:type="language_1:TypeDeclaration" name="XCommSubsystem class UndefinedPart" supertypes="//@types.14 //@types.25"/> 29 <types xsi:type="language_1:TypeDeclaration" name="XCommSubsystem class UndefinedPart" supertypes="//@types.13 //@types.24"/>
31 <types xsi:type="language_1:TypeDefinition" name="KaCommSubsystem class DefinedPart" supertypes="//@types.15 //@types.24" elements="//@elements.3"/> 30 <types xsi:type="language_1:TypeDefinition" name="KaCommSubsystem class DefinedPart" supertypes="//@types.14 //@types.23" elements="//@elements.3"/>
32 <types xsi:type="language_1:TypeDeclaration" name="KaCommSubsystem class UndefinedPart" supertypes="//@types.15 //@types.25"/> 31 <types xsi:type="language_1:TypeDeclaration" name="KaCommSubsystem class UndefinedPart" supertypes="//@types.14 //@types.24"/>
33 <assertions name="lowerMultiplicity groundStationNetwork ConstellationMission" annotations="//@annotations.0"> 32 <assertions name="lowerMultiplicity groundStationNetwork ConstellationMission" annotations="//@annotations.0">
34 <value xsi:type="language_1:Forall"> 33 <value xsi:type="language_1:Forall">
35 <quantifiedVariables name="src"> 34 <quantifiedVariables name="src">
@@ -590,10 +589,10 @@
590 </expression> 589 </expression>
591 </value> 590 </value>
592 </assertions> 591 </assertions>
593 <assertions name="upperMultiplicity communicationLink CommunicatingElement" annotations="//@annotations.6"> 592 <assertions name="upperMultiplicity payload Spacecraft" annotations="//@annotations.6">
594 <value xsi:type="language_1:Forall"> 593 <value xsi:type="language_1:Forall">
595 <quantifiedVariables name="src"> 594 <quantifiedVariables name="src">
596 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 595 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
597 </quantifiedVariables> 596 </quantifiedVariables>
598 <quantifiedVariables name="trg 1"> 597 <quantifiedVariables name="trg 1">
599 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> 598 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
@@ -621,16 +620,16 @@
621 </expression> 620 </expression>
622 </value> 621 </value>
623 </assertions> 622 </assertions>
624 <assertions name="upperMultiplicity payload Spacecraft" annotations="//@annotations.7"> 623 <assertions name="upperMultiplicity target CommSubsystem" annotations="//@annotations.7">
625 <value xsi:type="language_1:Forall"> 624 <value xsi:type="language_1:Forall">
626 <quantifiedVariables name="src"> 625 <quantifiedVariables name="src">
627 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 626 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
628 </quantifiedVariables> 627 </quantifiedVariables>
629 <quantifiedVariables name="trg 1"> 628 <quantifiedVariables name="trg 1">
630 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/> 629 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
631 </quantifiedVariables> 630 </quantifiedVariables>
632 <quantifiedVariables name="trg 2"> 631 <quantifiedVariables name="trg 2">
633 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/> 632 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
634 </quantifiedVariables> 633 </quantifiedVariables>
635 <expression xsi:type="language_1:Impl"> 634 <expression xsi:type="language_1:Impl">
636 <leftOperand xsi:type="language_1:And"> 635 <leftOperand xsi:type="language_1:And">
@@ -652,111 +651,13 @@
652 </expression> 651 </expression>
653 </value> 652 </value>
654 </assertions> 653 </assertions>
655 <assertions name="lowerMultiplicity source DirectedCommunicationLink" annotations="//@annotations.8"> 654 <assertions name="PartialInterpretation groundStationNetwork reference ConstellationMission" annotations="//@annotations.8">
656 <value xsi:type="language_1:Forall">
657 <quantifiedVariables name="src">
658 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
659 </quantifiedVariables>
660 <expression xsi:type="language_1:Exists">
661 <quantifiedVariables name="trg 1">
662 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
663 </quantifiedVariables>
664 <expression xsi:type="language_1:And">
665 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
666 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.0"/>
667 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@expression/@quantifiedVariables.0"/>
668 </operands>
669 </expression>
670 </expression>
671 </value>
672 </assertions>
673 <assertions name="upperMultiplicity source DirectedCommunicationLink" annotations="//@annotations.9">
674 <value xsi:type="language_1:Forall">
675 <quantifiedVariables name="src">
676 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
677 </quantifiedVariables>
678 <quantifiedVariables name="trg 1">
679 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
680 </quantifiedVariables>
681 <quantifiedVariables name="trg 2">
682 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
683 </quantifiedVariables>
684 <expression xsi:type="language_1:Impl">
685 <leftOperand xsi:type="language_1:And">
686 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
687 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.0"/>
688 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.1"/>
689 </operands>
690 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
691 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.0"/>
692 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.2"/>
693 </operands>
694 </leftOperand>
695 <rightOperand xsi:type="language_1:Not">
696 <operand xsi:type="language_1:Distinct">
697 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.1"/>
698 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.2"/>
699 </operand>
700 </rightOperand>
701 </expression>
702 </value>
703 </assertions>
704 <assertions name="lowerMultiplicity target DirectedCommunicationLink" annotations="//@annotations.10">
705 <value xsi:type="language_1:Forall">
706 <quantifiedVariables name="src">
707 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
708 </quantifiedVariables>
709 <expression xsi:type="language_1:Exists">
710 <quantifiedVariables name="trg 1">
711 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
712 </quantifiedVariables>
713 <expression xsi:type="language_1:And">
714 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
715 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.0"/>
716 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@expression/@quantifiedVariables.0"/>
717 </operands>
718 </expression>
719 </expression>
720 </value>
721 </assertions>
722 <assertions name="upperMultiplicity target DirectedCommunicationLink" annotations="//@annotations.11">
723 <value xsi:type="language_1:Forall">
724 <quantifiedVariables name="src">
725 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
726 </quantifiedVariables>
727 <quantifiedVariables name="trg 1">
728 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
729 </quantifiedVariables>
730 <quantifiedVariables name="trg 2">
731 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
732 </quantifiedVariables>
733 <expression xsi:type="language_1:Impl">
734 <leftOperand xsi:type="language_1:And">
735 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
736 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.0"/>
737 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.1"/>
738 </operands>
739 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
740 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.0"/>
741 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.2"/>
742 </operands>
743 </leftOperand>
744 <rightOperand xsi:type="language_1:Not">
745 <operand xsi:type="language_1:Distinct">
746 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.1"/>
747 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.2"/>
748 </operand>
749 </rightOperand>
750 </expression>
751 </value>
752 </assertions>
753 <assertions name="PartialInterpretation groundStationNetwork reference ConstellationMission" annotations="//@annotations.12">
754 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> 655 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
755 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/> 656 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/>
756 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.1"/> 657 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.1"/>
757 </value> 658 </value>
758 </assertions> 659 </assertions>
759 <assertions name="PartialInterpretation commSubsystem reference CommunicatingElement" annotations="//@annotations.13"> 660 <assertions name="PartialInterpretation commSubsystem reference CommunicatingElement" annotations="//@annotations.9">
760 <value xsi:type="language_1:And"> 661 <value xsi:type="language_1:And">
761 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> 662 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
762 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.1"/> 663 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.1"/>
@@ -768,98 +669,98 @@
768 </operands> 669 </operands>
769 </value> 670 </value>
770 </assertions> 671 </assertions>
771 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries communicationLinkDoesNotStartAtContainingElement" annotations="//@annotations.35"> 672 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries communicationLinkDoesNotStartAtContainingElement" annotations="//@annotations.32">
772 <value xsi:type="language_1:Forall"> 673 <value xsi:type="language_1:Forall">
773 <quantifiedVariables name="p0"> 674 <quantifiedVariables name="p0">
774 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> 675 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
775 </quantifiedVariables> 676 </quantifiedVariables>
776 <expression xsi:type="language_1:Not"> 677 <expression xsi:type="language_1:Not">
777 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> 678 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
778 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.0"/> 679 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.0"/>
779 </operand> 680 </operand>
780 </expression> 681 </expression>
781 </value> 682 </value>
782 </assertions> 683 </assertions>
783 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries notEnoughInterferometryPayloads" annotations="//@annotations.36"> 684 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries notEnoughInterferometryPayloads" annotations="//@annotations.33">
784 <value xsi:type="language_1:Forall"> 685 <value xsi:type="language_1:Forall">
785 <quantifiedVariables name="p0"> 686 <quantifiedVariables name="p0">
786 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 687 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
787 </quantifiedVariables> 688 </quantifiedVariables>
788 <expression xsi:type="language_1:Not"> 689 <expression xsi:type="language_1:Not">
789 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8"> 690 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
790 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.0"/> 691 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.0"/>
791 </operand> 692 </operand>
792 </expression> 693 </expression>
793 </value> 694 </value>
794 </assertions> 695 </assertions>
795 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries noLinkToGroundStation" annotations="//@annotations.37"> 696 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries noLinkToGroundStation" annotations="//@annotations.34">
796 <value xsi:type="language_1:Forall"> 697 <value xsi:type="language_1:Forall">
797 <quantifiedVariables name="p0"> 698 <quantifiedVariables name="p0">
798 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 699 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
799 </quantifiedVariables> 700 </quantifiedVariables>
800 <expression xsi:type="language_1:Not"> 701 <expression xsi:type="language_1:Not">
801 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11"> 702 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10">
802 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@quantifiedVariables.0"/> 703 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.0"/>
803 </operand> 704 </operand>
804 </expression> 705 </expression>
805 </value> 706 </value>
806 </assertions> 707 </assertions>
807 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries noPotentialLinkToGroundStation" annotations="//@annotations.38"> 708 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries noPotentialLinkToGroundStation" annotations="//@annotations.35">
808 <value xsi:type="language_1:Forall"> 709 <value xsi:type="language_1:Forall">
809 <quantifiedVariables name="p0"> 710 <quantifiedVariables name="p0">
810 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 711 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
811 </quantifiedVariables> 712 </quantifiedVariables>
812 <expression xsi:type="language_1:Not"> 713 <expression xsi:type="language_1:Not">
813 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12"> 714 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11">
814 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.0"/> 715 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.0"/>
815 </operand> 716 </operand>
816 </expression> 717 </expression>
817 </value> 718 </value>
818 </assertions> 719 </assertions>
819 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries communicationLoop" annotations="//@annotations.39"> 720 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries communicationLoop" annotations="//@annotations.36">
820 <value xsi:type="language_1:Forall"> 721 <value xsi:type="language_1:Forall">
821 <quantifiedVariables name="p0"> 722 <quantifiedVariables name="p0">
822 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 723 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
823 </quantifiedVariables> 724 </quantifiedVariables>
824 <expression xsi:type="language_1:Not"> 725 <expression xsi:type="language_1:Not">
825 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19"> 726 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18">
826 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.0"/> 727 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.0"/>
827 </operand> 728 </operand>
828 </expression> 729 </expression>
829 </value> 730 </value>
830 </assertions> 731 </assertions>
831 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetBand" annotations="//@annotations.40"> 732 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetBand" annotations="//@annotations.37">
832 <value xsi:type="language_1:Forall"> 733 <value xsi:type="language_1:Forall">
833 <quantifiedVariables name="p0"> 734 <quantifiedVariables name="p0">
834 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> 735 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
835 </quantifiedVariables> 736 </quantifiedVariables>
836 <expression xsi:type="language_1:Not"> 737 <expression xsi:type="language_1:Not">
837 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22"> 738 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21">
838 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.19/@value/@quantifiedVariables.0"/> 739 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.0"/>
839 </operand> 740 </operand>
840 </expression> 741 </expression>
841 </value> 742 </value>
842 </assertions> 743 </assertions>
843 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries threeUCubeSatWithNonUhfCrossLink" annotations="//@annotations.41"> 744 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries threeUCubeSatWithNonUhfCrossLink" annotations="//@annotations.38">
844 <value xsi:type="language_1:Forall"> 745 <value xsi:type="language_1:Forall">
845 <quantifiedVariables name="p0"> 746 <quantifiedVariables name="p0">
846 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 747 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
847 </quantifiedVariables> 748 </quantifiedVariables>
848 <expression xsi:type="language_1:Not"> 749 <expression xsi:type="language_1:Not">
849 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23"> 750 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22">
850 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.20/@value/@quantifiedVariables.0"/> 751 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@quantifiedVariables.0"/>
851 </operand> 752 </operand>
852 </expression> 753 </expression>
853 </value> 754 </value>
854 </assertions> 755 </assertions>
855 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries cubeSatWithKaAntenna" annotations="//@annotations.42"> 756 <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries cubeSatWithKaAntenna" annotations="//@annotations.39">
856 <value xsi:type="language_1:Forall"> 757 <value xsi:type="language_1:Forall">
857 <quantifiedVariables name="p0"> 758 <quantifiedVariables name="p0">
858 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 759 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
859 </quantifiedVariables> 760 </quantifiedVariables>
860 <expression xsi:type="language_1:Not"> 761 <expression xsi:type="language_1:Not">
861 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26"> 762 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25">
862 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.21/@value/@quantifiedVariables.0"/> 763 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.0"/>
863 </operand> 764 </operand>
864 </expression> 765 </expression>
865 </value> 766 </value>
@@ -876,64 +777,76 @@
876 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 777 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
877 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> 778 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
878 </relations> 779 </relations>
879 <relations xsi:type="language_1:RelationDeclaration" name="communicationLink reference CommunicatingElement">
880 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
881 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
882 </relations>
883 <relations xsi:type="language_1:RelationDeclaration" name="payload reference Spacecraft"> 780 <relations xsi:type="language_1:RelationDeclaration" name="payload reference Spacecraft">
884 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 781 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
885 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
886 </relations>
887 <relations xsi:type="language_1:RelationDeclaration" name="source reference DirectedCommunicationLink">
888 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> 782 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
889 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
890 </relations> 783 </relations>
891 <relations xsi:type="language_1:RelationDeclaration" name="target reference DirectedCommunicationLink"> 784 <relations xsi:type="language_1:RelationDeclaration" name="target reference CommSubsystem">
892 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> 785 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
893 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> 786 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
894 </relations> 787 </relations>
895 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries communicationLinkDoesNotStartAtContainingElement" annotations="//@annotations.14"> 788 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries communicationLinkDoesNotStartAtContainingElement" annotations="//@annotations.10">
896 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> 789 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
897 <variables name="parameter Link"> 790 <variables name="parameter Element">
898 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> 791 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
899 </variables> 792 </variables>
900 <value xsi:type="language_1:Or"> 793 <value xsi:type="language_1:Or">
901 <operands xsi:type="language_1:Exists"> 794 <operands xsi:type="language_1:Exists">
902 <quantifiedVariables name="variable Element"> 795 <quantifiedVariables name="variable Comm1">
903 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
904 </quantifiedVariables>
905 <quantifiedVariables name="variable SourceComm">
906 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> 796 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
907 </quantifiedVariables> 797 </quantifiedVariables>
908 <quantifiedVariables name="variable SourceElement"> 798 <quantifiedVariables name="variable Comm2">
909 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 799 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
910 </quantifiedVariables> 800 </quantifiedVariables>
911 <expression xsi:type="language_1:And"> 801 <expression xsi:type="language_1:And">
912 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> 802 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
913 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@value/@operands.0/@quantifiedVariables.0"/> 803 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5/@variables.0"/>
914 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@variables.0"/> 804 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5/@value/@operands.0/@quantifiedVariables.0"/>
915 </operands> 805 </operands>
916 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> 806 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
917 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@variables.0"/> 807 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5/@variables.0"/>
918 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@value/@operands.0/@quantifiedVariables.1"/> 808 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5/@value/@operands.0/@quantifiedVariables.1"/>
919 </operands> 809 </operands>
810 <operands xsi:type="language_1:Distinct">
811 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5/@value/@operands.0/@quantifiedVariables.0"/>
812 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5/@value/@operands.0/@quantifiedVariables.1"/>
813 </operands>
814 </expression>
815 </operands>
816 </value>
817 </relations>
818 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries transmittingCommSubsystem" annotations="//@annotations.11">
819 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
820 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
821 <variables name="parameter Element">
822 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
823 </variables>
824 <variables name="parameter Comm">
825 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
826 </variables>
827 <value xsi:type="language_1:Or">
828 <operands xsi:type="language_1:Exists">
829 <quantifiedVariables name="variable 0">
830 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
831 </quantifiedVariables>
832 <expression xsi:type="language_1:And">
920 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> 833 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
921 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@value/@operands.0/@quantifiedVariables.2"/> 834 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.0"/>
922 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@value/@operands.0/@quantifiedVariables.1"/> 835 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.1"/>
836 </operands>
837 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4">
838 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.1"/>
839 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@value/@operands.0/@quantifiedVariables.0"/>
923 </operands> 840 </operands>
924 <operands xsi:type="language_1:InstanceOf"> 841 <operands xsi:type="language_1:InstanceOf">
925 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@value/@operands.0/@quantifiedVariables.1"/> 842 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@value/@operands.0/@quantifiedVariables.0"/>
926 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> 843 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
927 </operands> 844 </operands>
928 <operands xsi:type="language_1:Distinct">
929 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@value/@operands.0/@quantifiedVariables.0"/>
930 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@value/@operands.0/@quantifiedVariables.2"/>
931 </operands>
932 </expression> 845 </expression>
933 </operands> 846 </operands>
934 </value> 847 </value>
935 </relations> 848 </relations>
936 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries notEnoughInterferometryPayloads" annotations="//@annotations.15"> 849 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries notEnoughInterferometryPayloads" annotations="//@annotations.12">
937 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 850 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
938 <variables name="parameter Mission"> 851 <variables name="parameter Mission">
939 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 852 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
@@ -941,18 +854,18 @@
941 <value xsi:type="language_1:Or"> 854 <value xsi:type="language_1:Or">
942 <operands xsi:type="language_1:And"> 855 <operands xsi:type="language_1:And">
943 <operands xsi:type="language_1:InstanceOf"> 856 <operands xsi:type="language_1:InstanceOf">
944 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.0"/> 857 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@variables.0"/>
945 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 858 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
946 </operands> 859 </operands>
947 <operands xsi:type="language_1:Not"> 860 <operands xsi:type="language_1:Not">
948 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9"> 861 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
949 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.0"/> 862 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@variables.0"/>
950 </operand> 863 </operand>
951 </operands> 864 </operands>
952 </operands> 865 </operands>
953 </value> 866 </value>
954 </relations> 867 </relations>
955 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries atLeastTwoInterferometryPayloads" annotations="//@annotations.16"> 868 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries atLeastTwoInterferometryPayloads" annotations="//@annotations.13">
956 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 869 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
957 <variables name="parameter Mission"> 870 <variables name="parameter Mission">
958 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 871 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
@@ -967,26 +880,26 @@
967 </quantifiedVariables> 880 </quantifiedVariables>
968 <expression xsi:type="language_1:And"> 881 <expression xsi:type="language_1:And">
969 <operands xsi:type="language_1:InstanceOf"> 882 <operands xsi:type="language_1:InstanceOf">
970 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@variables.0"/> 883 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.0"/>
971 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 884 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
972 </operands> 885 </operands>
973 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10"> 886 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
974 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@variables.0"/> 887 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.0"/>
975 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@value/@operands.0/@quantifiedVariables.0"/> 888 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.0"/>
976 </operands> 889 </operands>
977 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10"> 890 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
978 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@variables.0"/> 891 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.0"/>
979 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@value/@operands.0/@quantifiedVariables.1"/> 892 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.1"/>
980 </operands> 893 </operands>
981 <operands xsi:type="language_1:Distinct"> 894 <operands xsi:type="language_1:Distinct">
982 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@value/@operands.0/@quantifiedVariables.0"/> 895 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.0"/>
983 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@value/@operands.0/@quantifiedVariables.1"/> 896 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.1"/>
984 </operands> 897 </operands>
985 </expression> 898 </expression>
986 </operands> 899 </operands>
987 </value> 900 </value>
988 </relations> 901 </relations>
989 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries spacecraftWithInterferometryPayload" annotations="//@annotations.17"> 902 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries spacecraftWithInterferometryPayload" annotations="//@annotations.14">
990 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> 903 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
991 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 904 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
992 <variables name="parameter Mission"> 905 <variables name="parameter Mission">
@@ -998,26 +911,26 @@
998 <value xsi:type="language_1:Or"> 911 <value xsi:type="language_1:Or">
999 <operands xsi:type="language_1:Exists"> 912 <operands xsi:type="language_1:Exists">
1000 <quantifiedVariables name="variable Payload"> 913 <quantifiedVariables name="variable Payload">
1001 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 914 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
1002 </quantifiedVariables> 915 </quantifiedVariables>
1003 <expression xsi:type="language_1:And"> 916 <expression xsi:type="language_1:And">
1004 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1"> 917 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
1005 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@variables.0"/> 918 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@variables.0"/>
1006 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@variables.1"/> 919 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@variables.1"/>
1007 </operands> 920 </operands>
1008 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> 921 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3">
1009 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@variables.1"/> 922 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@variables.1"/>
1010 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@value/@operands.0/@quantifiedVariables.0"/> 923 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@value/@operands.0/@quantifiedVariables.0"/>
1011 </operands> 924 </operands>
1012 <operands xsi:type="language_1:InstanceOf"> 925 <operands xsi:type="language_1:InstanceOf">
1013 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@value/@operands.0/@quantifiedVariables.0"/> 926 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@value/@operands.0/@quantifiedVariables.0"/>
1014 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> 927 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
1015 </operands> 928 </operands>
1016 </expression> 929 </expression>
1017 </operands> 930 </operands>
1018 </value> 931 </value>
1019 </relations> 932 </relations>
1020 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries noLinkToGroundStation" annotations="//@annotations.18"> 933 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries noLinkToGroundStation" annotations="//@annotations.15">
1021 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 934 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1022 <variables name="parameter Spacecraft"> 935 <variables name="parameter Spacecraft">
1023 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 936 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
@@ -1032,32 +945,32 @@
1032 </quantifiedVariables> 945 </quantifiedVariables>
1033 <expression xsi:type="language_1:And"> 946 <expression xsi:type="language_1:And">
1034 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> 947 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
1035 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.0"/> 948 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@value/@operands.0/@quantifiedVariables.0"/>
1036 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.1"/> 949 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@value/@operands.0/@quantifiedVariables.1"/>
1037 </operands> 950 </operands>
1038 <operands xsi:type="language_1:InstanceOf"> 951 <operands xsi:type="language_1:InstanceOf">
1039 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.1"/> 952 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@value/@operands.0/@quantifiedVariables.1"/>
1040 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> 953 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
1041 </operands> 954 </operands>
1042 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1"> 955 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
1043 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.0"/> 956 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@value/@operands.0/@quantifiedVariables.0"/>
1044 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.0"/> 957 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@variables.0"/>
1045 </operands> 958 </operands>
1046 <operands xsi:type="language_1:InstanceOf"> 959 <operands xsi:type="language_1:InstanceOf">
1047 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.0"/> 960 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@variables.0"/>
1048 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 961 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1049 </operands> 962 </operands>
1050 <operands xsi:type="language_1:Not"> 963 <operands xsi:type="language_1:Not">
1051 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20"> 964 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19">
1052 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.0"/> 965 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@variables.0"/>
1053 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.1"/> 966 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@value/@operands.0/@quantifiedVariables.1"/>
1054 </operand> 967 </operand>
1055 </operands> 968 </operands>
1056 </expression> 969 </expression>
1057 </operands> 970 </operands>
1058 </value> 971 </value>
1059 </relations> 972 </relations>
1060 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries noPotentialLinkToGroundStation" annotations="//@annotations.19"> 973 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries noPotentialLinkToGroundStation" annotations="//@annotations.16">
1061 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 974 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1062 <variables name="parameter Spacecraft"> 975 <variables name="parameter Spacecraft">
1063 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 976 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
@@ -1072,32 +985,32 @@
1072 </quantifiedVariables> 985 </quantifiedVariables>
1073 <expression xsi:type="language_1:And"> 986 <expression xsi:type="language_1:And">
1074 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> 987 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
1075 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.0"/> 988 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.0"/>
1076 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.1"/> 989 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.1"/>
1077 </operands> 990 </operands>
1078 <operands xsi:type="language_1:InstanceOf"> 991 <operands xsi:type="language_1:InstanceOf">
1079 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.1"/> 992 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.1"/>
1080 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> 993 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
1081 </operands> 994 </operands>
1082 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1"> 995 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
1083 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.0"/> 996 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.0"/>
1084 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.0"/> 997 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.0"/>
1085 </operands> 998 </operands>
1086 <operands xsi:type="language_1:InstanceOf"> 999 <operands xsi:type="language_1:InstanceOf">
1087 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.0"/> 1000 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.0"/>
1088 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 1001 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1089 </operands> 1002 </operands>
1090 <operands xsi:type="language_1:Not"> 1003 <operands xsi:type="language_1:Not">
1091 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13"> 1004 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12">
1092 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.0"/> 1005 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.0"/>
1093 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.1"/> 1006 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.1"/>
1094 </operand> 1007 </operand>
1095 </operands> 1008 </operands>
1096 </expression> 1009 </expression>
1097 </operands> 1010 </operands>
1098 </value> 1011 </value>
1099 </relations> 1012 </relations>
1100 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries indirectLinkAllowed" annotations="//@annotations.20"> 1013 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries indirectLinkAllowed" annotations="//@annotations.17">
1101 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 1014 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1102 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 1015 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1103 <variables name="parameter From"> 1016 <variables name="parameter From">
@@ -1108,11 +1021,11 @@
1108 </variables> 1021 </variables>
1109 <value xsi:type="language_1:Or"> 1022 <value xsi:type="language_1:Or">
1110 <operands xsi:type="language_1:And"> 1023 <operands xsi:type="language_1:And">
1111 <operands xsi:type="language_1:TransitiveClosure" relation="//@relations.14"/> 1024 <operands xsi:type="language_1:TransitiveClosure" relation="//@relations.13"/>
1112 </operands> 1025 </operands>
1113 </value> 1026 </value>
1114 </relations> 1027 </relations>
1115 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries linkAllowed" annotations="//@annotations.21"> 1028 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries linkAllowed" annotations="//@annotations.18">
1116 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 1029 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1117 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 1030 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1118 <variables name="parameter From"> 1031 <variables name="parameter From">
@@ -1123,43 +1036,43 @@
1123 </variables> 1036 </variables>
1124 <value xsi:type="language_1:Or"> 1037 <value xsi:type="language_1:Or">
1125 <operands xsi:type="language_1:And"> 1038 <operands xsi:type="language_1:And">
1126 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15"> 1039 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14">
1127 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/> 1040 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.0"/>
1128 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.1"/> 1041 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.1"/>
1129 </operands> 1042 </operands>
1130 <operands xsi:type="language_1:Not"> 1043 <operands xsi:type="language_1:Not">
1131 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17"> 1044 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16">
1132 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/> 1045 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.0"/>
1133 </operand> 1046 </operand>
1134 </operands> 1047 </operands>
1135 </operands> 1048 </operands>
1136 <operands xsi:type="language_1:And"> 1049 <operands xsi:type="language_1:And">
1137 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15"> 1050 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14">
1138 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/> 1051 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.0"/>
1139 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.1"/> 1052 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.1"/>
1140 </operands> 1053 </operands>
1141 <operands xsi:type="language_1:InstanceOf"> 1054 <operands xsi:type="language_1:InstanceOf">
1142 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/> 1055 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.0"/>
1143 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 1056 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1144 </operands> 1057 </operands>
1145 </operands> 1058 </operands>
1146 <operands xsi:type="language_1:And"> 1059 <operands xsi:type="language_1:And">
1147 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15"> 1060 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14">
1148 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/> 1061 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.0"/>
1149 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.1"/> 1062 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.1"/>
1150 </operands> 1063 </operands>
1151 <operands xsi:type="language_1:InstanceOf"> 1064 <operands xsi:type="language_1:InstanceOf">
1152 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/> 1065 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.0"/>
1153 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 1066 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1154 </operands> 1067 </operands>
1155 <operands xsi:type="language_1:InstanceOf"> 1068 <operands xsi:type="language_1:InstanceOf">
1156 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.1"/> 1069 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.1"/>
1157 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> 1070 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
1158 </operands> 1071 </operands>
1159 </operands> 1072 </operands>
1160 </value> 1073 </value>
1161 </relations> 1074 </relations>
1162 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries matchingAntenna" annotations="//@annotations.22"> 1075 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries matchingAntenna" annotations="//@annotations.19">
1163 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 1076 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1164 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 1077 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1165 <variables name="parameter From"> 1078 <variables name="parameter From">
@@ -1178,26 +1091,26 @@
1178 </quantifiedVariables> 1091 </quantifiedVariables>
1179 <expression xsi:type="language_1:And"> 1092 <expression xsi:type="language_1:And">
1180 <operands xsi:type="language_1:InstanceOf"> 1093 <operands xsi:type="language_1:InstanceOf">
1181 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.0"/> 1094 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/>
1182 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 1095 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1183 </operands> 1096 </operands>
1184 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> 1097 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
1185 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.0"/> 1098 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/>
1186 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.0"/> 1099 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@value/@operands.0/@quantifiedVariables.0"/>
1187 </operands> 1100 </operands>
1188 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> 1101 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
1189 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.1"/> 1102 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.1"/>
1190 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.1"/> 1103 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@value/@operands.0/@quantifiedVariables.1"/>
1191 </operands> 1104 </operands>
1192 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16"> 1105 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15">
1193 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.0"/> 1106 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@value/@operands.0/@quantifiedVariables.0"/>
1194 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.1"/> 1107 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@value/@operands.0/@quantifiedVariables.1"/>
1195 </operands> 1108 </operands>
1196 </expression> 1109 </expression>
1197 </operands> 1110 </operands>
1198 </value> 1111 </value>
1199 </relations> 1112 </relations>
1200 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries matchingCommSubsystem" annotations="//@annotations.23"> 1113 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries matchingCommSubsystem" annotations="//@annotations.20">
1201 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> 1114 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1202 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> 1115 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1203 <variables name="parameter From"> 1116 <variables name="parameter From">
@@ -1209,79 +1122,79 @@
1209 <value xsi:type="language_1:Or"> 1122 <value xsi:type="language_1:Or">
1210 <operands xsi:type="language_1:And"> 1123 <operands xsi:type="language_1:And">
1211 <operands xsi:type="language_1:InstanceOf"> 1124 <operands xsi:type="language_1:InstanceOf">
1212 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.0"/> 1125 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.0"/>
1213 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> 1126 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/>
1214 </operands> 1127 </operands>
1215 <operands xsi:type="language_1:InstanceOf"> 1128 <operands xsi:type="language_1:InstanceOf">
1216 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.1"/> 1129 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.1"/>
1217 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> 1130 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/>
1218 </operands> 1131 </operands>
1219 </operands> 1132 </operands>
1220 <operands xsi:type="language_1:And"> 1133 <operands xsi:type="language_1:And">
1221 <operands xsi:type="language_1:InstanceOf"> 1134 <operands xsi:type="language_1:InstanceOf">
1222 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.0"/> 1135 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.0"/>
1223 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/> 1136 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1224 </operands> 1137 </operands>
1225 <operands xsi:type="language_1:InstanceOf"> 1138 <operands xsi:type="language_1:InstanceOf">
1226 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.1"/> 1139 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.1"/>
1227 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/> 1140 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
1228 </operands> 1141 </operands>
1229 </operands> 1142 </operands>
1230 <operands xsi:type="language_1:And"> 1143 <operands xsi:type="language_1:And">
1231 <operands xsi:type="language_1:InstanceOf"> 1144 <operands xsi:type="language_1:InstanceOf">
1232 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.0"/> 1145 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.0"/>
1233 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/> 1146 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1234 </operands> 1147 </operands>
1235 <operands xsi:type="language_1:InstanceOf"> 1148 <operands xsi:type="language_1:InstanceOf">
1236 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.1"/> 1149 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.1"/>
1237 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/> 1150 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1238 </operands> 1151 </operands>
1239 </operands> 1152 </operands>
1240 </value> 1153 </value>
1241 </relations> 1154 </relations>
1242 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries cubeSat3U" annotations="//@annotations.24"> 1155 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries cubeSat3U" annotations="//@annotations.21">
1243 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 1156 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1244 <variables name="parameter Sat"> 1157 <variables name="parameter Sat">
1245 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 1158 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1246 </variables> 1159 </variables>
1247 <value xsi:type="language_1:Or"> 1160 <value xsi:type="language_1:Or">
1248 <operands xsi:type="language_1:And"> 1161 <operands xsi:type="language_1:And">
1249 <operands xsi:type="language_1:InstanceOf"> 1162 <operands xsi:type="language_1:InstanceOf">
1250 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/> 1163 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.0"/>
1251 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 1164 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1252 </operands> 1165 </operands>
1253 </operands> 1166 </operands>
1254 </value> 1167 </value>
1255 </relations> 1168 </relations>
1256 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries cubeSat6U" annotations="//@annotations.25"> 1169 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries cubeSat6U" annotations="//@annotations.22">
1257 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/> 1170 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1258 <variables name="parameter Sat"> 1171 <variables name="parameter Sat">
1259 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/> 1172 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1260 </variables> 1173 </variables>
1261 <value xsi:type="language_1:Or"> 1174 <value xsi:type="language_1:Or">
1262 <operands xsi:type="language_1:And"> 1175 <operands xsi:type="language_1:And">
1263 <operands xsi:type="language_1:InstanceOf"> 1176 <operands xsi:type="language_1:InstanceOf">
1264 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.0"/> 1177 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/>
1265 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/> 1178 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
1266 </operands> 1179 </operands>
1267 </operands> 1180 </operands>
1268 </value> 1181 </value>
1269 </relations> 1182 </relations>
1270 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries communicationLoop" annotations="//@annotations.26"> 1183 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries communicationLoop" annotations="//@annotations.23">
1271 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 1184 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1272 <variables name="parameter Element"> 1185 <variables name="parameter Element">
1273 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 1186 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1274 </variables> 1187 </variables>
1275 <value xsi:type="language_1:Or"> 1188 <value xsi:type="language_1:Or">
1276 <operands xsi:type="language_1:And"> 1189 <operands xsi:type="language_1:And">
1277 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20"> 1190 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19">
1278 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/> 1191 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.0"/>
1279 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/> 1192 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.0"/>
1280 </operands> 1193 </operands>
1281 </operands> 1194 </operands>
1282 </value> 1195 </value>
1283 </relations> 1196 </relations>
1284 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries indirectCommunicationLink" annotations="//@annotations.27"> 1197 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries indirectCommunicationLink" annotations="//@annotations.24">
1285 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 1198 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1286 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 1199 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1287 <variables name="parameter Source"> 1200 <variables name="parameter Source">
@@ -1292,11 +1205,11 @@
1292 </variables> 1205 </variables>
1293 <value xsi:type="language_1:Or"> 1206 <value xsi:type="language_1:Or">
1294 <operands xsi:type="language_1:And"> 1207 <operands xsi:type="language_1:And">
1295 <operands xsi:type="language_1:TransitiveClosure" relation="//@relations.21"/> 1208 <operands xsi:type="language_1:TransitiveClosure" relation="//@relations.20"/>
1296 </operands> 1209 </operands>
1297 </value> 1210 </value>
1298 </relations> 1211 </relations>
1299 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries directCommunicationLink" annotations="//@annotations.28"> 1212 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries directCommunicationLink" annotations="//@annotations.25">
1300 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 1213 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1301 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 1214 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
1302 <variables name="parameter Source"> 1215 <variables name="parameter Source">
@@ -1307,9 +1220,6 @@
1307 </variables> 1220 </variables>
1308 <value xsi:type="language_1:Or"> 1221 <value xsi:type="language_1:Or">
1309 <operands xsi:type="language_1:Exists"> 1222 <operands xsi:type="language_1:Exists">
1310 <quantifiedVariables name="variable Link">
1311 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
1312 </quantifiedVariables>
1313 <quantifiedVariables name="variable SourceSubsystem"> 1223 <quantifiedVariables name="variable SourceSubsystem">
1314 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> 1224 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1315 </quantifiedVariables> 1225 </quantifiedVariables>
@@ -1317,87 +1227,65 @@
1317 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> 1227 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1318 </quantifiedVariables> 1228 </quantifiedVariables>
1319 <expression xsi:type="language_1:And"> 1229 <expression xsi:type="language_1:And">
1320 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> 1230 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4">
1321 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.0"/> 1231 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.0"/>
1322 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.1"/> 1232 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.1"/>
1323 </operands>
1324 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
1325 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.0"/>
1326 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.2"/>
1327 </operands> 1233 </operands>
1328 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> 1234 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
1329 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.0"/> 1235 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.0"/>
1330 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.1"/> 1236 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.0"/>
1331 </operands>
1332 <operands xsi:type="language_1:InstanceOf">
1333 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.1"/>
1334 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1335 </operands> 1237 </operands>
1336 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> 1238 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
1337 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.1"/> 1239 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.1"/>
1338 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.2"/> 1240 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.1"/>
1339 </operands> 1241 </operands>
1340 <operands xsi:type="language_1:InstanceOf"> 1242 <operands xsi:type="language_1:InstanceOf">
1341 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.2"/> 1243 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.1"/>
1342 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> 1244 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1343 </operands> 1245 </operands>
1344 </expression> 1246 </expression>
1345 </operands> 1247 </operands>
1346 </value> 1248 </value>
1347 </relations> 1249 </relations>
1348 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetBand" annotations="//@annotations.29"> 1250 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetBand" annotations="//@annotations.26">
1349 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> 1251 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1350 <variables name="parameter Link"> 1252 <variables name="parameter SourceSubsystem">
1351 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> 1253 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1352 </variables> 1254 </variables>
1353 <value xsi:type="language_1:Or"> 1255 <value xsi:type="language_1:Or">
1354 <operands xsi:type="language_1:Exists"> 1256 <operands xsi:type="language_1:Exists">
1355 <quantifiedVariables name="variable SourceSubsystem">
1356 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1357 </quantifiedVariables>
1358 <quantifiedVariables name="variable TargetSubsystem"> 1257 <quantifiedVariables name="variable TargetSubsystem">
1359 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> 1258 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1360 </quantifiedVariables> 1259 </quantifiedVariables>
1361 <expression xsi:type="language_1:And"> 1260 <expression xsi:type="language_1:And">
1362 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> 1261 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4">
1363 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.0"/> 1262 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.0"/>
1364 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/> 1263 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.0"/>
1365 </operands>
1366 <operands xsi:type="language_1:InstanceOf">
1367 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/>
1368 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1369 </operands>
1370 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
1371 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.0"/>
1372 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.1"/>
1373 </operands> 1264 </operands>
1374 <operands xsi:type="language_1:InstanceOf"> 1265 <operands xsi:type="language_1:InstanceOf">
1375 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.1"/> 1266 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.0"/>
1376 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> 1267 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1377 </operands> 1268 </operands>
1378 <operands xsi:type="language_1:Not"> 1269 <operands xsi:type="language_1:Not">
1379 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16"> 1270 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15">
1380 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/> 1271 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.0"/>
1381 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.1"/> 1272 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.0"/>
1382 </operand> 1273 </operand>
1383 </operands> 1274 </operands>
1384 </expression> 1275 </expression>
1385 </operands> 1276 </operands>
1386 </value> 1277 </value>
1387 </relations> 1278 </relations>
1388 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries threeUCubeSatWithNonUhfCrossLink" annotations="//@annotations.30"> 1279 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries threeUCubeSatWithNonUhfCrossLink" annotations="//@annotations.27">
1389 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 1280 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1390 <variables name="parameter Sat"> 1281 <variables name="parameter Sat">
1391 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 1282 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1392 </variables> 1283 </variables>
1393 <value xsi:type="language_1:Or"> 1284 <value xsi:type="language_1:Or">
1394 <operands xsi:type="language_1:Exists"> 1285 <operands xsi:type="language_1:Exists">
1395 <quantifiedVariables name="variable SourceComm"> 1286 <quantifiedVariables name="variable SourceComm">
1396 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> 1287 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1397 </quantifiedVariables> 1288 </quantifiedVariables>
1398 <quantifiedVariables name="variable Link">
1399 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
1400 </quantifiedVariables>
1401 <quantifiedVariables name="variable TargetComm"> 1289 <quantifiedVariables name="variable TargetComm">
1402 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> 1290 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1403 </quantifiedVariables> 1291 </quantifiedVariables>
@@ -1406,62 +1294,54 @@
1406 </quantifiedVariables> 1294 </quantifiedVariables>
1407 <expression xsi:type="language_1:And"> 1295 <expression xsi:type="language_1:And">
1408 <operands xsi:type="language_1:InstanceOf"> 1296 <operands xsi:type="language_1:InstanceOf">
1409 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@variables.0"/> 1297 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.0"/>
1410 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 1298 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
1411 </operands> 1299 </operands>
1412 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> 1300 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
1413 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@variables.0"/> 1301 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.0"/>
1414 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.0"/> 1302 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/>
1415 </operands> 1303 </operands>
1416 <operands xsi:type="language_1:Not"> 1304 <operands xsi:type="language_1:Not">
1417 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24"> 1305 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23">
1418 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.0"/> 1306 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/>
1419 </operand> 1307 </operand>
1420 </operands> 1308 </operands>
1421 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> 1309 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4">
1422 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.1"/> 1310 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/>
1423 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.0"/> 1311 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.1"/>
1424 </operands>
1425 <operands xsi:type="language_1:InstanceOf">
1426 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.0"/>
1427 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1428 </operands>
1429 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
1430 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.1"/>
1431 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.2"/>
1432 </operands> 1312 </operands>
1433 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> 1313 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
1434 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.3"/> 1314 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.2"/>
1435 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.2"/> 1315 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.1"/>
1436 </operands> 1316 </operands>
1437 <operands xsi:type="language_1:InstanceOf"> 1317 <operands xsi:type="language_1:InstanceOf">
1438 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.2"/> 1318 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.1"/>
1439 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> 1319 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
1440 </operands> 1320 </operands>
1441 <operands xsi:type="language_1:Not"> 1321 <operands xsi:type="language_1:Not">
1442 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25"> 1322 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24">
1443 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.3"/> 1323 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.2"/>
1444 </operand> 1324 </operand>
1445 </operands> 1325 </operands>
1446 </expression> 1326 </expression>
1447 </operands> 1327 </operands>
1448 </value> 1328 </value>
1449 </relations> 1329 </relations>
1450 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemBandUhf" annotations="//@annotations.31"> 1330 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemBandUhf" annotations="//@annotations.28">
1451 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> 1331 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/>
1452 <variables name="parameter Comm"> 1332 <variables name="parameter Comm">
1453 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> 1333 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/>
1454 </variables> 1334 </variables>
1455 <value xsi:type="language_1:Or"> 1335 <value xsi:type="language_1:Or">
1456 <operands xsi:type="language_1:And"> 1336 <operands xsi:type="language_1:And">
1457 <operands xsi:type="language_1:InstanceOf"> 1337 <operands xsi:type="language_1:InstanceOf">
1458 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@variables.0"/> 1338 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@variables.0"/>
1459 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> 1339 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/>
1460 </operands> 1340 </operands>
1461 </operands> 1341 </operands>
1462 </value> 1342 </value>
1463 </relations> 1343 </relations>
1464 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries groundStationNetwork" annotations="//@annotations.32"> 1344 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries groundStationNetwork" annotations="//@annotations.29">
1465 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> 1345 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
1466 <variables name="parameter Network"> 1346 <variables name="parameter Network">
1467 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> 1347 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
@@ -1469,13 +1349,13 @@
1469 <value xsi:type="language_1:Or"> 1349 <value xsi:type="language_1:Or">
1470 <operands xsi:type="language_1:And"> 1350 <operands xsi:type="language_1:And">
1471 <operands xsi:type="language_1:InstanceOf"> 1351 <operands xsi:type="language_1:InstanceOf">
1472 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@variables.0"/> 1352 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@variables.0"/>
1473 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> 1353 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
1474 </operands> 1354 </operands>
1475 </operands> 1355 </operands>
1476 </value> 1356 </value>
1477 </relations> 1357 </relations>
1478 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries cubeSatWithKaAntenna" annotations="//@annotations.33"> 1358 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries cubeSatWithKaAntenna" annotations="//@annotations.30">
1479 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 1359 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1480 <variables name="parameter Spacecraft"> 1360 <variables name="parameter Spacecraft">
1481 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 1361 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
@@ -1483,49 +1363,49 @@
1483 <value xsi:type="language_1:Or"> 1363 <value xsi:type="language_1:Or">
1484 <operands xsi:type="language_1:Exists"> 1364 <operands xsi:type="language_1:Exists">
1485 <quantifiedVariables name="variable Comm"> 1365 <quantifiedVariables name="variable Comm">
1486 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/> 1366 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1487 </quantifiedVariables> 1367 </quantifiedVariables>
1488 <expression xsi:type="language_1:And"> 1368 <expression xsi:type="language_1:And">
1489 <operands xsi:type="language_1:InstanceOf"> 1369 <operands xsi:type="language_1:InstanceOf">
1490 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.0"/> 1370 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@variables.0"/>
1491 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> 1371 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
1492 </operands> 1372 </operands>
1493 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> 1373 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
1494 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.0"/> 1374 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@variables.0"/>
1495 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.0"/> 1375 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.0"/>
1496 </operands> 1376 </operands>
1497 <operands xsi:type="language_1:InstanceOf"> 1377 <operands xsi:type="language_1:InstanceOf">
1498 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.0"/> 1378 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.0"/>
1499 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/> 1379 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
1500 </operands> 1380 </operands>
1501 <operands xsi:type="language_1:Not"> 1381 <operands xsi:type="language_1:Not">
1502 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27"> 1382 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26">
1503 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.0"/> 1383 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@variables.0"/>
1504 </operand> 1384 </operand>
1505 </operands> 1385 </operands>
1506 </expression> 1386 </expression>
1507 </operands> 1387 </operands>
1508 </value> 1388 </value>
1509 </relations> 1389 </relations>
1510 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries smallSat" annotations="//@annotations.34"> 1390 <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries smallSat" annotations="//@annotations.31">
1511 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/> 1391 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/>
1512 <variables name="parameter Sat"> 1392 <variables name="parameter Sat">
1513 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/> 1393 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/>
1514 </variables> 1394 </variables>
1515 <value xsi:type="language_1:Or"> 1395 <value xsi:type="language_1:Or">
1516 <operands xsi:type="language_1:And"> 1396 <operands xsi:type="language_1:And">
1517 <operands xsi:type="language_1:InstanceOf"> 1397 <operands xsi:type="language_1:InstanceOf">
1518 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@variables.0"/> 1398 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.0"/>
1519 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/> 1399 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/>
1520 </operands> 1400 </operands>
1521 </operands> 1401 </operands>
1522 </value> 1402 </value>
1523 </relations> 1403 </relations>
1524 <elements name="o 1" definedInType="//@types.16 //@types.18"/> 1404 <elements name="o 1" definedInType="//@types.15 //@types.17"/>
1525 <elements name="o 2" definedInType="//@types.20 //@types.22"/> 1405 <elements name="o 2" definedInType="//@types.19 //@types.21"/>
1526 <elements name="o 3" definedInType="//@types.24 //@types.26"/> 1406 <elements name="o 3" definedInType="//@types.23 //@types.25"/>
1527 <elements name="o 4" definedInType="//@types.24 //@types.28"/> 1407 <elements name="o 4" definedInType="//@types.23 //@types.27"/>
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"/> 1408 <containmentHierarchies typesOrderedInHierarchy="//@types.2 //@types.0 //@types.7 //@types.3 //@types.5 //@types.6 //@types.9 //@types.13 //@types.8 //@types.14 //@types.4 //@types.1 //@types.12 //@types.10 //@types.11 //@types.15 //@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" containmentRelations="//@relations.0 //@relations.1 //@relations.2 //@relations.3"/>
1529 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.0" relation="//@relations.0" lower="1"/> 1409 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.0" relation="//@relations.0" lower="1"/>
1530 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.1" relation="//@relations.0" upper="1"/> 1410 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.1" relation="//@relations.0" upper="1"/>
1531 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.2" relation="//@relations.1" lower="2"/> 1411 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.2" relation="//@relations.1" lower="2"/>
@@ -1534,39 +1414,36 @@
1534 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.5" relation="//@relations.2" upper="2"/> 1414 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.5" relation="//@relations.2" upper="2"/>
1535 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.6" relation="//@relations.3" upper="1"/> 1415 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.6" relation="//@relations.3" upper="1"/>
1536 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.7" relation="//@relations.4" upper="1"/> 1416 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.7" relation="//@relations.4" upper="1"/>
1537 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.8" relation="//@relations.5" lower="1"/> 1417 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.8" targetRelation="//@relations.0"/>
1538 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.9" relation="//@relations.5" upper="1"/> 1418 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.9" targetRelation="//@relations.2"/>
1539 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.10" relation="//@relations.6" lower="1"/> 1419 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.5" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.communicationLinkDoesNotStartAtContainingElement"/>
1540 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.11" relation="//@relations.6" upper="1"/> 1420 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.6" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.transmittingCommSubsystem"/>
1541 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.12" targetRelation="//@relations.0"/> 1421 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.7" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.notEnoughInterferometryPayloads"/>
1542 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.13" targetRelation="//@relations.2"/> 1422 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.8" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.atLeastTwoInterferometryPayloads"/>
1543 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.7" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.communicationLinkDoesNotStartAtContainingElement"/> 1423 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.9" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.spacecraftWithInterferometryPayload"/>
1544 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.8" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.notEnoughInterferometryPayloads"/> 1424 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.10" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.noLinkToGroundStation"/>
1545 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.9" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.atLeastTwoInterferometryPayloads"/> 1425 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.11" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.noPotentialLinkToGroundStation"/>
1546 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.10" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.spacecraftWithInterferometryPayload"/> 1426 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.12" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.indirectLinkAllowed"/>
1547 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.11" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.noLinkToGroundStation"/> 1427 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.13" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.linkAllowed"/>
1548 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.12" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.noPotentialLinkToGroundStation"/> 1428 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.14" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.matchingAntenna"/>
1549 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.13" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.indirectLinkAllowed"/> 1429 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.15" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.matchingCommSubsystem"/>
1550 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.14" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.linkAllowed"/> 1430 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.16" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.cubeSat3U"/>
1551 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.15" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.matchingAntenna"/> 1431 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.17" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.cubeSat6U"/>
1552 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.16" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.matchingCommSubsystem"/> 1432 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.18" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.communicationLoop"/>
1553 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.17" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.cubeSat3U"/> 1433 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.19" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.indirectCommunicationLink"/>
1554 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.18" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.cubeSat6U"/> 1434 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.20" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.directCommunicationLink"/>
1555 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.19" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.communicationLoop"/> 1435 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.21" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.incompatibleSourceAndTargetBand"/>
1556 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.20" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.indirectCommunicationLink"/> 1436 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.22" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.threeUCubeSatWithNonUhfCrossLink"/>
1557 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.21" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.directCommunicationLink"/> 1437 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.23" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemBandUhf"/>
1558 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.22" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.incompatibleSourceAndTargetBand"/> 1438 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.24" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.groundStationNetwork"/>
1559 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.23" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.threeUCubeSatWithNonUhfCrossLink"/> 1439 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.25" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.cubeSatWithKaAntenna"/>
1560 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.24" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemBandUhf"/> 1440 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.26" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.smallSat"/>
1561 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.25" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.groundStationNetwork"/> 1441 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.10" query="//@annotations.10"/>
1562 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.26" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.cubeSatWithKaAntenna"/> 1442 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.11" query="//@annotations.12"/>
1563 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.27" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.smallSat"/> 1443 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.12" query="//@annotations.15"/>
1564 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.14" query="//@annotations.14"/> 1444 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.13" query="//@annotations.16"/>
1565 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.15" query="//@annotations.15"/> 1445 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.14" query="//@annotations.23"/>
1566 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.16" query="//@annotations.18"/> 1446 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.15" query="//@annotations.26"/>
1567 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.17" query="//@annotations.19"/> 1447 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.16" query="//@annotations.27"/>
1568 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.18" query="//@annotations.26"/> 1448 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.17" query="//@annotations.30"/>
1569 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.19" query="//@annotations.29"/>
1570 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.20" query="//@annotations.30"/>
1571 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.21" query="//@annotations.33"/>
1572</language:LogicProblem> 1449</language:LogicProblem>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-29 08:59:52 +0000