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