Try to restructure satellite case study

3 files changed, 821 insertions, 654 deletions

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generated3valued.vql_deactivated b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generated3valued.vql_deactivated
index 853b7b54..d28c0d4d 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generated3valued.vql_deactivated
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generated3valued.vql_deactivated
@@ -110,22 +110,22 @@ private pattern mayInstanceOfConstellationMission_class(problem:LogicProblem, in
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
-        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
+        neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element);
         neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
+        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
+        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfInterferometryMission_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element);
         neg find scopeDisallowsNewConstellationMission_class(problem, interpretation);
         neg find isPrimitive(element);
 } or {
         find interpretation(problem,interpretation);
         PartialInterpretation.openWorldElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
-        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
+        neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element);
         neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
+        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
+        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfInterferometryMission_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element);
         neg find scopeDisallowsNewConstellationMission_class(problem, interpretation);
         neg find isPrimitive(element);
 } or
@@ -154,20 +154,20 @@ private pattern mayInstanceOfInterferometryMission_class(problem:LogicProblem, i
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
-        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
         neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element);
+        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
+        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
+        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find scopeDisallowsNewInterferometryMission_class(problem, interpretation);
         neg find isPrimitive(element);
 } or {
         find interpretation(problem,interpretation);
         PartialInterpretation.openWorldElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
-        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
         neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element);
+        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
+        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
+        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find scopeDisallowsNewInterferometryMission_class(problem, interpretation);
         neg find isPrimitive(element);
 } or
@@ -196,10 +196,10 @@ private pattern mayInstanceOfCommunicatingElement_class(problem:LogicProblem, in
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
         neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
+        neg find mustInstanceOfPayload_class(problem,interpretation,element);
+        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
         neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element);
         neg find scopeDisallowsNewCommunicatingElement_class(problem, interpretation);
         neg find isPrimitive(element);
@@ -207,10 +207,10 @@ private pattern mayInstanceOfCommunicatingElement_class(problem:LogicProblem, in
         find interpretation(problem,interpretation);
         PartialInterpretation.openWorldElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
         neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
+        neg find mustInstanceOfPayload_class(problem,interpretation,element);
+        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
         neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element);
         neg find scopeDisallowsNewCommunicatingElement_class(problem, interpretation);
         neg find isPrimitive(element);
@@ -240,9 +240,9 @@ private pattern mayInstanceOfGroundStationNetwork_class(problem:LogicProblem, in
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
+        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
         neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
         neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element);
         neg find scopeDisallowsNewGroundStationNetwork_class(problem, interpretation);
         neg find isPrimitive(element);
@@ -250,9 +250,9 @@ private pattern mayInstanceOfGroundStationNetwork_class(problem:LogicProblem, in
         find interpretation(problem,interpretation);
         PartialInterpretation.openWorldElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
+        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
         neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
         neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element);
         neg find scopeDisallowsNewGroundStationNetwork_class(problem, interpretation);
         neg find isPrimitive(element);
@@ -282,24 +282,24 @@ private pattern mayInstanceOfSpacecraft_class(problem:LogicProblem, interpretati
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
+        neg find mustInstanceOfSmallSat_class(problem,interpretation,element);
+        neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element);
+        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
         neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfCubeSat_class(problem,interpretation,element);
-        neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element);
         neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfSmallSat_class(problem,interpretation,element);
         neg find scopeDisallowsNewSpacecraft_class(problem, interpretation);
         neg find isPrimitive(element);
 } or {
         find interpretation(problem,interpretation);
         PartialInterpretation.openWorldElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
+        neg find mustInstanceOfSmallSat_class(problem,interpretation,element);
+        neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element);
+        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
         neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfCubeSat_class(problem,interpretation,element);
-        neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element);
         neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfSmallSat_class(problem,interpretation,element);
         neg find scopeDisallowsNewSpacecraft_class(problem, interpretation);
         neg find isPrimitive(element);
 } or
@@ -328,20 +328,20 @@ private pattern mayInstanceOfCommSubsystem_class(problem:LogicProblem, interpret
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
         neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
+        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element);
+        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
         neg find scopeDisallowsNewCommSubsystem_class(problem, interpretation);
         neg find isPrimitive(element);
 } or {
         find interpretation(problem,interpretation);
         PartialInterpretation.openWorldElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
         neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
+        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element);
+        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
         neg find scopeDisallowsNewCommSubsystem_class(problem, interpretation);
         neg find isPrimitive(element);
 } or
@@ -369,19 +369,19 @@ private pattern mayInstanceOfDirectedCommunicationLink_class(problem:LogicProble
 {
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
         neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
         neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
+        neg find mustInstanceOfPayload_class(problem,interpretation,element);
+        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
         neg find scopeDisallowsNewDirectedCommunicationLink_class(problem, interpretation);
         neg find isPrimitive(element);
 } or {
         find interpretation(problem,interpretation);
         PartialInterpretation.openWorldElements(interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
         neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
         neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
+        neg find mustInstanceOfPayload_class(problem,interpretation,element);
+        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
         neg find scopeDisallowsNewDirectedCommunicationLink_class(problem, interpretation);
         neg find isPrimitive(element);
 } or
@@ -410,20 +410,20 @@ private pattern mayInstanceOfPayload_class(problem:LogicProblem, interpretation:
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
         neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfInterferometryPayload_class(problem,interpretation,element);
         neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
+        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
+        neg find mustInstanceOfInterferometryPayload_class(problem,interpretation,element);
         neg find scopeDisallowsNewPayload_class(problem, interpretation);
         neg find isPrimitive(element);
 } or {
         find interpretation(problem,interpretation);
         PartialInterpretation.openWorldElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
         neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfInterferometryPayload_class(problem,interpretation,element);
         neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
+        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
+        neg find mustInstanceOfInterferometryPayload_class(problem,interpretation,element);
         neg find scopeDisallowsNewPayload_class(problem, interpretation);
         neg find isPrimitive(element);
 } or
@@ -452,18 +452,18 @@ private pattern mayInstanceOfInterferometryPayload_class(problem:LogicProblem, i
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
-        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
         neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
+        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
+        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
         neg find scopeDisallowsNewInterferometryPayload_class(problem, interpretation);
         neg find isPrimitive(element);
 } or {
         find interpretation(problem,interpretation);
         PartialInterpretation.openWorldElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
-        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
         neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
+        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
+        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
         neg find scopeDisallowsNewInterferometryPayload_class(problem, interpretation);
         neg find isPrimitive(element);
 } or
@@ -491,25 +491,25 @@ private pattern mayInstanceOfCubeSat3U_class(problem:LogicProblem, interpretatio
 {
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
+        neg find mustInstanceOfSmallSat_class(problem,interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
         neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfSmallSat_class(problem,interpretation,element);
+        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element);
+        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
         neg find scopeDisallowsNewCubeSat3U_class(problem, interpretation);
         neg find isPrimitive(element);
 } or {
         find interpretation(problem,interpretation);
         PartialInterpretation.openWorldElements(interpretation,element);
+        neg find mustInstanceOfSmallSat_class(problem,interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
         neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfSmallSat_class(problem,interpretation,element);
+        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element);
+        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
         neg find scopeDisallowsNewCubeSat3U_class(problem, interpretation);
         neg find isPrimitive(element);
 } or
@@ -538,24 +538,24 @@ private pattern mayInstanceOfCubeSat6U_class(problem:LogicProblem, interpretatio
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
+        neg find mustInstanceOfSmallSat_class(problem,interpretation,element);
         neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element);
         neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
+        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element);
-        neg find mustInstanceOfSmallSat_class(problem,interpretation,element);
+        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
         neg find scopeDisallowsNewCubeSat6U_class(problem, interpretation);
         neg find isPrimitive(element);
 } or {
         find interpretation(problem,interpretation);
         PartialInterpretation.openWorldElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
+        neg find mustInstanceOfSmallSat_class(problem,interpretation,element);
         neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element);
         neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
+        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element);
-        neg find mustInstanceOfSmallSat_class(problem,interpretation,element);
+        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
         neg find scopeDisallowsNewCubeSat6U_class(problem, interpretation);
         neg find isPrimitive(element);
 } or
@@ -584,22 +584,22 @@ private pattern mayInstanceOfSmallSat_class(problem:LogicProblem, interpretation
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
+        neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element);
+        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
         neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfCubeSat_class(problem,interpretation,element);
-        neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element);
         neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
         neg find scopeDisallowsNewSmallSat_class(problem, interpretation);
         neg find isPrimitive(element);
 } or {
         find interpretation(problem,interpretation);
         PartialInterpretation.openWorldElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
+        neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element);
+        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
         neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfCubeSat_class(problem,interpretation,element);
-        neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element);
         neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
         neg find scopeDisallowsNewSmallSat_class(problem, interpretation);
         neg find isPrimitive(element);
 } or
@@ -628,26 +628,26 @@ private pattern mayInstanceOfCubeSat_class(problem:LogicProblem, interpretation:
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
+        neg find mustInstanceOfSmallSat_class(problem,interpretation,element);
         neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element);
         neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
+        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element);
-        neg find mustInstanceOfSmallSat_class(problem,interpretation,element);
         neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element);
+        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
         neg find scopeDisallowsNewCubeSat_class(problem, interpretation);
         neg find isPrimitive(element);
 } or {
         find interpretation(problem,interpretation);
         PartialInterpretation.openWorldElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
+        neg find mustInstanceOfSmallSat_class(problem,interpretation,element);
         neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element);
         neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
+        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element);
-        neg find mustInstanceOfSmallSat_class(problem,interpretation,element);
         neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element);
+        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
         neg find scopeDisallowsNewCubeSat_class(problem, interpretation);
         neg find isPrimitive(element);
 } or
