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