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