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