@@ -760,9 +760,9 @@ private pattern mayInstanceOfConstellationMission_class_UndefinedPart(problem:Lo
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
         neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
+        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfInterferometryMission_class(problem,interpretation,element);
         neg find scopeDisallowsNewConstellationMission_class_UndefinedPart(problem, interpretation);
         neg find isPrimitive(element);
@@ -770,9 +770,9 @@ private pattern mayInstanceOfConstellationMission_class_UndefinedPart(problem:Lo
         find interpretation(problem,interpretation);
         PartialInterpretation.openWorldElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
         neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
+        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfInterferometryMission_class(problem,interpretation,element);
         neg find scopeDisallowsNewConstellationMission_class_UndefinedPart(problem, interpretation);
         neg find isPrimitive(element);
@@ -823,18 +823,18 @@ private pattern mayInstanceOfInterferometryMission_class_UndefinedPart(problem:L
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
         neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
+        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find scopeDisallowsNewInterferometryMission_class_UndefinedPart(problem, interpretation);
         neg find isPrimitive(element);
 } or {
         find interpretation(problem,interpretation);
         PartialInterpretation.openWorldElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
         neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
+        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find scopeDisallowsNewInterferometryMission_class_UndefinedPart(problem, interpretation);
         neg find isPrimitive(element);
 } or
@@ -884,10 +884,10 @@ private pattern mayInstanceOfCommunicatingElement_class_UndefinedPart(problem:Lo
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
         neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element);
         neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
+        neg find mustInstanceOfPayload_class(problem,interpretation,element);
+        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
         neg find mustInstanceOfSpacecraft_class(problem,interpretation,element);
         neg find scopeDisallowsNewCommunicatingElement_class_UndefinedPart(problem, interpretation);
         neg find isPrimitive(element);
@@ -895,10 +895,10 @@ private pattern mayInstanceOfCommunicatingElement_class_UndefinedPart(problem:Lo
         find interpretation(problem,interpretation);
         PartialInterpretation.openWorldElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
         neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element);
         neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
+        neg find mustInstanceOfPayload_class(problem,interpretation,element);
+        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
         neg find mustInstanceOfSpacecraft_class(problem,interpretation,element);
         neg find scopeDisallowsNewCommunicatingElement_class_UndefinedPart(problem, interpretation);
         neg find isPrimitive(element);
@@ -949,9 +949,9 @@ private pattern mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem:Lo
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
+        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
         neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
         neg find mustInstanceOfSpacecraft_class(problem,interpretation,element);
         neg find scopeDisallowsNewGroundStationNetwork_class_UndefinedPart(problem, interpretation);
         neg find isPrimitive(element);
@@ -959,9 +959,9 @@ private pattern mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem:Lo
         find interpretation(problem,interpretation);
         PartialInterpretation.openWorldElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
+        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
         neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
         neg find mustInstanceOfSpacecraft_class(problem,interpretation,element);
         neg find scopeDisallowsNewGroundStationNetwork_class_UndefinedPart(problem, interpretation);
         neg find isPrimitive(element);
@@ -1012,18 +1012,18 @@ private pattern mayInstanceOfCommSubsystem_class_UndefinedPart(problem:LogicProb
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
+        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
         neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
-        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
         neg find scopeDisallowsNewCommSubsystem_class_UndefinedPart(problem, interpretation);
         neg find isPrimitive(element);
 } or {
         find interpretation(problem,interpretation);
         PartialInterpretation.openWorldElements(interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
+        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
         neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
-        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
         neg find scopeDisallowsNewCommSubsystem_class_UndefinedPart(problem, interpretation);
         neg find isPrimitive(element);
 } or
@@ -1155,21 +1155,39 @@ private pattern mayInRelationcommSubsystem_reference_CommunicatingElement(
 /**
  * Matcher for detecting tuples t where []communicationLink reference CommunicatingElement(source,target)
  */
-private pattern mustInRelationcommunicationLink_reference_CommunicatingElement(
+ private pattern mustInRelationcommunicationLink_reference_CommunicatingElement(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        source: DefinedElement, target:DefinedElement)
+ {
+        find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkOfElement(problem,interpretation,source,target);
+ }
+/**
+ * Matcher for detecting tuples t where []communicationLink reference CommunicatingElement(source,target)
+ */
+ private pattern mayInRelationcommunicationLink_reference_CommunicatingElement(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        source: DefinedElement, target:DefinedElement)
+ {
+        find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkOfElement(problem,interpretation,source,target);
+ }
+/**
+ * Matcher for detecting tuples t where []payload reference Spacecraft(source,target)
+ */
+private pattern mustInRelationpayload_reference_Spacecraft(
         problem:LogicProblem, interpretation:PartialInterpretation,
         source: DefinedElement, target:DefinedElement)
 {
         find interpretation(problem,interpretation);
         PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation);
-        PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"communicationLink reference CommunicatingElement");
+        PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"payload reference Spacecraft");
         PartialRelationInterpretation.relationlinks(relationIterpretation,link);
         BinaryElementRelationLink.param1(link,source);
         BinaryElementRelationLink.param2(link,target);
 }
 /**
- * Matcher for detecting tuples t where <>communicationLink reference CommunicatingElement(source,target)
+ * Matcher for detecting tuples t where <>payload reference Spacecraft(source,target)
  */
-private pattern mayInRelationcommunicationLink_reference_CommunicatingElement(
+private pattern mayInRelationpayload_reference_Spacecraft(
         problem:LogicProblem, interpretation:PartialInterpretation,
         source: DefinedElement, target:DefinedElement)
 {
@@ -1178,11 +1196,11 @@ private pattern mayInRelationcommunicationLink_reference_CommunicatingElement(
         find mayExist(problem, interpretation, source);
         find mayExist(problem, interpretation, target);
         // Type consistency
-        find mayInstanceOfCommunicatingElement_class(problem,interpretation,source);
-        find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,target);
+        find mayInstanceOfSpacecraft_class(problem,interpretation,source);
+        find mayInstanceOfPayload_class(problem,interpretation,target);
         // There are "numberOfExistingReferences" currently existing instances of the reference from the source,
         // the upper bound of the multiplicity should be considered.
-        numberOfExistingReferences == count find mustInRelationcommunicationLink_reference_CommunicatingElement(problem,interpretation,source,_);
+        numberOfExistingReferences == count find mustInRelationpayload_reference_Spacecraft(problem,interpretation,source,_);
         check(numberOfExistingReferences < 1);
         // The reference is containment, then a new reference cannot be create if:
         // 1. Multiple parents
@@ -1190,26 +1208,26 @@ private pattern mayInRelationcommunicationLink_reference_CommunicatingElement(
         // 2. Circle in the containment hierarchy
         neg find mustTransitiveContains(source,target);
 } or {
-        find mustInRelationcommunicationLink_reference_CommunicatingElement(problem,interpretation,source,target);
+        find mustInRelationpayload_reference_Spacecraft(problem,interpretation,source,target);
 }
 /**
- * Matcher for detecting tuples t where []payload reference Spacecraft(source,target)
+ * Matcher for detecting tuples t where []communicationLink reference CommSubsystem(source,target)
  */
-private pattern mustInRelationpayload_reference_Spacecraft(
+private pattern mustInRelationcommunicationLink_reference_CommSubsystem(
         problem:LogicProblem, interpretation:PartialInterpretation,
         source: DefinedElement, target:DefinedElement)
 {
         find interpretation(problem,interpretation);
         PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation);
-        PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"payload reference Spacecraft");
+        PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"communicationLink reference CommSubsystem");
         PartialRelationInterpretation.relationlinks(relationIterpretation,link);
         BinaryElementRelationLink.param1(link,source);
         BinaryElementRelationLink.param2(link,target);
 }
 /**
- * Matcher for detecting tuples t where <>payload reference Spacecraft(source,target)
+ * Matcher for detecting tuples t where <>communicationLink reference CommSubsystem(source,target)
  */
-private pattern mayInRelationpayload_reference_Spacecraft(
+private pattern mayInRelationcommunicationLink_reference_CommSubsystem(
         problem:LogicProblem, interpretation:PartialInterpretation,
         source: DefinedElement, target:DefinedElement)
 {
@@ -1218,11 +1236,11 @@ private pattern mayInRelationpayload_reference_Spacecraft(
         find mayExist(problem, interpretation, source);
         find mayExist(problem, interpretation, target);
         // Type consistency
-        find mayInstanceOfSpacecraft_class(problem,interpretation,source);
-        find mayInstanceOfPayload_class(problem,interpretation,target);
+        find mayInstanceOfCommSubsystem_class(problem,interpretation,source);
+        find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,target);
         // There are "numberOfExistingReferences" currently existing instances of the reference from the source,
         // the upper bound of the multiplicity should be considered.
-        numberOfExistingReferences == count find mustInRelationpayload_reference_Spacecraft(problem,interpretation,source,_);
+        numberOfExistingReferences == count find mustInRelationcommunicationLink_reference_CommSubsystem(problem,interpretation,source,_);
         check(numberOfExistingReferences < 1);
         // The reference is containment, then a new reference cannot be create if:
         // 1. Multiple parents
@@ -1230,7 +1248,7 @@ private pattern mayInRelationpayload_reference_Spacecraft(
         // 2. Circle in the containment hierarchy
         neg find mustTransitiveContains(source,target);
 } or {
-        find mustInRelationpayload_reference_Spacecraft(problem,interpretation,source,target);
+        find mustInRelationcommunicationLink_reference_CommSubsystem(problem,interpretation,source,target);
 }
 /**
  * Matcher for detecting tuples t where []source reference DirectedCommunicationLink(source,target)
@@ -1394,69 +1412,118 @@ private pattern mayInRelationgain_attribute_CommSubsystem(
 //////////
 // 1.3 Relation Definition Indexers
 //////////
-// Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries communicationLinkDoesNotStartAtContainingElement
-private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement(
+// Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries multipleCommunicationLinks
+private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_multipleCommunicationLinks(
         problem:LogicProblem, interpretation:PartialInterpretation,
-        var_Link)
+        var_Element)
+{
+        find interpretation(problem,interpretation);
+        find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element);
+        // Element is exported
+        find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element);
+        find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual0);
+        find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0);
+        find mustInRelationcommunicationLink_reference_CommSubsystem(problem,interpretation,var_virtual0,var_virtual1);
+        find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_virtual1);
+        find mustEquivalent(problem, interpretation, var_virtual1, var_Link1);
+        find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element);
+        find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual2);
+        find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2);
+        find mustInRelationcommunicationLink_reference_CommSubsystem(problem,interpretation,var_virtual2,var_virtual3);
+        find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_virtual3);
+        find mustEquivalent(problem, interpretation, var_virtual3, var_Link2);
+        neg find mayEquivalent(problem, interpretation, var_Link1, var_Link2);
+}
+private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_multipleCommunicationLinks(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        var_Element)
+{
+        find interpretation(problem,interpretation);
+        find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_Element);
+        // Element is exported
+        find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_Element);
+        find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual0);
+        find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0);
+        find mayInRelationcommunicationLink_reference_CommSubsystem(problem,interpretation,var_virtual0,var_virtual1);
+        find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_virtual1);
+        find mayEquivalent(problem, interpretation, var_virtual1, var_Link1);
+        find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_Element);
+        find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual2);
+        find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2);
+        find mayInRelationcommunicationLink_reference_CommSubsystem(problem,interpretation,var_virtual2,var_virtual3);
+        find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_virtual3);
+        find mayEquivalent(problem, interpretation, var_virtual3, var_Link2);
+        neg find mustEquivalent(problem, interpretation, var_Link1, var_Link2);
+}
+private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_multipleCommunicationLinks(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        var_Element)
 {
         find interpretation(problem,interpretation);
+        find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element);
+        // Element is exported
+        find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element);
+        find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual0);
+        find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0);
+        find mustInRelationcommunicationLink_reference_CommSubsystem(problem,interpretation,var_virtual0,var_virtual1);
+        find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_virtual1);
+        find mustEquivalent(problem, interpretation, var_virtual1, var_Link1);
+        find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element);
+        find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual2);
+        find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2);
+        find mustInRelationcommunicationLink_reference_CommSubsystem(problem,interpretation,var_virtual2,var_virtual3);
+        find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_virtual3);
+        find mustEquivalent(problem, interpretation, var_virtual3, var_Link2);
+        neg find mustEquivalent(problem, interpretation, var_Link1, var_Link2);
+}
+// Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries communicationLinkOfElement
+private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkOfElement(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        var_Element, var_Link)
+{
+        find interpretation(problem,interpretation);
+        find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element);
         find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link);
+        // Element is exported
         // Link is exported
         find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element);
-        find mustInRelationcommunicationLink_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual0);
-        find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_virtual0);
-        find mustEquivalent(problem, interpretation, var_virtual0, var_Link);
-        find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link);
-        find mustInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1);
-        find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1);
-        find mustEquivalent(problem, interpretation, var_virtual1, var_SourceComm);
-        find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_SourceElement);
-        find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_SourceElement,var_virtual2);
-        find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2);
-        find mustEquivalent(problem, interpretation, var_virtual2, var_SourceComm);
-        neg find mayEquivalent(problem, interpretation, var_Element, var_SourceElement);
+        find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual0);
+        find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0);
+        find mustInRelationcommunicationLink_reference_CommSubsystem(problem,interpretation,var_virtual0,var_virtual1);
+        find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_virtual1);
+        find mustEquivalent(problem, interpretation, var_virtual1, var_Link);
 }
-private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement(
+private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkOfElement(
         problem:LogicProblem, interpretation:PartialInterpretation,
-        var_Link)
+        var_Element, var_Link)
 {
         find interpretation(problem,interpretation);
+        find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_Element);
         find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link);
+        // Element is exported
         // Link is exported
         find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_Element);
-        find mayInRelationcommunicationLink_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual0);
-        find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_virtual0);
-        find mayEquivalent(problem, interpretation, var_virtual0, var_Link);
-        find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link);
-        find mayInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1);
-        find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1);
-        find mayEquivalent(problem, interpretation, var_virtual1, var_SourceComm);
-        find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_SourceElement);
-        find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_SourceElement,var_virtual2);
-        find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2);
-        find mayEquivalent(problem, interpretation, var_virtual2, var_SourceComm);
-        neg find mustEquivalent(problem, interpretation, var_Element, var_SourceElement);
+        find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual0);
+        find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0);
+        find mayInRelationcommunicationLink_reference_CommSubsystem(problem,interpretation,var_virtual0,var_virtual1);
+        find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_virtual1);
+        find mayEquivalent(problem, interpretation, var_virtual1, var_Link);
 }
-private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement(
+private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkOfElement(
         problem:LogicProblem, interpretation:PartialInterpretation,
-        var_Link)
+        var_Element, var_Link)
 {
         find interpretation(problem,interpretation);
+        find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element);
         find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link);
+        // Element is exported
         // Link is exported
         find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element);
-        find mustInRelationcommunicationLink_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual0);
-        find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_virtual0);
-        find mustEquivalent(problem, interpretation, var_virtual0, var_Link);
-        find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link);
-        find mustInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1);
-        find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1);
-        find mustEquivalent(problem, interpretation, var_virtual1, var_SourceComm);
-        find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_SourceElement);
-        find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_SourceElement,var_virtual2);
-        find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2);
-        find mustEquivalent(problem, interpretation, var_virtual2, var_SourceComm);
-        neg find mustEquivalent(problem, interpretation, var_Element, var_SourceElement);
+        find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual0);
+        find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0);
+        find mustInRelationcommunicationLink_reference_CommSubsystem(problem,interpretation,var_virtual0,var_virtual1);
+        find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_virtual1);
+        find mustEquivalent(problem, interpretation, var_virtual1, var_Link);
 }
 // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries notEnoughInterferometryPayloads
 private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_notEnoughInterferometryPayloads(
@@ -2875,9 +2942,9 @@ private pattern mustContains4(problem:LogicProblem, interpretation:PartialInterp
         
         { find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,source,target); }or
         
-        { find mustInRelationcommunicationLink_reference_CommunicatingElement(problem,interpretation,source,target); }or
+        { find mustInRelationpayload_reference_Spacecraft(problem,interpretation,source,target); }or
         
-        { find mustInRelationpayload_reference_Spacecraft(problem,interpretation,source,target); }
+        { find mustInRelationcommunicationLink_reference_CommSubsystem(problem,interpretation,source,target); }
 
 private pattern mustTransitiveContains(source,target) {
         find mustContains2+(source,target);
@@ -2888,10 +2955,10 @@ private pattern mustTransitiveContains(source,target) {
 //////////
 // 2.1 Invalidated by WF Queries
 //////////
-pattern invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement(problem:LogicProblem, interpretation:PartialInterpretation,
-        var_Link)
+pattern invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_multipleCommunicationLinks(problem:LogicProblem, interpretation:PartialInterpretation,
+        var_Element)
 {
-        find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement(problem,interpretation,var_Link);
+        find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_multipleCommunicationLinks(problem,interpretation,var_Element);
 }
 pattern invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_notEnoughInterferometryPayloads(problem:LogicProblem, interpretation:PartialInterpretation,
         var_Mission)
@@ -3021,10 +3088,10 @@ pattern unfinishedLowerMultiplicity_gain_attribute_CommSubsystem(problem:LogicPr
 //////////
 // 3.2 Unfinishedness Measured by WF Queries
 //////////
-pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement(problem:LogicProblem, interpretation:PartialInterpretation,
-        var_Link)
+pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_multipleCommunicationLinks(problem:LogicProblem, interpretation:PartialInterpretation,
+        var_Element)
 {
-        find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement(problem,interpretation,var_Link);
+        find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_multipleCommunicationLinks(problem,interpretation,var_Element);
 }
 pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_notEnoughInterferometryPayloads(problem:LogicProblem, interpretation:PartialInterpretation,
         var_Mission)
@@ -3090,55 +3157,55 @@ pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_querie
 private pattern hasElementInContainment(problem:LogicProblem, interpretation:PartialInterpretation)
 {
         find interpretation(problem,interpretation);
-        find mustInstanceOfInterferometryPayload_class(problem,interpretation,root);
+        find mustInstanceOfSpacecraft_class(problem,interpretation,root);
         find mustExist(problem, interpretation, root);
 }or{
         find interpretation(problem,interpretation);
-        find mustInstanceOfSpacecraft_class(problem,interpretation,root);
+        find mustInstanceOfCubeSat6U_class(problem,interpretation,root);
         find mustExist(problem, interpretation, root);
 }or{
         find interpretation(problem,interpretation);
-        find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,root);
+        find mustInstanceOfSmallSat_class(problem,interpretation,root);
         find mustExist(problem, interpretation, root);
 }or{
         find interpretation(problem,interpretation);
-        find mustInstanceOfCubeSat_class(problem,interpretation,root);
+        find mustInstanceOfGroundStationNetwork_class(problem,interpretation,root);
         find mustExist(problem, interpretation, root);
 }or{
         find interpretation(problem,interpretation);
-        find mustInstanceOfConstellationMission_class(problem,interpretation,root);
+        find mustInstanceOfPayload_class(problem,interpretation,root);
         find mustExist(problem, interpretation, root);
 }or{
         find interpretation(problem,interpretation);
-        find mustInstanceOfInterferometryMission_class(problem,interpretation,root);
+        find mustInstanceOfCommunicatingElement_class(problem,interpretation,root);
         find mustExist(problem, interpretation, root);
 }or{
         find interpretation(problem,interpretation);
-        find mustInstanceOfCubeSat3U_class(problem,interpretation,root);
+        find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,root);
         find mustExist(problem, interpretation, root);
 }or{
         find interpretation(problem,interpretation);
-        find mustInstanceOfCommunicatingElement_class(problem,interpretation,root);
+        find mustInstanceOfCubeSat_class(problem,interpretation,root);
         find mustExist(problem, interpretation, root);
 }or{
         find interpretation(problem,interpretation);
-        find mustInstanceOfCubeSat6U_class(problem,interpretation,root);
+        find mustInstanceOfCubeSat3U_class(problem,interpretation,root);
         find mustExist(problem, interpretation, root);
 }or{
         find interpretation(problem,interpretation);
-        find mustInstanceOfSmallSat_class(problem,interpretation,root);
+        find mustInstanceOfInterferometryPayload_class(problem,interpretation,root);
         find mustExist(problem, interpretation, root);
 }or{
         find interpretation(problem,interpretation);
-        find mustInstanceOfCommSubsystem_class(problem,interpretation,root);
+        find mustInstanceOfConstellationMission_class(problem,interpretation,root);
         find mustExist(problem, interpretation, root);
 }or{
         find interpretation(problem,interpretation);
-        find mustInstanceOfGroundStationNetwork_class(problem,interpretation,root);
+        find mustInstanceOfInterferometryMission_class(problem,interpretation,root);
         find mustExist(problem, interpretation, root);
 }or{
         find interpretation(problem,interpretation);
-        find mustInstanceOfPayload_class(problem,interpretation,root);
+        find mustInstanceOfCommSubsystem_class(problem,interpretation,root);
         find mustExist(problem, interpretation, root);
 }or{
         find interpretation(problem,interpretation);
@@ -3181,99 +3248,87 @@ private pattern hasElementInContainment(problem:LogicProblem, interpretation:Par
         find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,root);
         find mustExist(problem, interpretation, root);
 }
-pattern createObject_DirectedCommunicationLink_class_by_communicationLink_reference_CommunicatingElement(
+pattern createObject_GroundStationNetwork_class_UndefinedPart_by_groundStationNetwork_reference_ConstellationMission(
         problem:LogicProblem, interpretation:PartialInterpretation,
         relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation,
         container:DefinedElement)
 {
         find interpretation(problem,interpretation);
         PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation);
-        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"DirectedCommunicationLink class");
+        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"GroundStationNetwork class UndefinedPart");
         PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation);
-        PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"communicationLink reference CommunicatingElement");
-        find mustInstanceOfCommunicatingElement_class(problem,interpretation,container);
-        find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,newObject);
-        find mayInRelationcommunicationLink_reference_CommunicatingElement(problem,interpretation,container,newObject);
+        PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"groundStationNetwork reference ConstellationMission");
+        find mustInstanceOfConstellationMission_class(problem,interpretation,container);
+        find mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,newObject);
+        find mayInRelationgroundStationNetwork_reference_ConstellationMission(problem,interpretation,container,newObject);
         find mustExist(problem, interpretation, container);
         neg find mustExist(problem, interpretation, newObject);
 }
-pattern createObject_DirectedCommunicationLink_class(
-        problem:LogicProblem, interpretation:PartialInterpretation,
-        typeInterpretation:PartialComplexTypeInterpretation)
-{
-        find interpretation(problem,interpretation);
-        neg find hasElementInContainment(problem,interpretation);
-        PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation);
-        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"DirectedCommunicationLink class");
-        find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,newObject);
-        find mayExist(problem, interpretation, newObject);
-        neg find mustExist(problem, interpretation, newObject);
-}
-pattern createObject_InterferometryMission_class_UndefinedPart(
+pattern createObject_GroundStationNetwork_class_UndefinedPart(
         problem:LogicProblem, interpretation:PartialInterpretation,
         typeInterpretation:PartialComplexTypeInterpretation)
 {
         find interpretation(problem,interpretation);
         neg find hasElementInContainment(problem,interpretation);
         PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation);
-        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"InterferometryMission class UndefinedPart");
-        find mayInstanceOfInterferometryMission_class_UndefinedPart(problem,interpretation,newObject);
+        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"GroundStationNetwork class UndefinedPart");
+        find mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,newObject);
         find mayExist(problem, interpretation, newObject);
         neg find mustExist(problem, interpretation, newObject);
 }
-pattern createObject_InterferometryPayload_class_by_payload_reference_Spacecraft(
+pattern createObject_SmallSat_class_by_spacecraft_reference_ConstellationMission(
         problem:LogicProblem, interpretation:PartialInterpretation,
         relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation,
         container:DefinedElement)
 {
         find interpretation(problem,interpretation);
         PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation);
-        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"InterferometryPayload class");
+        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"SmallSat class");
         PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation);
-        PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"payload reference Spacecraft");
-        find mustInstanceOfSpacecraft_class(problem,interpretation,container);
-        find mayInstanceOfInterferometryPayload_class(problem,interpretation,newObject);
-        find mayInRelationpayload_reference_Spacecraft(problem,interpretation,container,newObject);
+        PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"spacecraft reference ConstellationMission");
+        find mustInstanceOfConstellationMission_class(problem,interpretation,container);
+        find mayInstanceOfSmallSat_class(problem,interpretation,newObject);
+        find mayInRelationspacecraft_reference_ConstellationMission(problem,interpretation,container,newObject);
         find mustExist(problem, interpretation, container);
         neg find mustExist(problem, interpretation, newObject);
 }
-pattern createObject_InterferometryPayload_class(
+pattern createObject_SmallSat_class(
         problem:LogicProblem, interpretation:PartialInterpretation,
         typeInterpretation:PartialComplexTypeInterpretation)
 {
         find interpretation(problem,interpretation);
         neg find hasElementInContainment(problem,interpretation);
         PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation);
-        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"InterferometryPayload class");
-        find mayInstanceOfInterferometryPayload_class(problem,interpretation,newObject);
+        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"SmallSat class");
+        find mayInstanceOfSmallSat_class(problem,interpretation,newObject);
         find mayExist(problem, interpretation, newObject);
         neg find mustExist(problem, interpretation, newObject);
 }
-pattern createObject_GroundStationNetwork_class_UndefinedPart_by_groundStationNetwork_reference_ConstellationMission(
+pattern createObject_DirectedCommunicationLink_class_by_communicationLink_reference_CommSubsystem(
         problem:LogicProblem, interpretation:PartialInterpretation,
         relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation,
         container:DefinedElement)
 {
         find interpretation(problem,interpretation);
         PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation);
-        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"GroundStationNetwork class UndefinedPart");
+        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"DirectedCommunicationLink class");
         PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation);
-        PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"groundStationNetwork reference ConstellationMission");
-        find mustInstanceOfConstellationMission_class(problem,interpretation,container);
-        find mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,newObject);
-        find mayInRelationgroundStationNetwork_reference_ConstellationMission(problem,interpretation,container,newObject);
+        PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"communicationLink reference CommSubsystem");
+        find mustInstanceOfCommSubsystem_class(problem,interpretation,container);
+        find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,newObject);
+        find mayInRelationcommunicationLink_reference_CommSubsystem(problem,interpretation,container,newObject);
         find mustExist(problem, interpretation, container);
         neg find mustExist(problem, interpretation, newObject);
 }
-pattern createObject_GroundStationNetwork_class_UndefinedPart(
+pattern createObject_DirectedCommunicationLink_class(
         problem:LogicProblem, interpretation:PartialInterpretation,
         typeInterpretation:PartialComplexTypeInterpretation)
 {
         find interpretation(problem,interpretation);
         neg find hasElementInContainment(problem,interpretation);
         PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation);
-        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"GroundStationNetwork class UndefinedPart");
-        find mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,newObject);
+        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"DirectedCommunicationLink class");
+        find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,newObject);
         find mayExist(problem, interpretation, newObject);
         neg find mustExist(problem, interpretation, newObject);
 }
@@ -3305,31 +3360,31 @@ pattern createObject_CubeSat3U_class(
         find mayExist(problem, interpretation, newObject);
         neg find mustExist(problem, interpretation, newObject);
 }
-pattern createObject_SmallSat_class_by_spacecraft_reference_ConstellationMission(
+pattern createObject_CubeSat6U_class_by_spacecraft_reference_ConstellationMission(
         problem:LogicProblem, interpretation:PartialInterpretation,
         relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation,
         container:DefinedElement)
 {
         find interpretation(problem,interpretation);
         PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation);
-        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"SmallSat class");
+        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"CubeSat6U class");
         PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation);
         PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"spacecraft reference ConstellationMission");
         find mustInstanceOfConstellationMission_class(problem,interpretation,container);
-        find mayInstanceOfSmallSat_class(problem,interpretation,newObject);
+        find mayInstanceOfCubeSat6U_class(problem,interpretation,newObject);
         find mayInRelationspacecraft_reference_ConstellationMission(problem,interpretation,container,newObject);
         find mustExist(problem, interpretation, container);
         neg find mustExist(problem, interpretation, newObject);
 }
-pattern createObject_SmallSat_class(
+pattern createObject_CubeSat6U_class(
         problem:LogicProblem, interpretation:PartialInterpretation,
         typeInterpretation:PartialComplexTypeInterpretation)
 {
         find interpretation(problem,interpretation);
         neg find hasElementInContainment(problem,interpretation);
         PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation);
-        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"SmallSat class");
-        find mayInstanceOfSmallSat_class(problem,interpretation,newObject);
+        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"CubeSat6U class");
+        find mayInstanceOfCubeSat6U_class(problem,interpretation,newObject);
         find mayExist(problem, interpretation, newObject);
         neg find mustExist(problem, interpretation, newObject);
 }
@@ -3361,31 +3416,43 @@ pattern createObject_CommSubsystem_class_UndefinedPart(
         find mayExist(problem, interpretation, newObject);
         neg find mustExist(problem, interpretation, newObject);
 }
-pattern createObject_CubeSat6U_class_by_spacecraft_reference_ConstellationMission(
+pattern createObject_InterferometryMission_class_UndefinedPart(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        typeInterpretation:PartialComplexTypeInterpretation)
+{
+        find interpretation(problem,interpretation);
+        neg find hasElementInContainment(problem,interpretation);
+        PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation);
+        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"InterferometryMission class UndefinedPart");
+        find mayInstanceOfInterferometryMission_class_UndefinedPart(problem,interpretation,newObject);
+        find mayExist(problem, interpretation, newObject);
+        neg find mustExist(problem, interpretation, newObject);
+}
+pattern createObject_InterferometryPayload_class_by_payload_reference_Spacecraft(
         problem:LogicProblem, interpretation:PartialInterpretation,
         relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation,
         container:DefinedElement)
 {
         find interpretation(problem,interpretation);
         PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation);
-        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"CubeSat6U class");
+        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"InterferometryPayload class");
         PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation);
-        PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"spacecraft reference ConstellationMission");
-        find mustInstanceOfConstellationMission_class(problem,interpretation,container);
-        find mayInstanceOfCubeSat6U_class(problem,interpretation,newObject);
-        find mayInRelationspacecraft_reference_ConstellationMission(problem,interpretation,container,newObject);
+        PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"payload reference Spacecraft");
+        find mustInstanceOfSpacecraft_class(problem,interpretation,container);
+        find mayInstanceOfInterferometryPayload_class(problem,interpretation,newObject);
+        find mayInRelationpayload_reference_Spacecraft(problem,interpretation,container,newObject);
         find mustExist(problem, interpretation, container);
         neg find mustExist(problem, interpretation, newObject);
 }
-pattern createObject_CubeSat6U_class(
+pattern createObject_InterferometryPayload_class(
         problem:LogicProblem, interpretation:PartialInterpretation,
         typeInterpretation:PartialComplexTypeInterpretation)
 {
         find interpretation(problem,interpretation);
         neg find hasElementInContainment(problem,interpretation);
         PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation);
-        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"CubeSat6U class");
-        find mayInstanceOfCubeSat6U_class(problem,interpretation,newObject);
+        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"InterferometryPayload class");
+        find mayInstanceOfInterferometryPayload_class(problem,interpretation,newObject);
         find mayExist(problem, interpretation, newObject);
         neg find mustExist(problem, interpretation, newObject);
 }
@@ -3393,99 +3460,114 @@ pattern createObject_CubeSat6U_class(
 //////////
 // 4.2 Type refinement
 //////////
-pattern refineTypeTo_DirectedCommunicationLink_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) {
+pattern refineTypeTo_GroundStationNetwork_class_UndefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) {
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
-        find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
+        find mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,element);
+        neg find mustInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
+        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
         neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
+        neg find mustInstanceOfSpacecraft_class(problem,interpretation,element);
 }
-pattern refineTypeTo_InterferometryMission_class_UndefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) {
+pattern refineTypeTo_SmallSat_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) {
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
-        find mayInstanceOfInterferometryMission_class_UndefinedPart(problem,interpretation,element);
+        find mayInstanceOfSmallSat_class(problem,interpretation,element);
+        neg find mustInstanceOfSmallSat_class(problem,interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
-        neg find mustInstanceOfInterferometryMission_class_UndefinedPart(problem,interpretation,element);
+        neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element);
         neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
-}
-pattern refineTypeTo_InterferometryPayload_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) {
-        find interpretation(problem,interpretation);
-        PartialInterpretation.newElements(interpretation,element);
-        find mayInstanceOfInterferometryPayload_class(problem,interpretation,element);
-        neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
+        neg find mustInstanceOfPayload_class(problem,interpretation,element);
+        neg find mustInstanceOfCubeSat_class(problem,interpretation,element);
         neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
-        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfInterferometryPayload_class(problem,interpretation,element);
 }
-pattern refineTypeTo_GroundStationNetwork_class_UndefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) {
+pattern refineTypeTo_DirectedCommunicationLink_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) {
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
-        find mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,element);
+        find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
+        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
+        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
         neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,element);
-        neg find mustInstanceOfSpacecraft_class(problem,interpretation,element);
 }
 pattern refineTypeTo_CubeSat3U_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) {
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
         find mayInstanceOfCubeSat3U_class(problem,interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
+        neg find mustInstanceOfSmallSat_class(problem,interpretation,element);
         neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
         neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
+        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element);
-        neg find mustInstanceOfSmallSat_class(problem,interpretation,element);
         neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element);
+        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
 }
-pattern refineTypeTo_SmallSat_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) {
+pattern refineTypeTo_CubeSat6U_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) {
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
-        find mayInstanceOfSmallSat_class(problem,interpretation,element);
+        find mayInstanceOfCubeSat6U_class(problem,interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
-        neg find mustInstanceOfCubeSat_class(problem,interpretation,element);
+        neg find mustInstanceOfSmallSat_class(problem,interpretation,element);
         neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
         neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfSmallSat_class(problem,interpretation,element);
+        neg find mustInstanceOfPayload_class(problem,interpretation,element);
+        neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element);
+        neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element);
+        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
 }
 pattern refineTypeTo_CommSubsystem_class_UndefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) {
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
         find mayInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
         neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
+        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element);
+        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
 }
-pattern refineTypeTo_CubeSat6U_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) {
+pattern refineTypeTo_InterferometryMission_class_UndefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) {
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
-        find mayInstanceOfCubeSat6U_class(problem,interpretation,element);
+        find mayInstanceOfInterferometryMission_class_UndefinedPart(problem,interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
+        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
+        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
         neg find mustInstanceOfPayload_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
-        neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element);
+        neg find mustInstanceOfInterferometryMission_class_UndefinedPart(problem,interpretation,element);
+}
+pattern refineTypeTo_InterferometryPayload_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) {
+        find interpretation(problem,interpretation);
+        PartialInterpretation.newElements(interpretation,element);
+        find mayInstanceOfInterferometryPayload_class(problem,interpretation,element);
+        neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
         neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element);
-        neg find mustInstanceOfSmallSat_class(problem,interpretation,element);
-        neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element);
+        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
+        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
+        neg find mustInstanceOfInterferometryPayload_class(problem,interpretation,element);
 }
 
 //////////
 // 4.3 Relation refinement
 //////////
+pattern refineRelation_communicationLink_reference_CommunicatingElement(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        relationIterpretation:PartialRelationInterpretation,
+        from: DefinedElement, to: DefinedElement)
+{
+        find interpretation(problem,interpretation);
+        PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation);
+        PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"communicationLink reference CommunicatingElement");
+        find mustExist(problem, interpretation, from);
+        find mustExist(problem, interpretation, to);
+        find mustInstanceOfCommunicatingElement_class(problem,interpretation,from);
+        find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,to);
+        find mayInRelationcommunicationLink_reference_CommunicatingElement(problem,interpretation,from,to);
+        neg find mustInRelationcommunicationLink_reference_CommunicatingElement(problem,interpretation,from,to);
+}
 pattern refineRelation_source_reference_DirectedCommunicationLink(
         problem:LogicProblem, interpretation:PartialInterpretation,
         relationIterpretation:PartialRelationInterpretation,
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generation.logicproblem b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generation.logicproblem
index 2a54174a..2164c23c 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generation.logicproblem
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generation.logicproblem
@@ -648,7 +648,38 @@
       </expression>
     </value>
   </assertions>
-  <assertions name="lowerMultiplicity source DirectedCommunicationLink" annotations="//@annotations.8">
+  <assertions name="upperMultiplicity communicationLink CommSubsystem" annotations="//@annotations.8">
+    <value xsi:type="language_1:Forall">
+      <quantifiedVariables name="src">
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
+      </quantifiedVariables>
+      <quantifiedVariables name="trg 1">
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
+      </quantifiedVariables>
+      <quantifiedVariables name="trg 2">
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
+      </quantifiedVariables>
+      <expression xsi:type="language_1:Impl">
+        <leftOperand xsi:type="language_1:And">
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.1"/>
+          </operands>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.2"/>
+          </operands>
+        </leftOperand>
+        <rightOperand xsi:type="language_1:Not">
+          <operand xsi:type="language_1:Distinct">
+            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.1"/>
+            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.2"/>
+          </operand>
+        </rightOperand>
+      </expression>
+    </value>
+  </assertions>
+  <assertions name="lowerMultiplicity source DirectedCommunicationLink" annotations="//@annotations.9">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="src">
         <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
@@ -658,15 +689,15 @@
           <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@expression/@quantifiedVariables.0"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@expression/@quantifiedVariables.0"/>
           </operands>
         </expression>
       </expression>
     </value>
   </assertions>
-  <assertions name="upperMultiplicity source DirectedCommunicationLink" annotations="//@annotations.9">
+  <assertions name="upperMultiplicity source DirectedCommunicationLink" annotations="//@annotations.10">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="src">
         <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
@@ -679,25 +710,25 @@
       </quantifiedVariables>
       <expression xsi:type="language_1:Impl">
         <leftOperand xsi:type="language_1:And">
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.1"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.1"/>
           </operands>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.2"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.2"/>
           </operands>
         </leftOperand>
         <rightOperand xsi:type="language_1:Not">
           <operand xsi:type="language_1:Distinct">
-            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.1"/>
-            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.2"/>
+            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.1"/>
+            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.2"/>
           </operand>
         </rightOperand>
       </expression>
     </value>
   </assertions>
-  <assertions name="lowerMultiplicity target DirectedCommunicationLink" annotations="//@annotations.10">
+  <assertions name="lowerMultiplicity target DirectedCommunicationLink" annotations="//@annotations.11">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="src">
         <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
@@ -707,15 +738,15 @@
           <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@expression/@quantifiedVariables.0"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@expression/@quantifiedVariables.0"/>
           </operands>
         </expression>
       </expression>
     </value>
   </assertions>
-  <assertions name="upperMultiplicity target DirectedCommunicationLink" annotations="//@annotations.11">
+  <assertions name="upperMultiplicity target DirectedCommunicationLink" annotations="//@annotations.12">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="src">
         <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
@@ -728,25 +759,25 @@
       </quantifiedVariables>
       <expression xsi:type="language_1:Impl">
         <leftOperand xsi:type="language_1:And">
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.1"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.1"/>
           </operands>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.2"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.2"/>
           </operands>
         </leftOperand>
         <rightOperand xsi:type="language_1:Not">
           <operand xsi:type="language_1:Distinct">
-            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.1"/>
-            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.2"/>
+            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.1"/>
+            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.2"/>
           </operand>
         </rightOperand>
       </expression>
     </value>
   </assertions>
-  <assertions name="lowerMultiplicity kind Spacecraft" annotations="//@annotations.12">
+  <assertions name="lowerMultiplicity kind Spacecraft" annotations="//@annotations.13">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="src">
         <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
@@ -756,15 +787,15 @@
           <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@expression/@quantifiedVariables.0"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@expression/@quantifiedVariables.0"/>
           </operands>
         </expression>
       </expression>
     </value>
   </assertions>
-  <assertions name="upperMultiplicity kind Spacecraft" annotations="//@annotations.13">
+  <assertions name="upperMultiplicity kind Spacecraft" annotations="//@annotations.14">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="src">
         <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
@@ -777,25 +808,25 @@
       </quantifiedVariables>
       <expression xsi:type="language_1:Impl">
         <leftOperand xsi:type="language_1:And">
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.1"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.1"/>
           </operands>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.2"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.2"/>
           </operands>
         </leftOperand>
         <rightOperand xsi:type="language_1:Not">
           <operand xsi:type="language_1:Distinct">
-            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.1"/>
-            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.2"/>
+            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.1"/>
+            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.2"/>
           </operand>
         </rightOperand>
       </expression>
     </value>
   </assertions>
-  <assertions name="lowerMultiplicity band CommSubsystem" annotations="//@annotations.14">
+  <assertions name="lowerMultiplicity band CommSubsystem" annotations="//@annotations.15">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="src">
         <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
@@ -805,15 +836,15 @@
           <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@expression/@quantifiedVariables.0"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@expression/@quantifiedVariables.0"/>
           </operands>
         </expression>
       </expression>
     </value>
   </assertions>
-  <assertions name="upperMultiplicity band CommSubsystem" annotations="//@annotations.15">
+  <assertions name="upperMultiplicity band CommSubsystem" annotations="//@annotations.16">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="src">
         <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
@@ -826,25 +857,25 @@
       </quantifiedVariables>
       <expression xsi:type="language_1:Impl">
         <leftOperand xsi:type="language_1:And">
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.1"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@quantifiedVariables.1"/>
           </operands>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.2"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@quantifiedVariables.2"/>
           </operands>
         </leftOperand>
         <rightOperand xsi:type="language_1:Not">
           <operand xsi:type="language_1:Distinct">
-            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.1"/>
-            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.2"/>
+            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@quantifiedVariables.1"/>
+            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@quantifiedVariables.2"/>
           </operand>
         </rightOperand>
       </expression>
     </value>
   </assertions>
-  <assertions name="lowerMultiplicity gain CommSubsystem" annotations="//@annotations.16">
+  <assertions name="lowerMultiplicity gain CommSubsystem" annotations="//@annotations.17">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="src">
         <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
@@ -854,15 +885,15 @@
           <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@quantifiedVariables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@expression/@quantifiedVariables.0"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@expression/@quantifiedVariables.0"/>
           </operands>
         </expression>
       </expression>
     </value>
   </assertions>
-  <assertions name="upperMultiplicity gain CommSubsystem" annotations="//@annotations.17">
+  <assertions name="upperMultiplicity gain CommSubsystem" annotations="//@annotations.18">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="src">
         <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
@@ -875,31 +906,31 @@
       </quantifiedVariables>
       <expression xsi:type="language_1:Impl">
         <leftOperand xsi:type="language_1:And">
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.1"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.1"/>
           </operands>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.2"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.2"/>
           </operands>
         </leftOperand>
         <rightOperand xsi:type="language_1:Not">
           <operand xsi:type="language_1:Distinct">
-            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.1"/>
-            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.2"/>
+            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.1"/>
+            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.2"/>
           </operand>
         </rightOperand>
       </expression>
     </value>
   </assertions>
-  <assertions name="PartialInterpretation groundStationNetwork reference ConstellationMission" annotations="//@annotations.18">
+  <assertions name="PartialInterpretation groundStationNetwork reference ConstellationMission" annotations="//@annotations.19">
     <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
       <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.9"/>
       <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.10"/>
     </value>
   </assertions>
-  <assertions name="PartialInterpretation commSubsystem reference CommunicatingElement" annotations="//@annotations.19">
+  <assertions name="PartialInterpretation commSubsystem reference CommunicatingElement" annotations="//@annotations.20">
     <value xsi:type="language_1:And">
       <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
         <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.10"/>
@@ -911,46 +942,34 @@
       </operands>
     </value>
   </assertions>
-  <assertions name="PartialInterpretation band attribute CommSubsystem" annotations="//@annotations.20">
+  <assertions name="PartialInterpretation band attribute CommSubsystem" annotations="//@annotations.21">
     <value xsi:type="language_1:And">
-      <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
+      <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
         <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.11"/>
         <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.1"/>
       </operands>
-      <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
+      <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
         <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.12"/>
         <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.2"/>
       </operands>
     </value>
   </assertions>
-  <assertions name="PartialInterpretation gain attribute CommSubsystem" annotations="//@annotations.21">
+  <assertions name="PartialInterpretation gain attribute CommSubsystem" annotations="//@annotations.22">
     <value xsi:type="language_1:And">
-      <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
+      <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10">
         <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.11"/>
         <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.4"/>
       </operands>
-      <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
+      <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10">
         <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.12"/>
         <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.5"/>
       </operands>
     </value>
   </assertions>
-  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries communicationLinkDoesNotStartAtContainingElement" annotations="//@annotations.50">
+  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries multipleCommunicationLinks" annotations="//@annotations.52">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="p0">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
-      </quantifiedVariables>
-      <expression xsi:type="language_1:Not">
-        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10">
-          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.22/@value/@quantifiedVariables.0"/>
-        </operand>
-      </expression>
-    </value>
-  </assertions>
-  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries notEnoughInterferometryPayloads" annotations="//@annotations.51">
-    <value xsi:type="language_1:Forall">
-      <quantifiedVariables name="p0">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
       </quantifiedVariables>
       <expression xsi:type="language_1:Not">
         <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11">
@@ -959,55 +978,55 @@
       </expression>
     </value>
   </assertions>
-  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries noLinkToGroundStation" annotations="//@annotations.52">
+  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries notEnoughInterferometryPayloads" annotations="//@annotations.53">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="p0">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
       </quantifiedVariables>
       <expression xsi:type="language_1:Not">
-        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14">
+        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13">
           <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.24/@value/@quantifiedVariables.0"/>
         </operand>
       </expression>
     </value>
   </assertions>
-  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries noPotentialLinkToGroundStation" annotations="//@annotations.53">
+  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries noLinkToGroundStation" annotations="//@annotations.54">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="p0">
         <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
       </quantifiedVariables>
       <expression xsi:type="language_1:Not">
-        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15">
+        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16">
           <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.25/@value/@quantifiedVariables.0"/>
         </operand>
       </expression>
     </value>
   </assertions>
-  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries communicationLoop" annotations="//@annotations.54">
+  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries noPotentialLinkToGroundStation" annotations="//@annotations.55">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="p0">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
       </quantifiedVariables>
       <expression xsi:type="language_1:Not">
-        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20">
+        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17">
           <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.26/@value/@quantifiedVariables.0"/>
         </operand>
       </expression>
     </value>
   </assertions>
-  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetBand" annotations="//@annotations.55">
+  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries communicationLoop" annotations="//@annotations.56">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="p0">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
       </quantifiedVariables>
       <expression xsi:type="language_1:Not">
-        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23">
+        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22">
           <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.27/@value/@quantifiedVariables.0"/>
         </operand>
       </expression>
     </value>
   </assertions>
-  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetGain" annotations="//@annotations.56">
+  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetBand" annotations="//@annotations.57">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="p0">
         <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
@@ -1019,10 +1038,10 @@
       </expression>
     </value>
   </assertions>
-  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries uhfAntennaGainNotLow" annotations="//@annotations.57">
+  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetGain" annotations="//@annotations.58">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="p0">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
       </quantifiedVariables>
       <expression xsi:type="language_1:Not">
         <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27">
@@ -1031,7 +1050,7 @@
       </expression>
     </value>
   </assertions>
-  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries xAntennaGainNotMedium" annotations="//@annotations.58">
+  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries uhfAntennaGainNotLow" annotations="//@annotations.59">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="p0">
         <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
@@ -1043,7 +1062,7 @@
       </expression>
     </value>
   </assertions>
-  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries kaAntennaGainLow" annotations="//@annotations.59">
+  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries xAntennaGainNotMedium" annotations="//@annotations.60">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="p0">
         <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
@@ -1055,30 +1074,42 @@
       </expression>
     </value>
   </assertions>
-  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries threeUCubeSatWithNonUhfCrossLink" annotations="//@annotations.60">
+  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries kaAntennaGainLow" annotations="//@annotations.61">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="p0">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
       </quantifiedVariables>
       <expression xsi:type="language_1:Not">
-        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32">
+        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.33">
           <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.32/@value/@quantifiedVariables.0"/>
         </operand>
       </expression>
     </value>
   </assertions>
-  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries cubeSatWithKaAntenna" annotations="//@annotations.61">
+  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries threeUCubeSatWithNonUhfCrossLink" annotations="//@annotations.62">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="p0">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
       </quantifiedVariables>
       <expression xsi:type="language_1:Not">
-        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.35">
+        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.34">
           <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.33/@value/@quantifiedVariables.0"/>
         </operand>
       </expression>
     </value>
   </assertions>
+  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries cubeSatWithKaAntenna" annotations="//@annotations.63">
+    <value xsi:type="language_1:Forall">
+      <quantifiedVariables name="p0">
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
+      </quantifiedVariables>
+      <expression xsi:type="language_1:Not">
+        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.37">
+          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.34/@value/@quantifiedVariables.0"/>
+        </operand>
+      </expression>
+    </value>
+  </assertions>
   <relations xsi:type="language_1:RelationDeclaration" name="groundStationNetwork reference ConstellationMission">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
@@ -1091,7 +1122,7 @@
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
   </relations>
-  <relations xsi:type="language_1:RelationDeclaration" name="communicationLink reference CommunicatingElement">
+  <relations xsi:type="language_1:RelationDeclaration" name="communicationLink reference CommunicatingElement" annotations="//@annotations.64">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
   </relations>
@@ -1099,6 +1130,10 @@
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
   </relations>
+  <relations xsi:type="language_1:RelationDeclaration" name="communicationLink reference CommSubsystem">
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
+  </relations>
   <relations xsi:type="language_1:RelationDeclaration" name="source reference DirectedCommunicationLink">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
@@ -1107,7 +1142,7 @@
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
   </relations>
-  <relations xsi:type="language_1:RelationDeclaration" name="kind attribute Spacecraft" annotations="//@annotations.62">
+  <relations xsi:type="language_1:RelationDeclaration" name="kind attribute Spacecraft" annotations="//@annotations.65">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
   </relations>
@@ -1119,48 +1154,90 @@
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries communicationLinkDoesNotStartAtContainingElement" annotations="//@annotations.22">
-    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
-    <variables name="parameter Link">
-      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries multipleCommunicationLinks" annotations="//@annotations.23">
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
+    <variables name="parameter Element">
+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
     </variables>
     <value xsi:type="language_1:Or">
       <operands xsi:type="language_1:Exists">
-        <quantifiedVariables name="variable Element">
-          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
+        <quantifiedVariables name="variable Link1">
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
         </quantifiedVariables>
-        <quantifiedVariables name="variable SourceComm">
+        <quantifiedVariables name="variable Link2">
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
+        </quantifiedVariables>
+        <quantifiedVariables name="variable virtual0">
           <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
         </quantifiedVariables>
-        <quantifiedVariables name="variable SourceElement">
-          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
+        <quantifiedVariables name="variable virtual2">
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@value/@operands.0/@quantifiedVariables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@variables.0"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.2"/>
           </operands>
           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@value/@operands.0/@quantifiedVariables.1"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.2"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.0"/>
+          </operands>
+          <operands xsi:type="language_1:InstanceOf">
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.0"/>
+            <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
           </operands>
           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@value/@operands.0/@quantifiedVariables.2"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@value/@operands.0/@quantifiedVariables.1"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.3"/>
+          </operands>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.3"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.1"/>
           </operands>
           <operands xsi:type="language_1:InstanceOf">
-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@value/@operands.0/@quantifiedVariables.1"/>
-            <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.1"/>
+            <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
           </operands>
           <operands xsi:type="language_1:Distinct">
-            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@value/@operands.0/@quantifiedVariables.0"/>
-            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@value/@operands.0/@quantifiedVariables.2"/>
+            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.0"/>
+            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.1"/>
           </operands>
         </expression>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries notEnoughInterferometryPayloads" annotations="//@annotations.23">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries communicationLinkOfElement" annotations="//@annotations.24" defines="//@relations.3">
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
+    <variables name="parameter Element">
+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
+    </variables>
+    <variables name="parameter Link">
+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
+    </variables>
+    <value xsi:type="language_1:Or">
+      <operands xsi:type="language_1:Exists">
+        <quantifiedVariables name="variable virtual0">
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
+        </quantifiedVariables>
+        <expression xsi:type="language_1:And">
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.0"/>
+          </operands>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.1"/>
+          </operands>
+          <operands xsi:type="language_1:InstanceOf">
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.1"/>
+            <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
+          </operands>
+        </expression>
+      </operands>
+    </value>
+  </relations>
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries notEnoughInterferometryPayloads" annotations="//@annotations.25">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
     <variables name="parameter Mission">
       <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
@@ -1168,18 +1245,18 @@
     <value xsi:type="language_1:Or">
       <operands xsi:type="language_1:And">
         <operands xsi:type="language_1:InstanceOf">
-          <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.0"/>
+          <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.0"/>
           <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
         </operands>
         <operands xsi:type="language_1:Not">
-          <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.0"/>
+          <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.0"/>
           </operand>
         </operands>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries atLeastTwoInterferometryPayloads" annotations="//@annotations.24">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries atLeastTwoInterferometryPayloads" annotations="//@annotations.26">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
     <variables name="parameter Mission">
       <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
@@ -1194,26 +1271,26 @@
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
           <operands xsi:type="language_1:InstanceOf">
-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.0"/>
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/>
             <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
           </operands>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.0"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@value/@operands.0/@quantifiedVariables.0"/>
           </operands>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.1"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@value/@operands.0/@quantifiedVariables.1"/>
           </operands>
           <operands xsi:type="language_1:Distinct">
-            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.0"/>
-            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.1"/>
+            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@value/@operands.0/@quantifiedVariables.0"/>
+            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@value/@operands.0/@quantifiedVariables.1"/>
           </operands>
         </expression>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries spacecraftWithInterferometryPayload" annotations="//@annotations.25">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries spacecraftWithInterferometryPayload" annotations="//@annotations.27">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
     <variables name="parameter Mission">
@@ -1229,22 +1306,22 @@
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.1"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.1"/>
           </operands>
           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.1"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@value/@operands.0/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.1"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.0"/>
           </operands>
           <operands xsi:type="language_1:InstanceOf">
-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@value/@operands.0/@quantifiedVariables.0"/>
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.0"/>
             <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
           </operands>
         </expression>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries noLinkToGroundStation" annotations="//@annotations.26">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries noLinkToGroundStation" annotations="//@annotations.28">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
     <variables name="parameter Spacecraft">
       <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
@@ -1259,32 +1336,32 @@
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@value/@operands.0/@quantifiedVariables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@value/@operands.0/@quantifiedVariables.1"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.1"/>
           </operands>
           <operands xsi:type="language_1:InstanceOf">
-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@value/@operands.0/@quantifiedVariables.1"/>
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.1"/>
             <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
           </operands>
           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@value/@operands.0/@quantifiedVariables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.0"/>
           </operands>
           <operands xsi:type="language_1:InstanceOf">
-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/>
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.0"/>
             <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
           </operands>
           <operands xsi:type="language_1:Not">
-            <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21">
-              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/>
-              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@value/@operands.0/@quantifiedVariables.1"/>
+            <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23">
+              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.0"/>
+              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.1"/>
             </operand>
           </operands>
         </expression>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries noPotentialLinkToGroundStation" annotations="//@annotations.27">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries noPotentialLinkToGroundStation" annotations="//@annotations.29">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
     <variables name="parameter Spacecraft">
       <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
@@ -1299,32 +1376,32 @@
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.1"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.1"/>
           </operands>
           <operands xsi:type="language_1:InstanceOf">
-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.1"/>
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.1"/>
             <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
           </operands>
           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/>
           </operands>
           <operands xsi:type="language_1:InstanceOf">
-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.0"/>
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/>
             <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
           </operands>
           <operands xsi:type="language_1:Not">
-            <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16">
-              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.0"/>
-              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.1"/>
+            <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18">
+              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/>
+              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.1"/>
             </operand>
           </operands>
         </expression>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries indirectLinkAllowed" annotations="//@annotations.28">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries indirectLinkAllowed" annotations="//@annotations.30">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
     <variables name="parameter From">
@@ -1335,11 +1412,11 @@
     </variables>
     <value xsi:type="language_1:Or">
       <operands xsi:type="language_1:And">
-        <operands xsi:type="language_1:TransitiveClosure" relation="//@relations.17"/>
+        <operands xsi:type="language_1:TransitiveClosure" relation="//@relations.19"/>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries linkAllowed" annotations="//@annotations.29">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries linkAllowed" annotations="//@annotations.31">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
     <variables name="parameter From">
@@ -1354,14 +1431,14 @@
           <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.1"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.0"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.1"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.0"/>
           </operands>
           <operands xsi:type="language_1:Not">
-            <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19">
-              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/>
+            <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21">
+              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/>
             </operand>
           </operands>
         </expression>
@@ -1372,16 +1449,16 @@
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
           <operands xsi:type="language_1:Equals">
-            <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.1/@quantifiedVariables.0"/>
+            <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.1/@quantifiedVariables.0"/>
             <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/>
           </operands>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.1"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.1/@quantifiedVariables.0"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.1"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.1/@quantifiedVariables.0"/>
           </operands>
           <operands xsi:type="language_1:InstanceOf">
-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/>
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/>
             <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
           </operands>
         </expression>
@@ -1391,24 +1468,24 @@
           <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.1"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.2/@quantifiedVariables.0"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.1"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.2/@quantifiedVariables.0"/>
           </operands>
           <operands xsi:type="language_1:InstanceOf">
-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/>
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/>
             <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
           </operands>
           <operands xsi:type="language_1:InstanceOf">
-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.1"/>
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.1"/>
             <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
           </operands>
         </expression>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries matchingAntenna" annotations="//@annotations.30">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries matchingAntenna" annotations="//@annotations.32">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
@@ -1440,46 +1517,46 @@
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
           <operands xsi:type="language_1:InstanceOf">
-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.0"/>
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.0"/>
             <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
           </operands>
           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@value/@operands.0/@quantifiedVariables.1"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.1"/>
           </operands>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@value/@operands.0/@quantifiedVariables.1"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.2"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.1"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.2"/>
           </operands>
           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.1"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@value/@operands.0/@quantifiedVariables.2"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.1"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.2"/>
           </operands>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@value/@operands.0/@quantifiedVariables.2"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.2"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.2"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.2"/>
           </operands>
           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@value/@operands.0/@quantifiedVariables.3"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.3"/>
           </operands>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@value/@operands.0/@quantifiedVariables.3"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@value/@operands.0/@quantifiedVariables.0"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.3"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.0"/>
           </operands>
           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.1"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@value/@operands.0/@quantifiedVariables.4"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.1"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.4"/>
           </operands>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@value/@operands.0/@quantifiedVariables.4"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@value/@operands.0/@quantifiedVariables.0"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.4"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.0"/>
           </operands>
         </expression>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries cubeSat3U" annotations="//@annotations.31">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries cubeSat3U" annotations="//@annotations.33">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
     <variables name="parameter Sat">
       <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
@@ -1487,27 +1564,27 @@
     <value xsi:type="language_1:Or">
       <operands xsi:type="language_1:And">
         <operands xsi:type="language_1:InstanceOf">
-          <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/>
+          <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.0"/>
           <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
         </operands>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries communicationLoop" annotations="//@annotations.32">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries communicationLoop" annotations="//@annotations.34">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
     <variables name="parameter Element">
       <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
     </variables>
     <value xsi:type="language_1:Or">
       <operands xsi:type="language_1:And">
-        <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21">
-          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.0"/>
-          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.0"/>
+        <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23">
+          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.0"/>
+          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.0"/>
         </operands>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries indirectCommunicationLink" annotations="//@annotations.33">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries indirectCommunicationLink" annotations="//@annotations.35">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
     <variables name="parameter Source">
@@ -1518,11 +1595,11 @@
     </variables>
     <value xsi:type="language_1:Or">
       <operands xsi:type="language_1:And">
-        <operands xsi:type="language_1:TransitiveClosure" relation="//@relations.22"/>
+        <operands xsi:type="language_1:TransitiveClosure" relation="//@relations.24"/>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries directCommunicationLink" annotations="//@annotations.34">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries directCommunicationLink" annotations="//@annotations.36">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
     <variables name="parameter Source">
@@ -1543,35 +1620,35 @@
           <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.1"/>
-          </operands>
           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.2"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@value/@operands.0/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@value/@operands.0/@quantifiedVariables.1"/>
+          </operands>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@value/@operands.0/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@value/@operands.0/@quantifiedVariables.2"/>
           </operands>
           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.1"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@value/@operands.0/@quantifiedVariables.1"/>
           </operands>
           <operands xsi:type="language_1:InstanceOf">
-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.1"/>
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@value/@operands.0/@quantifiedVariables.1"/>
             <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
           </operands>
           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.1"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.2"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@variables.1"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@value/@operands.0/@quantifiedVariables.2"/>
           </operands>
           <operands xsi:type="language_1:InstanceOf">
-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.2"/>
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@value/@operands.0/@quantifiedVariables.2"/>
             <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
           </operands>
         </expression>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetBand" annotations="//@annotations.35">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetBand" annotations="//@annotations.37">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
     <variables name="parameter Link">
       <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
@@ -1588,33 +1665,33 @@
           <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.0"/>
-          </operands>
           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.1"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.0"/>
+          </operands>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.1"/>
           </operands>
           <operands xsi:type="language_1:InstanceOf">
-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.1"/>
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.1"/>
             <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
           </operands>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.2"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.2"/>
           </operands>
           <operands xsi:type="language_1:Not">
-            <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24">
-              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.1"/>
-              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.2"/>
+            <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26">
+              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.1"/>
+              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.2"/>
             </operand>
           </operands>
         </expression>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemBand" annotations="//@annotations.36">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemBand" annotations="//@annotations.38">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
     <variables name="parameter Comm">
@@ -1625,14 +1702,14 @@
     </variables>
     <value xsi:type="language_1:Or">
       <operands xsi:type="language_1:And">
-        <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
-          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@variables.0"/>
-          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@variables.1"/>
+        <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
+          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.0"/>
+          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.1"/>
         </operands>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetGain" annotations="//@annotations.37">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetGain" annotations="//@annotations.39">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
     <variables name="parameter Link">
       <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
@@ -1649,33 +1726,33 @@
           <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.0"/>
-          </operands>
           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.1"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@value/@operands.0/@quantifiedVariables.0"/>
+          </operands>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@value/@operands.0/@quantifiedVariables.1"/>
           </operands>
           <operands xsi:type="language_1:InstanceOf">
-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.1"/>
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@value/@operands.0/@quantifiedVariables.1"/>
             <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
           </operands>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.2"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@value/@operands.0/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@value/@operands.0/@quantifiedVariables.2"/>
           </operands>
           <operands xsi:type="language_1:Not">
-            <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26">
-              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.1"/>
-              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.2"/>
+            <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.28">
+              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@value/@operands.0/@quantifiedVariables.1"/>
+              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@value/@operands.0/@quantifiedVariables.2"/>
             </operand>
           </operands>
         </expression>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemGain" annotations="//@annotations.38">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemGain" annotations="//@annotations.40">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
     <variables name="parameter Comm">
@@ -1686,14 +1763,14 @@
     </variables>
     <value xsi:type="language_1:Or">
       <operands xsi:type="language_1:And">
-        <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
-          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.0"/>
-          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.1"/>
+        <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10">
+          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.28/@variables.0"/>
+          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.28/@variables.1"/>
         </operands>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries uhfAntennaGainNotLow" annotations="//@annotations.39">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries uhfAntennaGainNotLow" annotations="//@annotations.41">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
     <variables name="parameter Comm">
       <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
@@ -1705,23 +1782,23 @@
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
           <operands xsi:type="language_1:Equals">
-            <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@value/@operands.0/@quantifiedVariables.0"/>
+            <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@value/@operands.0/@quantifiedVariables.0"/>
             <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/>
           </operands>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@value/@operands.0/@quantifiedVariables.0"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@value/@operands.0/@quantifiedVariables.0"/>
           </operands>
           <operands xsi:type="language_1:Not">
-            <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.28">
-              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@variables.0"/>
+            <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.30">
+              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@variables.0"/>
             </operand>
           </operands>
         </expression>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemGainLow" annotations="//@annotations.40">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemGainLow" annotations="//@annotations.42">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
     <variables name="parameter Comm">
       <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
@@ -1733,18 +1810,18 @@
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
           <operands xsi:type="language_1:Equals">
-            <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.28/@value/@operands.0/@quantifiedVariables.0"/>
+            <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.30/@value/@operands.0/@quantifiedVariables.0"/>
             <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.3"/>
           </operands>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.28/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.28/@value/@operands.0/@quantifiedVariables.0"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.30/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.30/@value/@operands.0/@quantifiedVariables.0"/>
           </operands>
         </expression>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries xAntennaGainNotMedium" annotations="//@annotations.41">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries xAntennaGainNotMedium" annotations="//@annotations.43">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
     <variables name="parameter Comm">
       <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
@@ -1756,23 +1833,23 @@
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
           <operands xsi:type="language_1:Equals">
-            <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@value/@operands.0/@quantifiedVariables.0"/>
+            <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.31/@value/@operands.0/@quantifiedVariables.0"/>
             <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.1"/>
           </operands>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@value/@operands.0/@quantifiedVariables.0"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.31/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.31/@value/@operands.0/@quantifiedVariables.0"/>
           </operands>
           <operands xsi:type="language_1:Not">
-            <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.30">
-              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@variables.0"/>
+            <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32">
+              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.31/@variables.0"/>
             </operand>
           </operands>
         </expression>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemGainMedium" annotations="//@annotations.42">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemGainMedium" annotations="//@annotations.44">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
     <variables name="parameter Comm">
       <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
@@ -1784,18 +1861,18 @@
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
           <operands xsi:type="language_1:Equals">
-            <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.30/@value/@operands.0/@quantifiedVariables.0"/>
+            <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.0"/>
             <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.4"/>
           </operands>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.30/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.30/@value/@operands.0/@quantifiedVariables.0"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.0"/>
           </operands>
         </expression>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries kaAntennaGainLow" annotations="//@annotations.43">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries kaAntennaGainLow" annotations="//@annotations.45">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
     <variables name="parameter Comm">
       <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
@@ -1810,26 +1887,26 @@
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
           <operands xsi:type="language_1:Equals">
-            <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.31/@value/@operands.0/@quantifiedVariables.0"/>
+            <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.33/@value/@operands.0/@quantifiedVariables.0"/>
             <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.2"/>
           </operands>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.31/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.31/@value/@operands.0/@quantifiedVariables.0"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.33/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.33/@value/@operands.0/@quantifiedVariables.0"/>
           </operands>
           <operands xsi:type="language_1:Equals">
-            <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.31/@value/@operands.0/@quantifiedVariables.1"/>
+            <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.33/@value/@operands.0/@quantifiedVariables.1"/>
             <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.3"/>
           </operands>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.31/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.31/@value/@operands.0/@quantifiedVariables.1"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.33/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.33/@value/@operands.0/@quantifiedVariables.1"/>
           </operands>
         </expression>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries threeUCubeSatWithNonUhfCrossLink" annotations="//@annotations.44">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries threeUCubeSatWithNonUhfCrossLink" annotations="//@annotations.46">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
     <variables name="parameter Sat">
       <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
@@ -1850,48 +1927,48 @@
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
           <operands xsi:type="language_1:InstanceOf">
-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@variables.0"/>
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.34/@variables.0"/>
             <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
           </operands>
           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.34/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.34/@value/@operands.0/@quantifiedVariables.0"/>
           </operands>
           <operands xsi:type="language_1:Not">
-            <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.33">
-              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.0"/>
+            <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.35">
+              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.34/@value/@operands.0/@quantifiedVariables.0"/>
             </operand>
           </operands>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.1"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.0"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.34/@value/@operands.0/@quantifiedVariables.1"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.34/@value/@operands.0/@quantifiedVariables.0"/>
           </operands>
           <operands xsi:type="language_1:InstanceOf">
-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.0"/>
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.34/@value/@operands.0/@quantifiedVariables.0"/>
             <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
           </operands>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.1"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.2"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.34/@value/@operands.0/@quantifiedVariables.1"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.34/@value/@operands.0/@quantifiedVariables.2"/>
           </operands>
           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.3"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.2"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.34/@value/@operands.0/@quantifiedVariables.3"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.34/@value/@operands.0/@quantifiedVariables.2"/>
           </operands>
           <operands xsi:type="language_1:InstanceOf">
-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.2"/>
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.34/@value/@operands.0/@quantifiedVariables.2"/>
             <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
           </operands>
           <operands xsi:type="language_1:Not">
-            <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.34">
-              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.3"/>
+            <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.36">
+              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.34/@value/@operands.0/@quantifiedVariables.3"/>
             </operand>
           </operands>
         </expression>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemBandUhf" annotations="//@annotations.45">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemBandUhf" annotations="//@annotations.47">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
     <variables name="parameter Comm">
       <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
@@ -1903,18 +1980,18 @@
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
           <operands xsi:type="language_1:Equals">
-            <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.33/@value/@operands.0/@quantifiedVariables.0"/>
+            <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.35/@value/@operands.0/@quantifiedVariables.0"/>
             <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/>
           </operands>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.33/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.33/@value/@operands.0/@quantifiedVariables.0"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.35/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.35/@value/@operands.0/@quantifiedVariables.0"/>
           </operands>
         </expression>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries groundStationNetwork" annotations="//@annotations.46">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries groundStationNetwork" annotations="//@annotations.48">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
     <variables name="parameter Network">
       <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
@@ -1922,13 +1999,13 @@
     <value xsi:type="language_1:Or">
       <operands xsi:type="language_1:And">
         <operands xsi:type="language_1:InstanceOf">
-          <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.34/@variables.0"/>
+          <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.36/@variables.0"/>
           <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
         </operands>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries cubeSatWithKaAntenna" annotations="//@annotations.47">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries cubeSatWithKaAntenna" annotations="//@annotations.49">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
     <variables name="parameter Spacecraft">
       <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
@@ -1943,31 +2020,31 @@
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
           <operands xsi:type="language_1:InstanceOf">
-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.35/@variables.0"/>
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.37/@variables.0"/>
             <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
           </operands>
           <operands xsi:type="language_1:Equals">
-            <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.35/@value/@operands.0/@quantifiedVariables.0"/>
+            <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.37/@value/@operands.0/@quantifiedVariables.0"/>
             <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.2"/>
           </operands>
           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.35/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.35/@value/@operands.0/@quantifiedVariables.1"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.37/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.37/@value/@operands.0/@quantifiedVariables.1"/>
           </operands>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.35/@value/@operands.0/@quantifiedVariables.1"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.35/@value/@operands.0/@quantifiedVariables.0"/>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.37/@value/@operands.0/@quantifiedVariables.1"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.37/@value/@operands.0/@quantifiedVariables.0"/>
           </operands>
           <operands xsi:type="language_1:Not">
-            <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.36">
-              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.35/@variables.0"/>
+            <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.38">
+              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.37/@variables.0"/>
             </operand>
           </operands>
         </expression>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries smallSat" annotations="//@annotations.48">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries smallSat" annotations="//@annotations.50">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
     <variables name="parameter Sat">
       <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
@@ -1975,13 +2052,13 @@
     <value xsi:type="language_1:Or">
       <operands xsi:type="language_1:And">
         <operands xsi:type="language_1:InstanceOf">
-          <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.36/@variables.0"/>
+          <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.38/@variables.0"/>
           <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
         </operands>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries spacecraftOfKind" annotations="//@annotations.49" defines="//@relations.7">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries spacecraftOfKind" annotations="//@annotations.51" defines="//@relations.8">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
     <variables name="parameter Spacecraft">
@@ -1993,31 +2070,31 @@
     <value xsi:type="language_1:Or">
       <operands xsi:type="language_1:And">
         <operands xsi:type="language_1:InstanceOf">
-          <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.37/@variables.0"/>
+          <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.39/@variables.0"/>
           <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
         </operands>
         <operands xsi:type="language_1:Equals">
-          <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.37/@variables.1"/>
+          <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.39/@variables.1"/>
           <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.6"/>
         </operands>
       </operands>
       <operands xsi:type="language_1:And">
         <operands xsi:type="language_1:InstanceOf">
-          <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.37/@variables.0"/>
+          <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.39/@variables.0"/>
           <range xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/>
         </operands>
         <operands xsi:type="language_1:Equals">
-          <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.37/@variables.1"/>
+          <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.39/@variables.1"/>
           <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.7"/>
         </operands>
       </operands>
       <operands xsi:type="language_1:And">
         <operands xsi:type="language_1:InstanceOf">
-          <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.37/@variables.0"/>
+          <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.39/@variables.0"/>
           <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
         </operands>
         <operands xsi:type="language_1:Equals">
-          <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.37/@variables.1"/>
+          <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.39/@variables.1"/>
           <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.8"/>
         </operands>
       </operands>
@@ -2036,7 +2113,7 @@
   <elements name="o 2" definedInType="//@types.20 //@types.22"/>
   <elements name="o 3" definedInType="//@types.24"/>
   <elements name="o 4" definedInType="//@types.24"/>
-  <containmentHierarchies typesOrderedInHierarchy="//@types.8 //@types.4 //@types.6 //@types.12 //@types.0 //@types.1 //@types.9 //@types.2 //@types.10 //@types.11 //@types.5 //@types.3 //@types.7 //@types.16 //@types.17 //@types.18 //@types.19 //@types.20 //@types.21 //@types.22 //@types.23 //@types.24 //@types.25" containmentRelations="//@relations.0 //@relations.1 //@relations.2 //@relations.3 //@relations.4"/>
+  <containmentHierarchies typesOrderedInHierarchy="//@types.4 //@types.10 //@types.11 //@types.3 //@types.7 //@types.2 //@types.6 //@types.12 //@types.9 //@types.8 //@types.0 //@types.1 //@types.5 //@types.16 //@types.17 //@types.18 //@types.19 //@types.20 //@types.21 //@types.22 //@types.23 //@types.24 //@types.25" containmentRelations="//@relations.0 //@relations.1 //@relations.2 //@relations.4 //@relations.5"/>
   <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.0" relation="//@relations.0" lower="1"/>
   <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.1" relation="//@relations.0" upper="1"/>
   <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.2" relation="//@relations.1" lower="2"/>
@@ -2045,59 +2122,62 @@
   <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.5" relation="//@relations.2" upper="2"/>
   <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.6" relation="//@relations.3" upper="1"/>
   <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.7" relation="//@relations.4" upper="1"/>
-  <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.8" relation="//@relations.5" lower="1"/>
-  <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.9" relation="//@relations.5" upper="1"/>
-  <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.10" relation="//@relations.6" lower="1"/>
-  <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.11" relation="//@relations.6" upper="1"/>
-  <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.12" relation="//@relations.7" lower="1"/>
-  <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.13" relation="//@relations.7" upper="1"/>
-  <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.14" relation="//@relations.8" lower="1"/>
-  <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.15" relation="//@relations.8" upper="1"/>
-  <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.16" relation="//@relations.9" lower="1"/>
-  <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.17" relation="//@relations.9" upper="1"/>
-  <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.18" targetRelation="//@relations.0"/>
-  <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.19" targetRelation="//@relations.2"/>
-  <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.20" targetRelation="//@relations.8"/>
+  <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.8" relation="//@relations.5" upper="1"/>
+  <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.9" relation="//@relations.6" lower="1"/>
+  <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.10" relation="//@relations.6" upper="1"/>
+  <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.11" relation="//@relations.7" lower="1"/>
+  <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.12" relation="//@relations.7" upper="1"/>
+  <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.13" relation="//@relations.8" lower="1"/>
+  <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.14" relation="//@relations.8" upper="1"/>
+  <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.15" relation="//@relations.9" lower="1"/>
+  <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.16" relation="//@relations.9" upper="1"/>
+  <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.17" relation="//@relations.10" lower="1"/>
+  <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.18" relation="//@relations.10" upper="1"/>
+  <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.19" targetRelation="//@relations.0"/>
+  <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.20" targetRelation="//@relations.2"/>
   <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.21" targetRelation="//@relations.9"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.10" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.communicationLinkDoesNotStartAtContainingElement"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.11" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.notEnoughInterferometryPayloads"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.12" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.atLeastTwoInterferometryPayloads"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.13" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.spacecraftWithInterferometryPayload"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.14" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.noLinkToGroundStation"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.15" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.noPotentialLinkToGroundStation"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.16" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.indirectLinkAllowed"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.17" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.linkAllowed"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.18" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.matchingAntenna"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.19" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.cubeSat3U"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.20" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.communicationLoop"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.21" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.indirectCommunicationLink"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.22" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.directCommunicationLink"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.23" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.incompatibleSourceAndTargetBand"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.24" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemBand"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.25" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.incompatibleSourceAndTargetGain"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.26" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemGain"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.27" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.uhfAntennaGainNotLow"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.28" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemGainLow"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.29" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.xAntennaGainNotMedium"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.30" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemGainMedium"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.31" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.kaAntennaGainLow"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.32" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.threeUCubeSatWithNonUhfCrossLink"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.33" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemBandUhf"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.34" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.groundStationNetwork"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.35" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.cubeSatWithKaAntenna"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.36" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.smallSat"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.37" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.spacecraftOfKind"/>
-  <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.22" query="//@annotations.22"/>
+  <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.22" targetRelation="//@relations.10"/>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.11" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.multipleCommunicationLinks"/>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.12" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.communicationLinkOfElement"/>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.13" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.notEnoughInterferometryPayloads"/>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.14" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.atLeastTwoInterferometryPayloads"/>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.15" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.spacecraftWithInterferometryPayload"/>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.16" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.noLinkToGroundStation"/>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.17" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.noPotentialLinkToGroundStation"/>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.18" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.indirectLinkAllowed"/>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.19" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.linkAllowed"/>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.20" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.matchingAntenna"/>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.21" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.cubeSat3U"/>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.22" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.communicationLoop"/>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.23" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.indirectCommunicationLink"/>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.24" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.directCommunicationLink"/>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.25" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.incompatibleSourceAndTargetBand"/>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.26" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemBand"/>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.27" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.incompatibleSourceAndTargetGain"/>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.28" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemGain"/>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.29" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.uhfAntennaGainNotLow"/>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.30" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemGainLow"/>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.31" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.xAntennaGainNotMedium"/>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.32" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemGainMedium"/>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.33" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.kaAntennaGainLow"/>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.34" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.threeUCubeSatWithNonUhfCrossLink"/>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.35" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemBandUhf"/>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.36" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.groundStationNetwork"/>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.37" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.cubeSatWithKaAntenna"/>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.38" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.smallSat"/>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.39" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.spacecraftOfKind"/>
   <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.23" query="//@annotations.23"/>
-  <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.24" query="//@annotations.26"/>
-  <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.25" query="//@annotations.27"/>
-  <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.26" query="//@annotations.32"/>
-  <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.27" query="//@annotations.35"/>
+  <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.24" query="//@annotations.25"/>
+  <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.25" query="//@annotations.28"/>
+  <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.26" query="//@annotations.29"/>
+  <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.27" query="//@annotations.34"/>
   <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.28" query="//@annotations.37"/>
   <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.29" query="//@annotations.39"/>
   <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.30" query="//@annotations.41"/>
   <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.31" query="//@annotations.43"/>
-  <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.32" query="//@annotations.44"/>
-  <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.33" query="//@annotations.47"/>
-  <annotations xsi:type="viatra2logicannotations:DefinedByDerivedFeature" target="//@relations.7" query="//@annotations.49"/>
+  <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.32" query="//@annotations.45"/>
+  <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.33" query="//@annotations.46"/>
+  <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.34" query="//@annotations.49"/>
+  <annotations xsi:type="viatra2logicannotations:DefinedByDerivedFeature" target="//@relations.3" query="//@annotations.24"/>
+  <annotations xsi:type="viatra2logicannotations:DefinedByDerivedFeature" target="//@relations.8" query="//@annotations.51"/>
 </language:LogicProblem>
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/init.partialmodel b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/init.partialmodel
index 6589a3ca..f7827e03 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/init.partialmodel
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/init.partialmodel
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="ASCII"?>
-<partialinterpretation:PartialInterpretation xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:language="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language" xmlns:partialinterpretation="http://www.bme.hu/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage" minNewElements="16" maxNewElements="32">
+<partialinterpretation:PartialInterpretation xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:language="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language" xmlns:partialinterpretation="http://www.bme.hu/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage" minNewElements="8" maxNewElements="16">
   <problem href="outputs/debug/generation.logicproblem#/"/>
   <partialrelationinterpretation>
     <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.0"/>
@@ -55,6 +55,11 @@
   </partialrelationinterpretation>
   <partialrelationinterpretation>
     <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.8"/>
+    <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.8/@parameters.0"/>
+    <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.8/@parameters.1"/>
+  </partialrelationinterpretation>
+  <partialrelationinterpretation>
+    <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.9"/>
     <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink">
       <param1 href="outputs/debug/generation.logicproblem#//@elements.11"/>
       <param2 href="outputs/debug/generation.logicproblem#//@elements.1"/>
@@ -63,11 +68,11 @@
       <param1 href="outputs/debug/generation.logicproblem#//@elements.12"/>
       <param2 href="outputs/debug/generation.logicproblem#//@elements.2"/>
     </relationlinks>
-    <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.8/@parameters.0"/>
-    <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.8/@parameters.1"/>
+    <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.9/@parameters.0"/>
+    <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.9/@parameters.1"/>
   </partialrelationinterpretation>
   <partialrelationinterpretation>
-    <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.9"/>
+    <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.10"/>
     <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink">
       <param1 href="outputs/debug/generation.logicproblem#//@elements.11"/>
       <param2 href="outputs/debug/generation.logicproblem#//@elements.4"/>
@@ -76,8 +81,8 @@
       <param1 href="outputs/debug/generation.logicproblem#//@elements.12"/>
       <param2 href="outputs/debug/generation.logicproblem#//@elements.5"/>
     </relationlinks>
-    <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.9/@parameters.0"/>
-    <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.9/@parameters.1"/>
+    <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.10/@parameters.0"/>
+    <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.10/@parameters.1"/>
   </partialrelationinterpretation>
   <newElements xsi:type="partialinterpretation:BooleanElement" name="true" valueSet="true" value="true"/>
   <newElements xsi:type="partialinterpretation:BooleanElement" name="false" valueSet="true"/>