Trying to implement spacecraft case study

3 files changed, 1675 insertions, 779 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 b7530140..853b7b54 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
@@ -45,6 +45,11 @@ pattern mayEquivalent(problem:LogicProblem, interpretation:PartialInterpretation
         find mayExist(problem,interpretation,b);
         a == b;
 }
+pattern mustEquivalent(problem:LogicProblem, interpretation:PartialInterpretation, a: DefinedElement, b: DefinedElement) {
+        find mustExist(problem,interpretation,a);
+        find mustExist(problem,interpretation,b);
+        a == b;
+}
 
 ////////////////////////
 // 0.3 Required Patterns by TypeIndexer
@@ -104,23 +109,23 @@ 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 mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
-        neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_class_UndefinedPart(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 mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
-        neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_class_UndefinedPart(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
@@ -148,21 +153,21 @@ 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 mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element);
-        neg find mustInstanceOfDirectedCommunicationLink_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 mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element);
-        neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
         neg find scopeDisallowsNewInterferometryMission_class(problem, interpretation);
         neg find isPrimitive(element);
 } or
@@ -190,23 +195,23 @@ private pattern mayInstanceOfCommunicatingElement_class(problem:LogicProblem, in
 {
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_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 mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element);
         neg find scopeDisallowsNewCommunicatingElement_class(problem, interpretation);
         neg find isPrimitive(element);
 } or {
         find interpretation(problem,interpretation);
         PartialInterpretation.openWorldElements(interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_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 mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element);
         neg find scopeDisallowsNewCommunicatingElement_class(problem, interpretation);
         neg find isPrimitive(element);
 } or
@@ -234,21 +239,21 @@ private pattern mayInstanceOfGroundStationNetwork_class(problem:LogicProblem, in
 {
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(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 mustInstanceOfCommSubsystem_class(problem,interpretation,element);
+        neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element);
         neg find scopeDisallowsNewGroundStationNetwork_class(problem, interpretation);
         neg find isPrimitive(element);
 } or {
         find interpretation(problem,interpretation);
         PartialInterpretation.openWorldElements(interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(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 mustInstanceOfCommSubsystem_class(problem,interpretation,element);
+        neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element);
         neg find scopeDisallowsNewGroundStationNetwork_class(problem, interpretation);
         neg find isPrimitive(element);
 } or
@@ -276,333 +281,377 @@ private pattern mayInstanceOfSpacecraft_class(problem:LogicProblem, interpretati
 {
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
-        neg find mustInstanceOfCubeSat6U_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 mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_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 mustInstanceOfCubeSat6U_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 mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_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 mustInstanceOfSpacecraft_class(problem,interpretation,element); }
 /**
- * An element must be an instance of type "CubeSat3U class".
+ * An element must be an instance of type "CommSubsystem class".
  */
-private pattern mustInstanceOfCubeSat3U_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) {
-        Type.name(type,"CubeSat3U class");
+private pattern mustInstanceOfCommSubsystem_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) {
+        Type.name(type,"CommSubsystem class");
         find directInstanceOf(problem,interpretation,element,type);
 }
-private pattern scopeDisallowsNewCubeSat3U_class(problem:LogicProblem, interpretation:PartialInterpretation) {
+private pattern scopeDisallowsNewCommSubsystem_class(problem:LogicProblem, interpretation:PartialInterpretation) {
         find interpretation(problem,interpretation);
         PartialInterpretation.scopes(interpretation,scope);
         Scope.targetTypeInterpretation(scope,typeInterpretation);
         Scope.maxNewElements(scope,0);
         PartialComplexTypeInterpretation.interpretationOf(typeInterpretation,type);
-        Type.name(type,"CubeSat3U class");
+        Type.name(type,"CommSubsystem class");
 }
 
 /**
- * An element may be an instance of type "CubeSat3U class".
+ * An element may be an instance of type "CommSubsystem class".
  */
-private pattern mayInstanceOfCubeSat3U_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement)
+private pattern mayInstanceOfCommSubsystem_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement)
 {
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
-        neg find mustInstanceOfCubeSat6U_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 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 scopeDisallowsNewCubeSat3U_class(problem, interpretation);
+        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
+        neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element);
+        neg find scopeDisallowsNewCommSubsystem_class(problem, interpretation);
         neg find isPrimitive(element);
 } or {
         find interpretation(problem,interpretation);
         PartialInterpretation.openWorldElements(interpretation,element);
-        neg find mustInstanceOfCubeSat6U_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 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 scopeDisallowsNewCubeSat3U_class(problem, interpretation);
+        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
+        neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element);
+        neg find scopeDisallowsNewCommSubsystem_class(problem, interpretation);
         neg find isPrimitive(element);
 } or
-{ find mustInstanceOfCubeSat3U_class(problem,interpretation,element); }
+{ find mustInstanceOfCommSubsystem_class(problem,interpretation,element); }
 /**
- * An element must be an instance of type "CubeSat6U class".
+ * An element must be an instance of type "DirectedCommunicationLink class".
  */
-private pattern mustInstanceOfCubeSat6U_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) {
-        Type.name(type,"CubeSat6U class");
+private pattern mustInstanceOfDirectedCommunicationLink_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) {
+        Type.name(type,"DirectedCommunicationLink class");
         find directInstanceOf(problem,interpretation,element,type);
 }
-private pattern scopeDisallowsNewCubeSat6U_class(problem:LogicProblem, interpretation:PartialInterpretation) {
+private pattern scopeDisallowsNewDirectedCommunicationLink_class(problem:LogicProblem, interpretation:PartialInterpretation) {
         find interpretation(problem,interpretation);
         PartialInterpretation.scopes(interpretation,scope);
         Scope.targetTypeInterpretation(scope,typeInterpretation);
         Scope.maxNewElements(scope,0);
         PartialComplexTypeInterpretation.interpretationOf(typeInterpretation,type);
-        Type.name(type,"CubeSat6U class");
+        Type.name(type,"DirectedCommunicationLink class");
 }
 
 /**
- * An element may be an instance of type "CubeSat6U class".
+ * An element may be an instance of type "DirectedCommunicationLink class".
  */
-private pattern mayInstanceOfCubeSat6U_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement)
+private pattern mayInstanceOfDirectedCommunicationLink_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement)
 {
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
         neg find mustInstanceOfPayload_class(problem,interpretation,element);
-        neg find mustInstanceOfSmallSat_class(problem,interpretation,element);
-        neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element);
-        neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
         neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
-        neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element);
-        neg find scopeDisallowsNewCubeSat6U_class(problem, interpretation);
+        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
+        neg find mustInstanceOfCommunicatingElement_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 mustInstanceOfCommSubsystem_class(problem,interpretation,element);
         neg find mustInstanceOfPayload_class(problem,interpretation,element);
-        neg find mustInstanceOfSmallSat_class(problem,interpretation,element);
-        neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element);
-        neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
         neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
-        neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element);
-        neg find scopeDisallowsNewCubeSat6U_class(problem, interpretation);
+        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
+        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
+        neg find scopeDisallowsNewDirectedCommunicationLink_class(problem, interpretation);
         neg find isPrimitive(element);
 } or
-{ find mustInstanceOfCubeSat6U_class(problem,interpretation,element); }
+{ find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); }
 /**
- * An element must be an instance of type "SmallSat class".
+ * An element must be an instance of type "Payload class".
  */
-private pattern mustInstanceOfSmallSat_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) {
-        Type.name(type,"SmallSat class");
+private pattern mustInstanceOfPayload_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) {
+        Type.name(type,"Payload class");
         find directInstanceOf(problem,interpretation,element,type);
 }
-private pattern scopeDisallowsNewSmallSat_class(problem:LogicProblem, interpretation:PartialInterpretation) {
+private pattern scopeDisallowsNewPayload_class(problem:LogicProblem, interpretation:PartialInterpretation) {
         find interpretation(problem,interpretation);
         PartialInterpretation.scopes(interpretation,scope);
         Scope.targetTypeInterpretation(scope,typeInterpretation);
         Scope.maxNewElements(scope,0);
         PartialComplexTypeInterpretation.interpretationOf(typeInterpretation,type);
-        Type.name(type,"SmallSat class");
+        Type.name(type,"Payload class");
 }
 
 /**
- * An element may be an instance of type "SmallSat class".
+ * An element may be an instance of type "Payload class".
  */
-private pattern mayInstanceOfSmallSat_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement)
+private pattern mayInstanceOfPayload_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement)
 {
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
-        neg find mustInstanceOfCubeSat6U_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 mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
         neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
-        neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element);
-        neg find scopeDisallowsNewSmallSat_class(problem, interpretation);
+        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
+        neg find mustInstanceOfInterferometryPayload_class(problem,interpretation,element);
+        neg find mustInstanceOfCommunicatingElement_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 mustInstanceOfCubeSat6U_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 mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
         neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
-        neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element);
-        neg find scopeDisallowsNewSmallSat_class(problem, interpretation);
+        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
+        neg find mustInstanceOfInterferometryPayload_class(problem,interpretation,element);
+        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
+        neg find scopeDisallowsNewPayload_class(problem, interpretation);
         neg find isPrimitive(element);
 } or
-{ find mustInstanceOfSmallSat_class(problem,interpretation,element); }
+{ find mustInstanceOfPayload_class(problem,interpretation,element); }
 /**
- * An element must be an instance of type "CommSubsystem class".
+ * An element must be an instance of type "InterferometryPayload class".
  */
-private pattern mustInstanceOfCommSubsystem_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) {
-        Type.name(type,"CommSubsystem class");
+private pattern mustInstanceOfInterferometryPayload_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) {
+        Type.name(type,"InterferometryPayload class");
         find directInstanceOf(problem,interpretation,element,type);
 }
-private pattern scopeDisallowsNewCommSubsystem_class(problem:LogicProblem, interpretation:PartialInterpretation) {
+private pattern scopeDisallowsNewInterferometryPayload_class(problem:LogicProblem, interpretation:PartialInterpretation) {
         find interpretation(problem,interpretation);
         PartialInterpretation.scopes(interpretation,scope);
         Scope.targetTypeInterpretation(scope,typeInterpretation);
         Scope.maxNewElements(scope,0);
         PartialComplexTypeInterpretation.interpretationOf(typeInterpretation,type);
-        Type.name(type,"CommSubsystem class");
+        Type.name(type,"InterferometryPayload class");
 }
 
 /**
- * An element may be an instance of type "CommSubsystem class".
+ * An element may be an instance of type "InterferometryPayload class".
  */
-private pattern mayInstanceOfCommSubsystem_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement)
+private pattern mayInstanceOfInterferometryPayload_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement)
 {
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
-        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
         neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
-        neg find scopeDisallowsNewCommSubsystem_class(problem, interpretation);
+        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
+        neg find mustInstanceOfCommSubsystem_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_UndefinedPart(problem,interpretation,element);
+        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
+        neg find scopeDisallowsNewInterferometryPayload_class(problem, interpretation);
+        neg find isPrimitive(element);
+} or
+{ find mustInstanceOfInterferometryPayload_class(problem,interpretation,element); }
+/**
+ * An element must be an instance of type "CubeSat3U class".
+ */
+private pattern mustInstanceOfCubeSat3U_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) {
+        Type.name(type,"CubeSat3U class");
+        find directInstanceOf(problem,interpretation,element,type);
+}
+private pattern scopeDisallowsNewCubeSat3U_class(problem:LogicProblem, interpretation:PartialInterpretation) {
+        find interpretation(problem,interpretation);
+        PartialInterpretation.scopes(interpretation,scope);
+        Scope.targetTypeInterpretation(scope,typeInterpretation);
+        Scope.maxNewElements(scope,0);
+        PartialComplexTypeInterpretation.interpretationOf(typeInterpretation,type);
+        Type.name(type,"CubeSat3U class");
+}
+
+/**
+ * An element may be an instance of type "CubeSat3U class".
+ */
+private pattern mayInstanceOfCubeSat3U_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement)
+{
+        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 mustInstanceOfSmallSat_class(problem,interpretation,element);
+        neg find mustInstanceOfCubeSat6U_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 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 scopeDisallowsNewCommSubsystem_class(problem, interpretation);
+        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
+        neg find mustInstanceOfSmallSat_class(problem,interpretation,element);
+        neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element);
+        neg find scopeDisallowsNewCubeSat3U_class(problem, interpretation);
         neg find isPrimitive(element);
 } or
-{ find mustInstanceOfCommSubsystem_class(problem,interpretation,element); }
+{ find mustInstanceOfCubeSat3U_class(problem,interpretation,element); }
 /**
- * An element must be an instance of type "DirectedCommunicationLink class".
+ * An element must be an instance of type "CubeSat6U class".
  */
-private pattern mustInstanceOfDirectedCommunicationLink_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) {
-        Type.name(type,"DirectedCommunicationLink class");
+private pattern mustInstanceOfCubeSat6U_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) {
+        Type.name(type,"CubeSat6U class");
         find directInstanceOf(problem,interpretation,element,type);
 }
-private pattern scopeDisallowsNewDirectedCommunicationLink_class(problem:LogicProblem, interpretation:PartialInterpretation) {
+private pattern scopeDisallowsNewCubeSat6U_class(problem:LogicProblem, interpretation:PartialInterpretation) {
         find interpretation(problem,interpretation);
         PartialInterpretation.scopes(interpretation,scope);
         Scope.targetTypeInterpretation(scope,typeInterpretation);
         Scope.maxNewElements(scope,0);
         PartialComplexTypeInterpretation.interpretationOf(typeInterpretation,type);
-        Type.name(type,"DirectedCommunicationLink class");
+        Type.name(type,"CubeSat6U class");
 }
 
 /**
- * An element may be an instance of type "DirectedCommunicationLink class".
+ * An element may be an instance of type "CubeSat6U class".
  */
-private pattern mayInstanceOfDirectedCommunicationLink_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement)
+private pattern mayInstanceOfCubeSat6U_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement)
 {
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
-        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(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 scopeDisallowsNewDirectedCommunicationLink_class(problem, interpretation);
+        neg find mustInstanceOfGroundStationNetwork_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 scopeDisallowsNewCubeSat6U_class(problem, interpretation);
         neg find isPrimitive(element);
 } or {
         find interpretation(problem,interpretation);
         PartialInterpretation.openWorldElements(interpretation,element);
-        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(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 scopeDisallowsNewDirectedCommunicationLink_class(problem, interpretation);
+        neg find mustInstanceOfGroundStationNetwork_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 scopeDisallowsNewCubeSat6U_class(problem, interpretation);
         neg find isPrimitive(element);
 } or
-{ find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); }
+{ find mustInstanceOfCubeSat6U_class(problem,interpretation,element); }
 /**
- * An element must be an instance of type "Payload class".
+ * An element must be an instance of type "SmallSat class".
  */
-private pattern mustInstanceOfPayload_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) {
-        Type.name(type,"Payload class");
+private pattern mustInstanceOfSmallSat_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) {
+        Type.name(type,"SmallSat class");
         find directInstanceOf(problem,interpretation,element,type);
 }
-private pattern scopeDisallowsNewPayload_class(problem:LogicProblem, interpretation:PartialInterpretation) {
+private pattern scopeDisallowsNewSmallSat_class(problem:LogicProblem, interpretation:PartialInterpretation) {
         find interpretation(problem,interpretation);
         PartialInterpretation.scopes(interpretation,scope);
         Scope.targetTypeInterpretation(scope,typeInterpretation);
         Scope.maxNewElements(scope,0);
         PartialComplexTypeInterpretation.interpretationOf(typeInterpretation,type);
-        Type.name(type,"Payload class");
+        Type.name(type,"SmallSat class");
 }
 
 /**
- * An element may be an instance of type "Payload class".
+ * An element may be an instance of type "SmallSat class".
  */
-private pattern mayInstanceOfPayload_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement)
+private pattern mayInstanceOfSmallSat_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement)
 {
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
-        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfInterferometryPayload_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 mustInstanceOfGroundStationNetwork_class(problem,interpretation,element);
         neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
-        neg find scopeDisallowsNewPayload_class(problem, interpretation);
+        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 mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfInterferometryPayload_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 mustInstanceOfGroundStationNetwork_class(problem,interpretation,element);
         neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
-        neg find scopeDisallowsNewPayload_class(problem, interpretation);
+        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
+        neg find scopeDisallowsNewSmallSat_class(problem, interpretation);
         neg find isPrimitive(element);
 } or
-{ find mustInstanceOfPayload_class(problem,interpretation,element); }
+{ find mustInstanceOfSmallSat_class(problem,interpretation,element); }
 /**
- * An element must be an instance of type "InterferometryPayload class".
+ * An element must be an instance of type "CubeSat class".
  */
-private pattern mustInstanceOfInterferometryPayload_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) {
-        Type.name(type,"InterferometryPayload class");
+private pattern mustInstanceOfCubeSat_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) {
+        Type.name(type,"CubeSat class");
         find directInstanceOf(problem,interpretation,element,type);
 }
-private pattern scopeDisallowsNewInterferometryPayload_class(problem:LogicProblem, interpretation:PartialInterpretation) {
+private pattern scopeDisallowsNewCubeSat_class(problem:LogicProblem, interpretation:PartialInterpretation) {
         find interpretation(problem,interpretation);
         PartialInterpretation.scopes(interpretation,scope);
         Scope.targetTypeInterpretation(scope,typeInterpretation);
         Scope.maxNewElements(scope,0);
         PartialComplexTypeInterpretation.interpretationOf(typeInterpretation,type);
-        Type.name(type,"InterferometryPayload class");
+        Type.name(type,"CubeSat class");
 }
 
 /**
- * An element may be an instance of type "InterferometryPayload class".
+ * An element may be an instance of type "CubeSat class".
  */
-private pattern mayInstanceOfInterferometryPayload_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement)
+private pattern mayInstanceOfCubeSat_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement)
 {
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
-        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(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 scopeDisallowsNewInterferometryPayload_class(problem, interpretation);
+        neg find mustInstanceOfGroundStationNetwork_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 scopeDisallowsNewCubeSat_class(problem, interpretation);
         neg find isPrimitive(element);
 } or {
         find interpretation(problem,interpretation);
         PartialInterpretation.openWorldElements(interpretation,element);
-        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(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 scopeDisallowsNewInterferometryPayload_class(problem, interpretation);
+        neg find mustInstanceOfGroundStationNetwork_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 scopeDisallowsNewCubeSat_class(problem, interpretation);
         neg find isPrimitive(element);
 } or
-{ find mustInstanceOfInterferometryPayload_class(problem,interpretation,element); }
+{ find mustInstanceOfCubeSat_class(problem,interpretation,element); }
 /**
  * An element must be an instance of type "TransceiverBand enum".
  */
@@ -646,6 +695,27 @@ private pattern scopeDisallowsNewAntennaGain_enum(problem:LogicProblem, interpre
 private pattern mayInstanceOfAntennaGain_enum(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement)
 { find mustInstanceOfAntennaGain_enum(problem,interpretation,element); }
 /**
+ * An element must be an instance of type "SpacecraftKind enum".
+ */
+private pattern mustInstanceOfSpacecraftKind_enum(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) {
+        Type.name(type,"SpacecraftKind enum");
+        find directInstanceOf(problem,interpretation,element,type);
+}
+private pattern scopeDisallowsNewSpacecraftKind_enum(problem:LogicProblem, interpretation:PartialInterpretation) {
+        find interpretation(problem,interpretation);
+        PartialInterpretation.scopes(interpretation,scope);
+        Scope.targetTypeInterpretation(scope,typeInterpretation);
+        Scope.maxNewElements(scope,0);
+        PartialComplexTypeInterpretation.interpretationOf(typeInterpretation,type);
+        Type.name(type,"SpacecraftKind enum");
+}
+
+/**
+ * An element may be an instance of type "SpacecraftKind enum".
+ */
+private pattern mayInstanceOfSpacecraftKind_enum(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement)
+{ find mustInstanceOfSpacecraftKind_enum(problem,interpretation,element); }
+/**
  * An element must be an instance of type "ConstellationMission class DefinedPart".
  */
 private pattern mustInstanceOfConstellationMission_class_DefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) {
@@ -689,20 +759,20 @@ private pattern mayInstanceOfConstellationMission_class_UndefinedPart(problem:Lo
 {
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
-        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,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 mustInstanceOfInterferometryMission_class(problem,interpretation,element);
         neg find scopeDisallowsNewConstellationMission_class_UndefinedPart(problem, interpretation);
         neg find isPrimitive(element);
 } or {
         find interpretation(problem,interpretation);
         PartialInterpretation.openWorldElements(interpretation,element);
-        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,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 mustInstanceOfInterferometryMission_class(problem,interpretation,element);
         neg find scopeDisallowsNewConstellationMission_class_UndefinedPart(problem, interpretation);
         neg find isPrimitive(element);
@@ -752,19 +822,19 @@ private pattern mayInstanceOfInterferometryMission_class_UndefinedPart(problem:L
 {
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
-        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,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 scopeDisallowsNewInterferometryMission_class_UndefinedPart(problem, interpretation);
         neg find isPrimitive(element);
 } or {
         find interpretation(problem,interpretation);
         PartialInterpretation.openWorldElements(interpretation,element);
-        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,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 scopeDisallowsNewInterferometryMission_class_UndefinedPart(problem, interpretation);
         neg find isPrimitive(element);
 } or
@@ -813,23 +883,23 @@ private pattern mayInstanceOfCommunicatingElement_class_UndefinedPart(problem:Lo
 {
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfSpacecraft_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 mustInstanceOfSpacecraft_class(problem,interpretation,element);
         neg find scopeDisallowsNewCommunicatingElement_class_UndefinedPart(problem, interpretation);
         neg find isPrimitive(element);
 } or {
         find interpretation(problem,interpretation);
         PartialInterpretation.openWorldElements(interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfSpacecraft_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 mustInstanceOfSpacecraft_class(problem,interpretation,element);
         neg find scopeDisallowsNewCommunicatingElement_class_UndefinedPart(problem, interpretation);
         neg find isPrimitive(element);
 } or
@@ -878,21 +948,21 @@ private pattern mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem:Lo
 {
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfSpacecraft_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);
 } or {
         find interpretation(problem,interpretation);
         PartialInterpretation.openWorldElements(interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfSpacecraft_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);
 } or
@@ -941,19 +1011,19 @@ private pattern mayInstanceOfCommSubsystem_class_UndefinedPart(problem:LogicProb
 {
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
-        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(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 scopeDisallowsNewCommSubsystem_class_UndefinedPart(problem, interpretation);
         neg find isPrimitive(element);
 } or {
         find interpretation(problem,interpretation);
         PartialInterpretation.openWorldElements(interpretation,element);
-        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(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 scopeDisallowsNewCommSubsystem_class_UndefinedPart(problem, interpretation);
         neg find isPrimitive(element);
 } or
@@ -1233,6 +1303,24 @@ private pattern mayInRelationtarget_reference_DirectedCommunicationLink(
         find mustInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,source,target);
 }
 /**
+ * Matcher for detecting tuples t where []kind attribute Spacecraft(source,target)
+ */
+ private pattern mustInRelationkind_attribute_Spacecraft(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        source: DefinedElement, target:DefinedElement)
+ {
+        find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_spacecraftOfKind(problem,interpretation,source,target);
+ }
+/**
+ * Matcher for detecting tuples t where []kind attribute Spacecraft(source,target)
+ */
+ private pattern mayInRelationkind_attribute_Spacecraft(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        source: DefinedElement, target:DefinedElement)
+ {
+        find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_spacecraftOfKind(problem,interpretation,source,target);
+ }
+/**
  * Matcher for detecting tuples t where []band attribute CommSubsystem(source,target)
  */
 private pattern mustInRelationband_attribute_CommSubsystem(
@@ -1317,15 +1405,15 @@ private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satell
         find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element);
         find mustInRelationcommunicationLink_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual0);
         find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_virtual0);
-        var_virtual0 == var_Link;
+        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);
-        var_virtual1 == var_SourceComm;
+        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);
-        var_virtual2 == var_SourceComm;
+        find mustEquivalent(problem, interpretation, var_virtual2, var_SourceComm);
         neg find mayEquivalent(problem, interpretation, var_Element, var_SourceElement);
 }
 private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement(
@@ -1347,7 +1435,7 @@ private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satelli
         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);
-        var_Element != var_SourceElement;
+        neg find mustEquivalent(problem, interpretation, var_Element, var_SourceElement);
 }
 private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement(
         problem:LogicProblem, interpretation:PartialInterpretation,
@@ -1359,16 +1447,16 @@ private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_sat
         find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Element);
         find mustInRelationcommunicationLink_reference_CommunicatingElement(problem,interpretation,var_Element,var_virtual0);
         find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_virtual0);
-        var_virtual0 == var_Link;
+        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);
-        var_virtual1 == var_SourceComm;
+        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);
-        var_virtual2 == var_SourceComm;
-        var_Element != var_SourceElement;
+        find mustEquivalent(problem, interpretation, var_virtual2, var_SourceComm);
+        neg find mustEquivalent(problem, interpretation, var_Element, var_SourceElement);
 }
 // 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(
@@ -1422,7 +1510,7 @@ private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satelli
         // Mission is exported
         find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_spacecraftWithInterferometryPayload(problem,interpretation,var_Mission,var_Spacecraft1);
         find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_spacecraftWithInterferometryPayload(problem,interpretation,var_Mission,var_Spacecraft2);
-        var_Spacecraft1 != var_Spacecraft2;
+        neg find mustEquivalent(problem, interpretation, var_Spacecraft1, var_Spacecraft2);
 }
 private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_atLeastTwoInterferometryPayloads(
         problem:LogicProblem, interpretation:PartialInterpretation,
@@ -1433,7 +1521,7 @@ private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_sat
         // Mission is exported
         find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_spacecraftWithInterferometryPayload(problem,interpretation,var_Mission,var_Spacecraft1);
         find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_spacecraftWithInterferometryPayload(problem,interpretation,var_Mission,var_Spacecraft2);
-        var_Spacecraft1 != var_Spacecraft2;
+        neg find mustEquivalent(problem, interpretation, var_Spacecraft1, var_Spacecraft2);
 }
 // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries spacecraftWithInterferometryPayload
 private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_spacecraftWithInterferometryPayload(
@@ -1448,11 +1536,11 @@ private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satell
         find mustInstanceOfConstellationMission_class(problem,interpretation,var_Mission);
         find mustInRelationspacecraft_reference_ConstellationMission(problem,interpretation,var_Mission,var_virtual0);
         find mustInstanceOfSpacecraft_class(problem,interpretation,var_virtual0);
-        var_virtual0 == var_Spacecraft;
+        find mustEquivalent(problem, interpretation, var_virtual0, var_Spacecraft);
         find mustInstanceOfSpacecraft_class(problem,interpretation,var_Spacecraft);
         find mustInRelationpayload_reference_Spacecraft(problem,interpretation,var_Spacecraft,var_virtual1);
         find mustInstanceOfPayload_class(problem,interpretation,var_virtual1);
-        var_virtual1 == var_Payload;
+        find mustEquivalent(problem, interpretation, var_virtual1, var_Payload);
         find mustInstanceOfInterferometryPayload_class(problem,interpretation,var_Payload);
 }
 private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_spacecraftWithInterferometryPayload(
@@ -1486,11 +1574,11 @@ private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_sat
         find mustInstanceOfConstellationMission_class(problem,interpretation,var_Mission);
         find mustInRelationspacecraft_reference_ConstellationMission(problem,interpretation,var_Mission,var_virtual0);
         find mustInstanceOfSpacecraft_class(problem,interpretation,var_virtual0);
-        var_virtual0 == var_Spacecraft;
+        find mustEquivalent(problem, interpretation, var_virtual0, var_Spacecraft);
         find mustInstanceOfSpacecraft_class(problem,interpretation,var_Spacecraft);
         find mustInRelationpayload_reference_Spacecraft(problem,interpretation,var_Spacecraft,var_virtual1);
         find mustInstanceOfPayload_class(problem,interpretation,var_virtual1);
-        var_virtual1 == var_Payload;
+        find mustEquivalent(problem, interpretation, var_virtual1, var_Payload);
         find mustInstanceOfInterferometryPayload_class(problem,interpretation,var_Payload);
 }
 // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries noLinkToGroundStation
@@ -1504,11 +1592,11 @@ private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satell
         find mustInstanceOfConstellationMission_class(problem,interpretation,var_Mission);
         find mustInRelationgroundStationNetwork_reference_ConstellationMission(problem,interpretation,var_Mission,var_virtual0);
         find mustInstanceOfGroundStationNetwork_class(problem,interpretation,var_virtual0);
-        var_virtual0 == var_GroundStation;
+        find mustEquivalent(problem, interpretation, var_virtual0, var_GroundStation);
         find mustInstanceOfConstellationMission_class(problem,interpretation,var_Mission);
         find mustInRelationspacecraft_reference_ConstellationMission(problem,interpretation,var_Mission,var_virtual1);
         find mustInstanceOfSpacecraft_class(problem,interpretation,var_virtual1);
-        var_virtual1 == var_Spacecraft;
+        find mustEquivalent(problem, interpretation, var_virtual1, var_Spacecraft);
         neg find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_indirectCommunicationLink(problem,interpretation,var_Spacecraft,var_GroundStation);
 }
 private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_noLinkToGroundStation(
@@ -1538,13 +1626,336 @@ private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_sat
         find mustInstanceOfConstellationMission_class(problem,interpretation,var_Mission);
         find mustInRelationgroundStationNetwork_reference_ConstellationMission(problem,interpretation,var_Mission,var_virtual0);
         find mustInstanceOfGroundStationNetwork_class(problem,interpretation,var_virtual0);
-        var_virtual0 == var_GroundStation;
+        find mustEquivalent(problem, interpretation, var_virtual0, var_GroundStation);
         find mustInstanceOfConstellationMission_class(problem,interpretation,var_Mission);
         find mustInRelationspacecraft_reference_ConstellationMission(problem,interpretation,var_Mission,var_virtual1);
         find mustInstanceOfSpacecraft_class(problem,interpretation,var_virtual1);
-        var_virtual1 == var_Spacecraft;
+        find mustEquivalent(problem, interpretation, var_virtual1, var_Spacecraft);
         neg find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_indirectCommunicationLink(problem,interpretation,var_Spacecraft,var_GroundStation);
 }
+// Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries noPotentialLinkToGroundStation
+private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_noPotentialLinkToGroundStation(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        var_Spacecraft)
+{
+        find interpretation(problem,interpretation);
+        find mustInstanceOfSpacecraft_class(problem,interpretation,var_Spacecraft);
+        // Spacecraft is exported
+        find mustInstanceOfConstellationMission_class(problem,interpretation,var_Mission);
+        find mustInRelationgroundStationNetwork_reference_ConstellationMission(problem,interpretation,var_Mission,var_virtual0);
+        find mustInstanceOfGroundStationNetwork_class(problem,interpretation,var_virtual0);
+        find mustEquivalent(problem, interpretation, var_virtual0, var_GroundStation);
+        find mustInstanceOfConstellationMission_class(problem,interpretation,var_Mission);
+        find mustInRelationspacecraft_reference_ConstellationMission(problem,interpretation,var_Mission,var_virtual1);
+        find mustInstanceOfSpacecraft_class(problem,interpretation,var_virtual1);
+        find mustEquivalent(problem, interpretation, var_virtual1, var_Spacecraft);
+        neg find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_indirectLinkAllowed(problem,interpretation,var_Spacecraft,var_GroundStation);
+}
+private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_noPotentialLinkToGroundStation(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        var_Spacecraft)
+{
+        find interpretation(problem,interpretation);
+        find mayInstanceOfSpacecraft_class(problem,interpretation,var_Spacecraft);
+        // Spacecraft is exported
+        find mayInstanceOfConstellationMission_class(problem,interpretation,var_Mission);
+        find mayInRelationgroundStationNetwork_reference_ConstellationMission(problem,interpretation,var_Mission,var_virtual0);
+        find mayInstanceOfGroundStationNetwork_class(problem,interpretation,var_virtual0);
+        find mayEquivalent(problem, interpretation, var_virtual0, var_GroundStation);
+        find mayInstanceOfConstellationMission_class(problem,interpretation,var_Mission);
+        find mayInRelationspacecraft_reference_ConstellationMission(problem,interpretation,var_Mission,var_virtual1);
+        find mayInstanceOfSpacecraft_class(problem,interpretation,var_virtual1);
+        find mayEquivalent(problem, interpretation, var_virtual1, var_Spacecraft);
+        neg find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_indirectLinkAllowed(problem,interpretation,var_Spacecraft,var_GroundStation);
+}
+private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_noPotentialLinkToGroundStation(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        var_Spacecraft)
+{
+        find interpretation(problem,interpretation);
+        find mustInstanceOfSpacecraft_class(problem,interpretation,var_Spacecraft);
+        // Spacecraft is exported
+        find mustInstanceOfConstellationMission_class(problem,interpretation,var_Mission);
+        find mustInRelationgroundStationNetwork_reference_ConstellationMission(problem,interpretation,var_Mission,var_virtual0);
+        find mustInstanceOfGroundStationNetwork_class(problem,interpretation,var_virtual0);
+        find mustEquivalent(problem, interpretation, var_virtual0, var_GroundStation);
+        find mustInstanceOfConstellationMission_class(problem,interpretation,var_Mission);
+        find mustInRelationspacecraft_reference_ConstellationMission(problem,interpretation,var_Mission,var_virtual1);
+        find mustInstanceOfSpacecraft_class(problem,interpretation,var_virtual1);
+        find mustEquivalent(problem, interpretation, var_virtual1, var_Spacecraft);
+        neg find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_indirectLinkAllowed(problem,interpretation,var_Spacecraft,var_GroundStation);
+}
+// Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries indirectLinkAllowed
+private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_indirectLinkAllowed(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        var_From, var_To)
+{
+        find interpretation(problem,interpretation);
+        find mustInstanceOfSpacecraft_class(problem,interpretation,var_From);
+        find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To);
+        // From is exported
+        // To is exported
+        find twoParam_mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_linkAllowed+(var_From,var_To);
+}
+private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_indirectLinkAllowed(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        var_From, var_To)
+{
+        find interpretation(problem,interpretation);
+        find mayInstanceOfSpacecraft_class(problem,interpretation,var_From);
+        find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_To);
+        // From is exported
+        // To is exported
+        find twoParam_mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_linkAllowed+(var_From,var_To);
+}
+private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_indirectLinkAllowed(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        var_From, var_To)
+{
+        find interpretation(problem,interpretation);
+        find mustInstanceOfSpacecraft_class(problem,interpretation,var_From);
+        find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To);
+        // From is exported
+        // To is exported
+        find twoParam_currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_linkAllowed+(var_From,var_To);
+}
+// Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries linkAllowed
+private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_linkAllowed(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        var_From, var_To)
+{
+        find interpretation(problem,interpretation);
+        find mustInstanceOfSpacecraft_class(problem,interpretation,var_From);
+        find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To);
+        // From is exported
+        // To is exported
+        find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna(problem,interpretation,var_From,var_To,_var__0);
+        neg find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_cubeSat3U(problem,interpretation,var_From);
+}or{
+        find interpretation(problem,interpretation);
+        find mustInstanceOfSpacecraft_class(problem,interpretation,var_From);
+        find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To);
+        // From is exported
+        // To is exported
+        var_virtual0 == const_UHF_TransceiverBand;DefinedElement.name(const_UHF_TransceiverBand,"UHF TransceiverBand");  //LogicProblem.elements(problem,const_UHF_TransceiverBand);
+        find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna(problem,interpretation,var_From,var_To,var_virtual0);
+        find mustInstanceOfCubeSat3U_class(problem,interpretation,var_From);
+}or{
+        find interpretation(problem,interpretation);
+        find mustInstanceOfSpacecraft_class(problem,interpretation,var_From);
+        find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To);
+        // From is exported
+        // To is exported
+        find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna(problem,interpretation,var_From,var_To,_var__0);
+        find mustInstanceOfCubeSat3U_class(problem,interpretation,var_From);
+        find mustInstanceOfGroundStationNetwork_class(problem,interpretation,var_To);
+}
+private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_linkAllowed(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        var_From, var_To)
+{
+        find interpretation(problem,interpretation);
+        find mayInstanceOfSpacecraft_class(problem,interpretation,var_From);
+        find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_To);
+        // From is exported
+        // To is exported
+        find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna(problem,interpretation,var_From,var_To,_var__0);
+        neg find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_cubeSat3U(problem,interpretation,var_From);
+}or{
+        find interpretation(problem,interpretation);
+        find mayInstanceOfSpacecraft_class(problem,interpretation,var_From);
+        find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_To);
+        // From is exported
+        // To is exported
+        var_virtual0 == const_UHF_TransceiverBand;DefinedElement.name(const_UHF_TransceiverBand,"UHF TransceiverBand");  //LogicProblem.elements(problem,const_UHF_TransceiverBand);
+        find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna(problem,interpretation,var_From,var_To,var_virtual0);
+        find mayInstanceOfCubeSat3U_class(problem,interpretation,var_From);
+}or{
+        find interpretation(problem,interpretation);
+        find mayInstanceOfSpacecraft_class(problem,interpretation,var_From);
+        find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_To);
+        // From is exported
+        // To is exported
+        find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna(problem,interpretation,var_From,var_To,_var__0);
+        find mayInstanceOfCubeSat3U_class(problem,interpretation,var_From);
+        find mayInstanceOfGroundStationNetwork_class(problem,interpretation,var_To);
+}
+private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_linkAllowed(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        var_From, var_To)
+{
+        find interpretation(problem,interpretation);
+        find mustInstanceOfSpacecraft_class(problem,interpretation,var_From);
+        find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To);
+        // From is exported
+        // To is exported
+        find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna(problem,interpretation,var_From,var_To,_var__0);
+        neg find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_cubeSat3U(problem,interpretation,var_From);
+}or{
+        find interpretation(problem,interpretation);
+        find mustInstanceOfSpacecraft_class(problem,interpretation,var_From);
+        find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To);
+        // From is exported
+        // To is exported
+        var_virtual0 == const_UHF_TransceiverBand;DefinedElement.name(const_UHF_TransceiverBand,"UHF TransceiverBand");  //LogicProblem.elements(problem,const_UHF_TransceiverBand);
+        find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna(problem,interpretation,var_From,var_To,var_virtual0);
+        find mustInstanceOfCubeSat3U_class(problem,interpretation,var_From);
+}or{
+        find interpretation(problem,interpretation);
+        find mustInstanceOfSpacecraft_class(problem,interpretation,var_From);
+        find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To);
+        // From is exported
+        // To is exported
+        find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna(problem,interpretation,var_From,var_To,_var__0);
+        find mustInstanceOfCubeSat3U_class(problem,interpretation,var_From);
+        find mustInstanceOfGroundStationNetwork_class(problem,interpretation,var_To);
+}
+private pattern twoParam_mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_linkAllowed(var_From, var_To) {
+        find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_linkAllowed(_,_,var_From, var_To);
+}
+private pattern twoParam_mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_linkAllowed(var_From, var_To) {
+        find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_linkAllowed(_,_,var_From, var_To);
+}
+private pattern twoParam_currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_linkAllowed(var_From, var_To) {
+        find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_linkAllowed(_,_,var_From, var_To);
+}
+// Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries matchingAntenna
+private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        var_From, var_To, var_Band)
+{
+        find interpretation(problem,interpretation);
+        find mustInstanceOfSpacecraft_class(problem,interpretation,var_From);
+        find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To);
+        // type constraint is enforced by construction
+        // From is exported
+        // To is exported
+        // Band is exported
+        find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_From);
+        find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_From,var_virtual0);
+        find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0);
+        find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_virtual0,var_virtual1);
+        // type constraint is enforced by construction
+        find mustEquivalent(problem, interpretation, var_virtual1, var_Band);
+        find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To);
+        find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_To,var_virtual2);
+        find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2);
+        find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_virtual2,var_virtual3);
+        // type constraint is enforced by construction
+        find mustEquivalent(problem, interpretation, var_virtual3, var_Band);
+        find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_From);
+        find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_From,var_virtual4);
+        find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual4);
+        find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,var_virtual4,var_virtual5);
+        // type constraint is enforced by construction
+        find mustEquivalent(problem, interpretation, var_virtual5, var_Gain);
+        find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To);
+        find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_To,var_virtual6);
+        find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual6);
+        find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,var_virtual6,var_virtual7);
+        // type constraint is enforced by construction
+        find mustEquivalent(problem, interpretation, var_virtual7, var_Gain);
+}
+private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        var_From, var_To, var_Band)
+{
+        find interpretation(problem,interpretation);
+        find mayInstanceOfSpacecraft_class(problem,interpretation,var_From);
+        find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_To);
+        // type constraint is enforced by construction
+        // From is exported
+        // To is exported
+        // Band is exported
+        find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_From);
+        find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_From,var_virtual0);
+        find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0);
+        find mayInRelationband_attribute_CommSubsystem(problem,interpretation,var_virtual0,var_virtual1);
+        // type constraint is enforced by construction
+        find mayEquivalent(problem, interpretation, var_virtual1, var_Band);
+        find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_To);
+        find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_To,var_virtual2);
+        find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2);
+        find mayInRelationband_attribute_CommSubsystem(problem,interpretation,var_virtual2,var_virtual3);
+        // type constraint is enforced by construction
+        find mayEquivalent(problem, interpretation, var_virtual3, var_Band);
+        find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_From);
+        find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_From,var_virtual4);
+        find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual4);
+        find mayInRelationgain_attribute_CommSubsystem(problem,interpretation,var_virtual4,var_virtual5);
+        // type constraint is enforced by construction
+        find mayEquivalent(problem, interpretation, var_virtual5, var_Gain);
+        find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_To);
+        find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_To,var_virtual6);
+        find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual6);
+        find mayInRelationgain_attribute_CommSubsystem(problem,interpretation,var_virtual6,var_virtual7);
+        // type constraint is enforced by construction
+        find mayEquivalent(problem, interpretation, var_virtual7, var_Gain);
+}
+private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        var_From, var_To, var_Band)
+{
+        find interpretation(problem,interpretation);
+        find mustInstanceOfSpacecraft_class(problem,interpretation,var_From);
+        find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To);
+        // type constraint is enforced by construction
+        // From is exported
+        // To is exported
+        // Band is exported
+        find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_From);
+        find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_From,var_virtual0);
+        find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0);
+        find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_virtual0,var_virtual1);
+        // type constraint is enforced by construction
+        find mustEquivalent(problem, interpretation, var_virtual1, var_Band);
+        find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To);
+        find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_To,var_virtual2);
+        find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2);
+        find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_virtual2,var_virtual3);
+        // type constraint is enforced by construction
+        find mustEquivalent(problem, interpretation, var_virtual3, var_Band);
+        find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_From);
+        find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_From,var_virtual4);
+        find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual4);
+        find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,var_virtual4,var_virtual5);
+        // type constraint is enforced by construction
+        find mustEquivalent(problem, interpretation, var_virtual5, var_Gain);
+        find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To);
+        find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_To,var_virtual6);
+        find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual6);
+        find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,var_virtual6,var_virtual7);
+        // type constraint is enforced by construction
+        find mustEquivalent(problem, interpretation, var_virtual7, var_Gain);
+}
+// Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries cubeSat3U
+private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_cubeSat3U(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        var_Sat)
+{
+        find interpretation(problem,interpretation);
+        find mustInstanceOfCubeSat3U_class(problem,interpretation,var_Sat);
+        // Sat is exported
+        find mustInstanceOfCubeSat3U_class(problem,interpretation,var_Sat);
+}
+private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_cubeSat3U(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        var_Sat)
+{
+        find interpretation(problem,interpretation);
+        find mayInstanceOfCubeSat3U_class(problem,interpretation,var_Sat);
+        // Sat is exported
+        find mayInstanceOfCubeSat3U_class(problem,interpretation,var_Sat);
+}
+private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_cubeSat3U(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        var_Sat)
+{
+        find interpretation(problem,interpretation);
+        find mustInstanceOfCubeSat3U_class(problem,interpretation,var_Sat);
+        // Sat is exported
+        find mustInstanceOfCubeSat3U_class(problem,interpretation,var_Sat);
+}
 // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries communicationLoop
 private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLoop(
         problem:LogicProblem, interpretation:PartialInterpretation,
@@ -1620,19 +2031,19 @@ private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satell
         find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link);
         find mustInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual0);
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0);
-        var_virtual0 == var_SourceSubsystem;
+        find mustEquivalent(problem, interpretation, var_virtual0, var_SourceSubsystem);
         find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link);
         find mustInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1);
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1);
-        var_virtual1 == var_TargetSubsystem;
+        find mustEquivalent(problem, interpretation, var_virtual1, var_TargetSubsystem);
         find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Source);
         find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Source,var_virtual2);
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2);
-        var_virtual2 == var_SourceSubsystem;
+        find mustEquivalent(problem, interpretation, var_virtual2, var_SourceSubsystem);
         find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Target);
         find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Target,var_virtual3);
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual3);
-        var_virtual3 == var_TargetSubsystem;
+        find mustEquivalent(problem, interpretation, var_virtual3, var_TargetSubsystem);
 }
 private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_directCommunicationLink(
         problem:LogicProblem, interpretation:PartialInterpretation,
@@ -1672,19 +2083,19 @@ private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_sat
         find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link);
         find mustInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual0);
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0);
-        var_virtual0 == var_SourceSubsystem;
+        find mustEquivalent(problem, interpretation, var_virtual0, var_SourceSubsystem);
         find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link);
         find mustInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1);
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1);
-        var_virtual1 == var_TargetSubsystem;
+        find mustEquivalent(problem, interpretation, var_virtual1, var_TargetSubsystem);
         find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Source);
         find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Source,var_virtual2);
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2);
-        var_virtual2 == var_SourceSubsystem;
+        find mustEquivalent(problem, interpretation, var_virtual2, var_SourceSubsystem);
         find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Target);
         find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Target,var_virtual3);
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual3);
-        var_virtual3 == var_TargetSubsystem;
+        find mustEquivalent(problem, interpretation, var_virtual3, var_TargetSubsystem);
 }
 private pattern twoParam_mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_directCommunicationLink(var_Source, var_Target) {
         find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_directCommunicationLink(_,_,var_Source, var_Target);
@@ -1706,15 +2117,15 @@ private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satell
         find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link);
         find mustInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual0);
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0);
-        var_virtual0 == var_SourceSubsystem;
+        find mustEquivalent(problem, interpretation, var_virtual0, var_SourceSubsystem);
         find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link);
         find mustInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1);
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1);
-        var_virtual1 == var_TargetSubsystem;
+        find mustEquivalent(problem, interpretation, var_virtual1, var_TargetSubsystem);
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_SourceSubsystem);
         find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_SourceSubsystem,var_virtual2);
         // type constraint is enforced by construction
-        var_virtual2 == var_Band;
+        find mustEquivalent(problem, interpretation, var_virtual2, var_Band);
         neg find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemBand(problem,interpretation,var_TargetSubsystem,var_Band);
 }
 private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetBand(
@@ -1748,15 +2159,15 @@ private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_sat
         find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link);
         find mustInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual0);
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0);
-        var_virtual0 == var_SourceSubsystem;
+        find mustEquivalent(problem, interpretation, var_virtual0, var_SourceSubsystem);
         find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link);
         find mustInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1);
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1);
-        var_virtual1 == var_TargetSubsystem;
+        find mustEquivalent(problem, interpretation, var_virtual1, var_TargetSubsystem);
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_SourceSubsystem);
         find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_SourceSubsystem,var_virtual2);
         // type constraint is enforced by construction
-        var_virtual2 == var_Band;
+        find mustEquivalent(problem, interpretation, var_virtual2, var_Band);
         neg find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemBand(problem,interpretation,var_TargetSubsystem,var_Band);
 }
 // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemBand
@@ -1772,7 +2183,7 @@ private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satell
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm);
         find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual0);
         // type constraint is enforced by construction
-        var_virtual0 == var_Band;
+        find mustEquivalent(problem, interpretation, var_virtual0, var_Band);
 }
 private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemBand(
         problem:LogicProblem, interpretation:PartialInterpretation,
@@ -1800,7 +2211,7 @@ private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_sat
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm);
         find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual0);
         // type constraint is enforced by construction
-        var_virtual0 == var_Band;
+        find mustEquivalent(problem, interpretation, var_virtual0, var_Band);
 }
 // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetGain
 private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetGain(
@@ -1813,15 +2224,15 @@ private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satell
         find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link);
         find mustInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual0);
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0);
-        var_virtual0 == var_SourceSubsystem;
+        find mustEquivalent(problem, interpretation, var_virtual0, var_SourceSubsystem);
         find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link);
         find mustInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1);
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1);
-        var_virtual1 == var_TargetSubsystem;
+        find mustEquivalent(problem, interpretation, var_virtual1, var_TargetSubsystem);
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_SourceSubsystem);
         find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,var_SourceSubsystem,var_virtual2);
         // type constraint is enforced by construction
-        var_virtual2 == var_Gain;
+        find mustEquivalent(problem, interpretation, var_virtual2, var_Gain);
         neg find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemGain(problem,interpretation,var_TargetSubsystem,var_Gain);
 }
 private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetGain(
@@ -1855,15 +2266,15 @@ private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_sat
         find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link);
         find mustInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual0);
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0);
-        var_virtual0 == var_SourceSubsystem;
+        find mustEquivalent(problem, interpretation, var_virtual0, var_SourceSubsystem);
         find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link);
         find mustInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1);
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1);
-        var_virtual1 == var_TargetSubsystem;
+        find mustEquivalent(problem, interpretation, var_virtual1, var_TargetSubsystem);
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_SourceSubsystem);
         find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,var_SourceSubsystem,var_virtual2);
         // type constraint is enforced by construction
-        var_virtual2 == var_Gain;
+        find mustEquivalent(problem, interpretation, var_virtual2, var_Gain);
         neg find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemGain(problem,interpretation,var_TargetSubsystem,var_Gain);
 }
 // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemGain
@@ -1879,7 +2290,7 @@ private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satell
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm);
         find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual0);
         // type constraint is enforced by construction
-        var_virtual0 == var_Gain;
+        find mustEquivalent(problem, interpretation, var_virtual0, var_Gain);
 }
 private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemGain(
         problem:LogicProblem, interpretation:PartialInterpretation,
@@ -1907,7 +2318,7 @@ private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_sat
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm);
         find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual0);
         // type constraint is enforced by construction
-        var_virtual0 == var_Gain;
+        find mustEquivalent(problem, interpretation, var_virtual0, var_Gain);
 }
 // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries uhfAntennaGainNotLow
 private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_uhfAntennaGainNotLow(
@@ -1921,7 +2332,7 @@ private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satell
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm);
         find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual1);
         // type constraint is enforced by construction
-        var_virtual1 == var_virtual0;
+        find mustEquivalent(problem, interpretation, var_virtual1, var_virtual0);
         neg find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemGainLow(problem,interpretation,var_Comm);
 }
 private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_uhfAntennaGainNotLow(
@@ -1949,7 +2360,7 @@ private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_sat
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm);
         find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual1);
         // type constraint is enforced by construction
-        var_virtual1 == var_virtual0;
+        find mustEquivalent(problem, interpretation, var_virtual1, var_virtual0);
         neg find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemGainLow(problem,interpretation,var_Comm);
 }
 // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemGainLow
@@ -1964,7 +2375,7 @@ private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satell
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm);
         find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual1);
         // type constraint is enforced by construction
-        var_virtual1 == var_virtual0;
+        find mustEquivalent(problem, interpretation, var_virtual1, var_virtual0);
 }
 private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemGainLow(
         problem:LogicProblem, interpretation:PartialInterpretation,
@@ -1990,7 +2401,7 @@ private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_sat
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm);
         find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual1);
         // type constraint is enforced by construction
-        var_virtual1 == var_virtual0;
+        find mustEquivalent(problem, interpretation, var_virtual1, var_virtual0);
 }
 // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries xAntennaGainNotMedium
 private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_xAntennaGainNotMedium(
@@ -2004,7 +2415,7 @@ private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satell
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm);
         find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual1);
         // type constraint is enforced by construction
-        var_virtual1 == var_virtual0;
+        find mustEquivalent(problem, interpretation, var_virtual1, var_virtual0);
         neg find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemGainMedium(problem,interpretation,var_Comm);
 }
 private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_xAntennaGainNotMedium(
@@ -2032,7 +2443,7 @@ private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_sat
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm);
         find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual1);
         // type constraint is enforced by construction
-        var_virtual1 == var_virtual0;
+        find mustEquivalent(problem, interpretation, var_virtual1, var_virtual0);
         neg find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemGainMedium(problem,interpretation,var_Comm);
 }
 // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemGainMedium
@@ -2047,7 +2458,7 @@ private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satell
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm);
         find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual1);
         // type constraint is enforced by construction
-        var_virtual1 == var_virtual0;
+        find mustEquivalent(problem, interpretation, var_virtual1, var_virtual0);
 }
 private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemGainMedium(
         problem:LogicProblem, interpretation:PartialInterpretation,
@@ -2073,7 +2484,7 @@ private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_sat
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm);
         find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual1);
         // type constraint is enforced by construction
-        var_virtual1 == var_virtual0;
+        find mustEquivalent(problem, interpretation, var_virtual1, var_virtual0);
 }
 // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries kaAntennaGainLow
 private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_kaAntennaGainLow(
@@ -2087,12 +2498,12 @@ private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satell
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm);
         find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual1);
         // type constraint is enforced by construction
-        var_virtual1 == var_virtual0;
+        find mustEquivalent(problem, interpretation, var_virtual1, var_virtual0);
         var_virtual2 == const_LOW_AntennaGain;DefinedElement.name(const_LOW_AntennaGain,"LOW AntennaGain");  //LogicProblem.elements(problem,const_LOW_AntennaGain);
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm);
         find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual3);
         // type constraint is enforced by construction
-        var_virtual3 == var_virtual2;
+        find mustEquivalent(problem, interpretation, var_virtual3, var_virtual2);
 }
 private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_kaAntennaGainLow(
         problem:LogicProblem, interpretation:PartialInterpretation,
@@ -2123,12 +2534,12 @@ private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_sat
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm);
         find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual1);
         // type constraint is enforced by construction
-        var_virtual1 == var_virtual0;
+        find mustEquivalent(problem, interpretation, var_virtual1, var_virtual0);
         var_virtual2 == const_LOW_AntennaGain;DefinedElement.name(const_LOW_AntennaGain,"LOW AntennaGain");  //LogicProblem.elements(problem,const_LOW_AntennaGain);
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm);
         find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual3);
         // type constraint is enforced by construction
-        var_virtual3 == var_virtual2;
+        find mustEquivalent(problem, interpretation, var_virtual3, var_virtual2);
 }
 // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries threeUCubeSatWithNonUhfCrossLink
 private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_threeUCubeSatWithNonUhfCrossLink(
@@ -2141,20 +2552,20 @@ private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satell
         find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Sat);
         find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Sat,var_virtual0);
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0);
-        var_virtual0 == var_SourceComm;
+        find mustEquivalent(problem, interpretation, var_virtual0, var_SourceComm);
         neg find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemBandUhf(problem,interpretation,var_SourceComm);
         find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link);
         find mustInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1);
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1);
-        var_virtual1 == var_SourceComm;
+        find mustEquivalent(problem, interpretation, var_virtual1, var_SourceComm);
         find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link);
         find mustInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual2);
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2);
-        var_virtual2 == var_TargetComm;
+        find mustEquivalent(problem, interpretation, var_virtual2, var_TargetComm);
         find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Target);
         find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Target,var_virtual3);
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual3);
-        var_virtual3 == var_TargetComm;
+        find mustEquivalent(problem, interpretation, var_virtual3, var_TargetComm);
         neg find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_groundStationNetwork(problem,interpretation,var_Target);
 }
 private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_threeUCubeSatWithNonUhfCrossLink(
@@ -2193,20 +2604,20 @@ private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_sat
         find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Sat);
         find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Sat,var_virtual0);
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0);
-        var_virtual0 == var_SourceComm;
+        find mustEquivalent(problem, interpretation, var_virtual0, var_SourceComm);
         neg find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemBandUhf(problem,interpretation,var_SourceComm);
         find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link);
         find mustInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1);
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1);
-        var_virtual1 == var_SourceComm;
+        find mustEquivalent(problem, interpretation, var_virtual1, var_SourceComm);
         find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link);
         find mustInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual2);
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2);
-        var_virtual2 == var_TargetComm;
+        find mustEquivalent(problem, interpretation, var_virtual2, var_TargetComm);
         find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Target);
         find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Target,var_virtual3);
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual3);
-        var_virtual3 == var_TargetComm;
+        find mustEquivalent(problem, interpretation, var_virtual3, var_TargetComm);
         neg find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_groundStationNetwork(problem,interpretation,var_Target);
 }
 // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemBandUhf
@@ -2221,7 +2632,7 @@ private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satell
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm);
         find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual1);
         // type constraint is enforced by construction
-        var_virtual1 == var_virtual0;
+        find mustEquivalent(problem, interpretation, var_virtual1, var_virtual0);
 }
 private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemBandUhf(
         problem:LogicProblem, interpretation:PartialInterpretation,
@@ -2247,7 +2658,7 @@ private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_sat
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm);
         find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual1);
         // type constraint is enforced by construction
-        var_virtual1 == var_virtual0;
+        find mustEquivalent(problem, interpretation, var_virtual1, var_virtual0);
 }
 // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries groundStationNetwork
 private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_groundStationNetwork(
@@ -2291,7 +2702,7 @@ private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satell
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1);
         find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_virtual1,var_virtual2);
         // type constraint is enforced by construction
-        var_virtual2 == var_virtual0;
+        find mustEquivalent(problem, interpretation, var_virtual2, var_virtual0);
         neg find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_smallSat(problem,interpretation,var_Spacecraft);
 }
 private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_cubeSatWithKaAntenna(
@@ -2323,7 +2734,7 @@ private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_sat
         find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1);
         find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_virtual1,var_virtual2);
         // type constraint is enforced by construction
-        var_virtual2 == var_virtual0;
+        find mustEquivalent(problem, interpretation, var_virtual2, var_virtual0);
         neg find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_smallSat(problem,interpretation,var_Spacecraft);
 }
 // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries smallSat
@@ -2354,6 +2765,100 @@ private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_sat
         // Sat is exported
         find mustInstanceOfSmallSat_class(problem,interpretation,var_Sat);
 }
+// Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries spacecraftOfKind
+private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_spacecraftOfKind(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        var_Spacecraft, var_Kind)
+{
+        find interpretation(problem,interpretation);
+        find mustInstanceOfSpacecraft_class(problem,interpretation,var_Spacecraft);
+        // type constraint is enforced by construction
+        // Spacecraft is exported
+        // Kind is exported
+        find mustInstanceOfCubeSat3U_class(problem,interpretation,var_Spacecraft);
+        var_virtual0 == const_CubeSat3U_SpacecraftKind;DefinedElement.name(const_CubeSat3U_SpacecraftKind,"CubeSat3U SpacecraftKind");  //LogicProblem.elements(problem,const_CubeSat3U_SpacecraftKind);
+        find mustEquivalent(problem, interpretation, var_Kind, var_virtual0);
+}or{
+        find interpretation(problem,interpretation);
+        find mustInstanceOfSpacecraft_class(problem,interpretation,var_Spacecraft);
+        // type constraint is enforced by construction
+        // Spacecraft is exported
+        // Kind is exported
+        find mustInstanceOfCubeSat6U_class(problem,interpretation,var_Spacecraft);
+        var_virtual0 == const_CubeSat6U_SpacecraftKind;DefinedElement.name(const_CubeSat6U_SpacecraftKind,"CubeSat6U SpacecraftKind");  //LogicProblem.elements(problem,const_CubeSat6U_SpacecraftKind);
+        find mustEquivalent(problem, interpretation, var_Kind, var_virtual0);
+}or{
+        find interpretation(problem,interpretation);
+        find mustInstanceOfSpacecraft_class(problem,interpretation,var_Spacecraft);
+        // type constraint is enforced by construction
+        // Spacecraft is exported
+        // Kind is exported
+        find mustInstanceOfSmallSat_class(problem,interpretation,var_Spacecraft);
+        var_virtual0 == const_SmallSat_SpacecraftKind;DefinedElement.name(const_SmallSat_SpacecraftKind,"SmallSat SpacecraftKind");  //LogicProblem.elements(problem,const_SmallSat_SpacecraftKind);
+        find mustEquivalent(problem, interpretation, var_Kind, var_virtual0);
+}
+private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_spacecraftOfKind(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        var_Spacecraft, var_Kind)
+{
+        find interpretation(problem,interpretation);
+        find mayInstanceOfSpacecraft_class(problem,interpretation,var_Spacecraft);
+        // type constraint is enforced by construction
+        // Spacecraft is exported
+        // Kind is exported
+        find mayInstanceOfCubeSat3U_class(problem,interpretation,var_Spacecraft);
+        var_virtual0 == const_CubeSat3U_SpacecraftKind;DefinedElement.name(const_CubeSat3U_SpacecraftKind,"CubeSat3U SpacecraftKind");  //LogicProblem.elements(problem,const_CubeSat3U_SpacecraftKind);
+        find mayEquivalent(problem, interpretation, var_Kind, var_virtual0);
+}or{
+        find interpretation(problem,interpretation);
+        find mayInstanceOfSpacecraft_class(problem,interpretation,var_Spacecraft);
+        // type constraint is enforced by construction
+        // Spacecraft is exported
+        // Kind is exported
+        find mayInstanceOfCubeSat6U_class(problem,interpretation,var_Spacecraft);
+        var_virtual0 == const_CubeSat6U_SpacecraftKind;DefinedElement.name(const_CubeSat6U_SpacecraftKind,"CubeSat6U SpacecraftKind");  //LogicProblem.elements(problem,const_CubeSat6U_SpacecraftKind);
+        find mayEquivalent(problem, interpretation, var_Kind, var_virtual0);
+}or{
+        find interpretation(problem,interpretation);
+        find mayInstanceOfSpacecraft_class(problem,interpretation,var_Spacecraft);
+        // type constraint is enforced by construction
+        // Spacecraft is exported
+        // Kind is exported
+        find mayInstanceOfSmallSat_class(problem,interpretation,var_Spacecraft);
+        var_virtual0 == const_SmallSat_SpacecraftKind;DefinedElement.name(const_SmallSat_SpacecraftKind,"SmallSat SpacecraftKind");  //LogicProblem.elements(problem,const_SmallSat_SpacecraftKind);
+        find mayEquivalent(problem, interpretation, var_Kind, var_virtual0);
+}
+private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_spacecraftOfKind(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        var_Spacecraft, var_Kind)
+{
+        find interpretation(problem,interpretation);
+        find mustInstanceOfSpacecraft_class(problem,interpretation,var_Spacecraft);
+        // type constraint is enforced by construction
+        // Spacecraft is exported
+        // Kind is exported
+        find mustInstanceOfCubeSat3U_class(problem,interpretation,var_Spacecraft);
+        var_virtual0 == const_CubeSat3U_SpacecraftKind;DefinedElement.name(const_CubeSat3U_SpacecraftKind,"CubeSat3U SpacecraftKind");  //LogicProblem.elements(problem,const_CubeSat3U_SpacecraftKind);
+        find mustEquivalent(problem, interpretation, var_Kind, var_virtual0);
+}or{
+        find interpretation(problem,interpretation);
+        find mustInstanceOfSpacecraft_class(problem,interpretation,var_Spacecraft);
+        // type constraint is enforced by construction
+        // Spacecraft is exported
+        // Kind is exported
+        find mustInstanceOfCubeSat6U_class(problem,interpretation,var_Spacecraft);
+        var_virtual0 == const_CubeSat6U_SpacecraftKind;DefinedElement.name(const_CubeSat6U_SpacecraftKind,"CubeSat6U SpacecraftKind");  //LogicProblem.elements(problem,const_CubeSat6U_SpacecraftKind);
+        find mustEquivalent(problem, interpretation, var_Kind, var_virtual0);
+}or{
+        find interpretation(problem,interpretation);
+        find mustInstanceOfSpacecraft_class(problem,interpretation,var_Spacecraft);
+        // type constraint is enforced by construction
+        // Spacecraft is exported
+        // Kind is exported
+        find mustInstanceOfSmallSat_class(problem,interpretation,var_Spacecraft);
+        var_virtual0 == const_SmallSat_SpacecraftKind;DefinedElement.name(const_SmallSat_SpacecraftKind,"SmallSat SpacecraftKind");  //LogicProblem.elements(problem,const_SmallSat_SpacecraftKind);
+        find mustEquivalent(problem, interpretation, var_Kind, var_virtual0);
+}
 
 //////////
 // 1.4 Containment Indexer
@@ -2388,11 +2893,21 @@ pattern invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queri
 {
         find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement(problem,interpretation,var_Link);
 }
+pattern invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_notEnoughInterferometryPayloads(problem:LogicProblem, interpretation:PartialInterpretation,
+        var_Mission)
+{
+        find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_notEnoughInterferometryPayloads(problem,interpretation,var_Mission);
+}
 pattern invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_noLinkToGroundStation(problem:LogicProblem, interpretation:PartialInterpretation,
         var_Spacecraft)
 {
         find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_noLinkToGroundStation(problem,interpretation,var_Spacecraft);
 }
+pattern invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_noPotentialLinkToGroundStation(problem:LogicProblem, interpretation:PartialInterpretation,
+        var_Spacecraft)
+{
+        find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_noPotentialLinkToGroundStation(problem,interpretation,var_Spacecraft);
+}
 pattern invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLoop(problem:LogicProblem, interpretation:PartialInterpretation,
         var_Element)
 {
@@ -2511,11 +3026,21 @@ pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_querie
 {
         find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLinkDoesNotStartAtContainingElement(problem,interpretation,var_Link);
 }
+pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_notEnoughInterferometryPayloads(problem:LogicProblem, interpretation:PartialInterpretation,
+        var_Mission)
+{
+        find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_notEnoughInterferometryPayloads(problem,interpretation,var_Mission);
+}
 pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_noLinkToGroundStation(problem:LogicProblem, interpretation:PartialInterpretation,
         var_Spacecraft)
 {
         find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_noLinkToGroundStation(problem,interpretation,var_Spacecraft);
 }
+pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_noPotentialLinkToGroundStation(problem:LogicProblem, interpretation:PartialInterpretation,
+        var_Spacecraft)
+{
+        find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_noPotentialLinkToGroundStation(problem,interpretation,var_Spacecraft);
+}
 pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLoop(problem:LogicProblem, interpretation:PartialInterpretation,
         var_Element)
 {
@@ -2565,31 +3090,35 @@ pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_querie
 private pattern hasElementInContainment(problem:LogicProblem, interpretation:PartialInterpretation)
 {
         find interpretation(problem,interpretation);
-        find mustInstanceOfCommunicatingElement_class(problem,interpretation,root);
+        find mustInstanceOfInterferometryPayload_class(problem,interpretation,root);
         find mustExist(problem, interpretation, root);
 }or{
         find interpretation(problem,interpretation);
-        find mustInstanceOfConstellationMission_class(problem,interpretation,root);
+        find mustInstanceOfSpacecraft_class(problem,interpretation,root);
         find mustExist(problem, interpretation, root);
 }or{
         find interpretation(problem,interpretation);
-        find mustInstanceOfInterferometryMission_class(problem,interpretation,root);
+        find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,root);
         find mustExist(problem, interpretation, root);
 }or{
         find interpretation(problem,interpretation);
-        find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,root);
+        find mustInstanceOfCubeSat_class(problem,interpretation,root);
         find mustExist(problem, interpretation, root);
 }or{
         find interpretation(problem,interpretation);
-        find mustInstanceOfSmallSat_class(problem,interpretation,root);
+        find mustInstanceOfConstellationMission_class(problem,interpretation,root);
         find mustExist(problem, interpretation, root);
 }or{
         find interpretation(problem,interpretation);
-        find mustInstanceOfPayload_class(problem,interpretation,root);
+        find mustInstanceOfInterferometryMission_class(problem,interpretation,root);
         find mustExist(problem, interpretation, root);
 }or{
         find interpretation(problem,interpretation);
-        find mustInstanceOfGroundStationNetwork_class(problem,interpretation,root);
+        find mustInstanceOfCubeSat3U_class(problem,interpretation,root);
+        find mustExist(problem, interpretation, root);
+}or{
+        find interpretation(problem,interpretation);
+        find mustInstanceOfCommunicatingElement_class(problem,interpretation,root);
         find mustExist(problem, interpretation, root);
 }or{
         find interpretation(problem,interpretation);
@@ -2597,19 +3126,19 @@ private pattern hasElementInContainment(problem:LogicProblem, interpretation:Par
         find mustExist(problem, interpretation, root);
 }or{
         find interpretation(problem,interpretation);
-        find mustInstanceOfCommSubsystem_class(problem,interpretation,root);
+        find mustInstanceOfSmallSat_class(problem,interpretation,root);
         find mustExist(problem, interpretation, root);
 }or{
         find interpretation(problem,interpretation);
-        find mustInstanceOfInterferometryPayload_class(problem,interpretation,root);
+        find mustInstanceOfCommSubsystem_class(problem,interpretation,root);
         find mustExist(problem, interpretation, root);
 }or{
         find interpretation(problem,interpretation);
-        find mustInstanceOfCubeSat3U_class(problem,interpretation,root);
+        find mustInstanceOfGroundStationNetwork_class(problem,interpretation,root);
         find mustExist(problem, interpretation, root);
 }or{
         find interpretation(problem,interpretation);
-        find mustInstanceOfSpacecraft_class(problem,interpretation,root);
+        find mustInstanceOfPayload_class(problem,interpretation,root);
         find mustExist(problem, interpretation, root);
 }or{
         find interpretation(problem,interpretation);
@@ -2652,59 +3181,43 @@ private pattern hasElementInContainment(problem:LogicProblem, interpretation:Par
         find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,root);
         find mustExist(problem, interpretation, root);
 }
-pattern createObject_CubeSat6U_class_by_spacecraft_reference_ConstellationMission(
+pattern createObject_DirectedCommunicationLink_class_by_communicationLink_reference_CommunicatingElement(
         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,"DirectedCommunicationLink 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,"communicationLink reference CommunicatingElement");
+        find mustInstanceOfCommunicatingElement_class(problem,interpretation,container);
+        find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,newObject);
+        find mayInRelationcommunicationLink_reference_CommunicatingElement(problem,interpretation,container,newObject);
         find mustExist(problem, interpretation, container);
         neg find mustExist(problem, interpretation, newObject);
 }
-pattern createObject_CubeSat6U_class(
+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,"CubeSat6U class");
-        find mayInstanceOfCubeSat6U_class(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);
 }
-pattern createObject_CommSubsystem_class_UndefinedPart_by_commSubsystem_reference_CommunicatingElement(
-        problem:LogicProblem, interpretation:PartialInterpretation,
-        relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation,
-        container:DefinedElement)
-{
-        find interpretation(problem,interpretation);
-        PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation);
-        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"CommSubsystem class UndefinedPart");
-        PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation);
-        PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"commSubsystem reference CommunicatingElement");
-        find mustInstanceOfCommunicatingElement_class(problem,interpretation,container);
-        find mayInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,newObject);
-        find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,container,newObject);
-        find mustExist(problem, interpretation, container);
-        neg find mustExist(problem, interpretation, newObject);
-}
-pattern createObject_CommSubsystem_class_UndefinedPart(
+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,"CommSubsystem class UndefinedPart");
-        find mayInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,newObject);
+        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);
 }
@@ -2736,31 +3249,31 @@ pattern createObject_InterferometryPayload_class(
         find mayExist(problem, interpretation, newObject);
         neg find mustExist(problem, interpretation, newObject);
 }
-pattern createObject_SmallSat_class_by_spacecraft_reference_ConstellationMission(
+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,"SmallSat class");
+        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"GroundStationNetwork class UndefinedPart");
         PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation);
-        PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"spacecraft reference ConstellationMission");
+        PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"groundStationNetwork reference ConstellationMission");
         find mustInstanceOfConstellationMission_class(problem,interpretation,container);
-        find mayInstanceOfSmallSat_class(problem,interpretation,newObject);
-        find mayInRelationspacecraft_reference_ConstellationMission(problem,interpretation,container,newObject);
+        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_SmallSat_class(
+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,"SmallSat class");
-        find mayInstanceOfSmallSat_class(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);
 }
@@ -2792,71 +3305,87 @@ pattern createObject_CubeSat3U_class(
         find mayExist(problem, interpretation, newObject);
         neg find mustExist(problem, interpretation, newObject);
 }
-pattern createObject_GroundStationNetwork_class_UndefinedPart_by_groundStationNetwork_reference_ConstellationMission(
+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,"GroundStationNetwork class UndefinedPart");
+        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"SmallSat class");
         PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation);
-        PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"groundStationNetwork reference ConstellationMission");
+        PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"spacecraft reference ConstellationMission");
         find mustInstanceOfConstellationMission_class(problem,interpretation,container);
-        find mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,newObject);
-        find mayInRelationgroundStationNetwork_reference_ConstellationMission(problem,interpretation,container,newObject);
+        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_GroundStationNetwork_class_UndefinedPart(
+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,"GroundStationNetwork class UndefinedPart");
-        find mayInstanceOfGroundStationNetwork_class_UndefinedPart(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_DirectedCommunicationLink_class_by_communicationLink_reference_CommunicatingElement(
+pattern createObject_CommSubsystem_class_UndefinedPart_by_commSubsystem_reference_CommunicatingElement(
         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,"CommSubsystem class UndefinedPart");
         PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation);
-        PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"communicationLink reference CommunicatingElement");
+        PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"commSubsystem reference CommunicatingElement");
         find mustInstanceOfCommunicatingElement_class(problem,interpretation,container);
-        find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,newObject);
-        find mayInRelationcommunicationLink_reference_CommunicatingElement(problem,interpretation,container,newObject);
+        find mayInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,newObject);
+        find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,container,newObject);
         find mustExist(problem, interpretation, container);
         neg find mustExist(problem, interpretation, newObject);
 }
-pattern createObject_DirectedCommunicationLink_class(
+pattern createObject_CommSubsystem_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,"DirectedCommunicationLink class");
-        find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,newObject);
+        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"CommSubsystem class UndefinedPart");
+        find mayInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,newObject);
         find mayExist(problem, interpretation, newObject);
         neg find mustExist(problem, interpretation, newObject);
 }
-pattern createObject_InterferometryMission_class_UndefinedPart(
+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,"CubeSat6U 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);
+        find mustExist(problem, interpretation, container);
+        neg find mustExist(problem, interpretation, newObject);
+}
+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,"InterferometryMission class UndefinedPart");
-        find mayInstanceOfInterferometryMission_class_UndefinedPart(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);
 }
@@ -2864,95 +3393,94 @@ pattern createObject_InterferometryMission_class_UndefinedPart(
 //////////
 // 4.2 Type refinement
 //////////
-pattern refineTypeTo_CubeSat6U_class(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 mayInstanceOfCubeSat6U_class(problem,interpretation,element);
-        neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
-        neg find mustInstanceOfSmallSat_class(problem,interpretation,element);
-        neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element);
+        find mayInstanceOfDirectedCommunicationLink_class(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 mustInstanceOfGroundStationNetwork_class(problem,interpretation,element);
+        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
+        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
 }
-pattern refineTypeTo_CommSubsystem_class_UndefinedPart(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 mayInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element);
-        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
+        find mayInstanceOfInterferometryMission_class_UndefinedPart(problem,interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
+        neg find mustInstanceOfPayload_class(problem,interpretation,element);
+        neg find mustInstanceOfInterferometryMission_class_UndefinedPart(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 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);
-        neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_class(problem,interpretation,element);
 }
-pattern refineTypeTo_SmallSat_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 mayInstanceOfSmallSat_class(problem,interpretation,element);
-        neg find mustInstanceOfCubeSat6U_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);
+        find mayInstanceOfGroundStationNetwork_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 mustInstanceOfGroundStationNetwork_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 mustInstanceOfCubeSat6U_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 mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfConstellationMission_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 mustInstanceOfCubeSat3U_class(problem,interpretation,element);
+        neg find mustInstanceOfSmallSat_class(problem,interpretation,element);
+        neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element);
 }
-pattern refineTypeTo_GroundStationNetwork_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 mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
+        find mayInstanceOfSmallSat_class(problem,interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,element);
-        neg find mustInstanceOfSpacecraft_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);
 }
-pattern refineTypeTo_DirectedCommunicationLink_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) {
+pattern refineTypeTo_CommSubsystem_class_UndefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) {
         find interpretation(problem,interpretation);
         PartialInterpretation.newElements(interpretation,element);
-        find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,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 mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element);
 }
-pattern refineTypeTo_InterferometryMission_class_UndefinedPart(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 mayInstanceOfInterferometryMission_class_UndefinedPart(problem,interpretation,element);
-        neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element);
-        neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element);
-        neg find mustInstanceOfPayload_class(problem,interpretation,element);
+        find mayInstanceOfCubeSat6U_class(problem,interpretation,element);
         neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element);
-        neg find mustInstanceOfInterferometryMission_class_UndefinedPart(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 mustInstanceOfCubeSat3U_class(problem,interpretation,element);
+        neg find mustInstanceOfSmallSat_class(problem,interpretation,element);
+        neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element);
 }
 
 //////////
@@ -2988,6 +3516,21 @@ pattern refineRelation_target_reference_DirectedCommunicationLink(
         find mayInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,from,to);
         neg find mustInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,from,to);
 }
+pattern refineRelation_kind_attribute_Spacecraft(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        relationIterpretation:PartialRelationInterpretation,
+        from: DefinedElement, to: DefinedElement)
+{
+        find interpretation(problem,interpretation);
+        PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation);
+        PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"kind attribute Spacecraft");
+        find mustExist(problem, interpretation, from);
+        find mustExist(problem, interpretation, to);
+        find mustInstanceOfSpacecraft_class(problem,interpretation,from);
+        find mustInstanceOfSpacecraftKind_enum(problem,interpretation,to);
+        find mayInRelationkind_attribute_Spacecraft(problem,interpretation,from,to);
+        neg find mustInRelationkind_attribute_Spacecraft(problem,interpretation,from,to);
+}
 pattern refineRelation_band_attribute_CommSubsystem(
         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 7b46b451..2a54174a 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generation.logicproblem
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generation.logicproblem
@@ -1,29 +1,31 @@
 <?xml version="1.0" encoding="ASCII"?>
 <language:LogicProblem xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/ecore2logicannotation" xmlns:language="http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem" xmlns:language_1="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language" xmlns:partial2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/partial2logicannotation" xmlns:viatra2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/viatra2logicannotation">
-  <types xsi:type="language_1:TypeDeclaration" name="ConstellationMission class" subtypes="//@types.1 //@types.14 //@types.15" isAbstract="true"/>
-  <types xsi:type="language_1:TypeDeclaration" name="InterferometryMission class" subtypes="//@types.16 //@types.17" supertypes="//@types.0" isAbstract="true"/>
-  <types xsi:type="language_1:TypeDeclaration" name="CommunicatingElement class" subtypes="//@types.3 //@types.4 //@types.18 //@types.19" isAbstract="true"/>
-  <types xsi:type="language_1:TypeDeclaration" name="GroundStationNetwork class" subtypes="//@types.20 //@types.21" supertypes="//@types.2" isAbstract="true"/>
-  <types xsi:type="language_1:TypeDeclaration" name="Spacecraft class" subtypes="//@types.5 //@types.6 //@types.7" supertypes="//@types.2 //@types.19" isAbstract="true"/>
-  <types xsi:type="language_1:TypeDeclaration" name="CubeSat3U class" supertypes="//@types.4"/>
-  <types xsi:type="language_1:TypeDeclaration" name="CubeSat6U class" supertypes="//@types.4"/>
-  <types xsi:type="language_1:TypeDeclaration" name="SmallSat class" supertypes="//@types.4"/>
-  <types xsi:type="language_1:TypeDeclaration" name="CommSubsystem class" subtypes="//@types.22 //@types.23" isAbstract="true"/>
+  <types xsi:type="language_1:TypeDeclaration" name="ConstellationMission class" subtypes="//@types.1 //@types.16 //@types.17" isAbstract="true"/>
+  <types xsi:type="language_1:TypeDeclaration" name="InterferometryMission class" subtypes="//@types.18 //@types.19" supertypes="//@types.0" isAbstract="true"/>
+  <types xsi:type="language_1:TypeDeclaration" name="CommunicatingElement class" subtypes="//@types.3 //@types.4 //@types.20 //@types.21" isAbstract="true"/>
+  <types xsi:type="language_1:TypeDeclaration" name="GroundStationNetwork class" subtypes="//@types.22 //@types.23" supertypes="//@types.2" isAbstract="true"/>
+  <types xsi:type="language_1:TypeDeclaration" name="Spacecraft class" subtypes="//@types.11 //@types.12" supertypes="//@types.2 //@types.21" isAbstract="true"/>
+  <types xsi:type="language_1:TypeDeclaration" name="CommSubsystem class" subtypes="//@types.24 //@types.25" isAbstract="true"/>
   <types xsi:type="language_1:TypeDeclaration" name="DirectedCommunicationLink class"/>
-  <types xsi:type="language_1:TypeDeclaration" name="Payload class" subtypes="//@types.11" isAbstract="true"/>
-  <types xsi:type="language_1:TypeDeclaration" name="InterferometryPayload class" supertypes="//@types.10"/>
+  <types xsi:type="language_1:TypeDeclaration" name="Payload class" subtypes="//@types.8" isAbstract="true"/>
+  <types xsi:type="language_1:TypeDeclaration" name="InterferometryPayload class" supertypes="//@types.7"/>
+  <types xsi:type="language_1:TypeDeclaration" name="CubeSat3U class" supertypes="//@types.12"/>
+  <types xsi:type="language_1:TypeDeclaration" name="CubeSat6U class" supertypes="//@types.12"/>
+  <types xsi:type="language_1:TypeDeclaration" name="SmallSat class" supertypes="//@types.4"/>
+  <types xsi:type="language_1:TypeDeclaration" name="CubeSat class" subtypes="//@types.9 //@types.10" supertypes="//@types.4" isAbstract="true"/>
   <types xsi:type="language_1:TypeDefinition" name="TransceiverBand enum" elements="//@elements.0 //@elements.1 //@elements.2"/>
   <types xsi:type="language_1:TypeDefinition" name="AntennaGain enum" elements="//@elements.3 //@elements.4 //@elements.5"/>
-  <types xsi:type="language_1:TypeDefinition" name="ConstellationMission class DefinedPart" subtypes="//@types.16" supertypes="//@types.0" isAbstract="true" elements="//@elements.6"/>
-  <types xsi:type="language_1:TypeDeclaration" name="ConstellationMission class UndefinedPart" subtypes="//@types.17" supertypes="//@types.0" isAbstract="true"/>
-  <types xsi:type="language_1:TypeDefinition" name="InterferometryMission class DefinedPart" supertypes="//@types.1 //@types.14" elements="//@elements.6"/>
-  <types xsi:type="language_1:TypeDeclaration" name="InterferometryMission class UndefinedPart" supertypes="//@types.1 //@types.15"/>
-  <types xsi:type="language_1:TypeDefinition" name="CommunicatingElement class DefinedPart" subtypes="//@types.20" supertypes="//@types.2" isAbstract="true" elements="//@elements.7"/>
-  <types xsi:type="language_1:TypeDeclaration" name="CommunicatingElement class UndefinedPart" subtypes="//@types.21 //@types.4" supertypes="//@types.2" isAbstract="true"/>
-  <types xsi:type="language_1:TypeDefinition" name="GroundStationNetwork class DefinedPart" supertypes="//@types.3 //@types.18" elements="//@elements.7"/>
-  <types xsi:type="language_1:TypeDeclaration" name="GroundStationNetwork class UndefinedPart" supertypes="//@types.3 //@types.19"/>
-  <types xsi:type="language_1:TypeDefinition" name="CommSubsystem class DefinedPart" supertypes="//@types.8" elements="//@elements.8 //@elements.9"/>
-  <types xsi:type="language_1:TypeDeclaration" name="CommSubsystem class UndefinedPart" supertypes="//@types.8"/>
+  <types xsi:type="language_1:TypeDefinition" name="SpacecraftKind enum" elements="//@elements.6 //@elements.7 //@elements.8"/>
+  <types xsi:type="language_1:TypeDefinition" name="ConstellationMission class DefinedPart" subtypes="//@types.18" supertypes="//@types.0" isAbstract="true" elements="//@elements.9"/>
+  <types xsi:type="language_1:TypeDeclaration" name="ConstellationMission class UndefinedPart" subtypes="//@types.19" supertypes="//@types.0" isAbstract="true"/>
+  <types xsi:type="language_1:TypeDefinition" name="InterferometryMission class DefinedPart" supertypes="//@types.1 //@types.16" elements="//@elements.9"/>
+  <types xsi:type="language_1:TypeDeclaration" name="InterferometryMission class UndefinedPart" supertypes="//@types.1 //@types.17"/>
+  <types xsi:type="language_1:TypeDefinition" name="CommunicatingElement class DefinedPart" subtypes="//@types.22" supertypes="//@types.2" isAbstract="true" elements="//@elements.10"/>
+  <types xsi:type="language_1:TypeDeclaration" name="CommunicatingElement class UndefinedPart" subtypes="//@types.23 //@types.4" supertypes="//@types.2" isAbstract="true"/>
+  <types xsi:type="language_1:TypeDefinition" name="GroundStationNetwork class DefinedPart" supertypes="//@types.3 //@types.20" elements="//@elements.10"/>
+  <types xsi:type="language_1:TypeDeclaration" name="GroundStationNetwork class UndefinedPart" supertypes="//@types.3 //@types.21"/>
+  <types xsi:type="language_1:TypeDefinition" name="CommSubsystem class DefinedPart" supertypes="//@types.5" elements="//@elements.11 //@elements.12"/>
+  <types xsi:type="language_1:TypeDeclaration" name="CommSubsystem class UndefinedPart" supertypes="//@types.5"/>
   <assertions name="lowerMultiplicity groundStationNetwork ConstellationMission" annotations="//@annotations.0">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="src">
@@ -534,7 +536,7 @@
       </quantifiedVariables>
       <expression xsi:type="language_1:Exists">
         <quantifiedVariables name="trg 1">
-          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+          <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">
@@ -551,13 +553,13 @@
         <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
       </quantifiedVariables>
       <quantifiedVariables name="trg 1">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
       </quantifiedVariables>
       <quantifiedVariables name="trg 2">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
       </quantifiedVariables>
       <quantifiedVariables name="trg 3">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
       </quantifiedVariables>
       <expression xsi:type="language_1:Impl">
         <leftOperand xsi:type="language_1:And">
@@ -590,10 +592,10 @@
         <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
       </quantifiedVariables>
       <quantifiedVariables name="trg 1">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
       </quantifiedVariables>
       <quantifiedVariables name="trg 2">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
       </quantifiedVariables>
       <expression xsi:type="language_1:Impl">
         <leftOperand xsi:type="language_1:And">
@@ -621,10 +623,10 @@
         <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
       </quantifiedVariables>
       <quantifiedVariables name="trg 1">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/>
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
       </quantifiedVariables>
       <quantifiedVariables name="trg 2">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/>
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
       </quantifiedVariables>
       <expression xsi:type="language_1:Impl">
         <leftOperand xsi:type="language_1:And">
@@ -649,11 +651,11 @@
   <assertions name="lowerMultiplicity source DirectedCommunicationLink" annotations="//@annotations.8">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="src">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
       </quantifiedVariables>
       <expression xsi:type="language_1:Exists">
         <quantifiedVariables name="trg 1">
-          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+          <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">
@@ -667,13 +669,13 @@
   <assertions name="upperMultiplicity source DirectedCommunicationLink" annotations="//@annotations.9">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="src">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
       </quantifiedVariables>
       <quantifiedVariables name="trg 1">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
       </quantifiedVariables>
       <quantifiedVariables name="trg 2">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
       </quantifiedVariables>
       <expression xsi:type="language_1:Impl">
         <leftOperand xsi:type="language_1:And">
@@ -698,11 +700,11 @@
   <assertions name="lowerMultiplicity target DirectedCommunicationLink" annotations="//@annotations.10">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="src">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
       </quantifiedVariables>
       <expression xsi:type="language_1:Exists">
         <quantifiedVariables name="trg 1">
-          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+          <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">
@@ -716,13 +718,13 @@
   <assertions name="upperMultiplicity target DirectedCommunicationLink" annotations="//@annotations.11">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="src">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
       </quantifiedVariables>
       <quantifiedVariables name="trg 1">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
       </quantifiedVariables>
       <quantifiedVariables name="trg 2">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
       </quantifiedVariables>
       <expression xsi:type="language_1:Impl">
         <leftOperand xsi:type="language_1:And">
@@ -744,14 +746,14 @@
       </expression>
     </value>
   </assertions>
-  <assertions name="lowerMultiplicity band CommSubsystem" annotations="//@annotations.12">
+  <assertions name="lowerMultiplicity kind Spacecraft" annotations="//@annotations.12">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="src">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
       </quantifiedVariables>
       <expression xsi:type="language_1:Exists">
         <quantifiedVariables name="trg 1">
-          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/>
+          <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">
@@ -762,16 +764,16 @@
       </expression>
     </value>
   </assertions>
-  <assertions name="upperMultiplicity band CommSubsystem" annotations="//@annotations.13">
+  <assertions name="upperMultiplicity kind Spacecraft" annotations="//@annotations.13">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="src">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
       </quantifiedVariables>
       <quantifiedVariables name="trg 1">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/>
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
       </quantifiedVariables>
       <quantifiedVariables name="trg 2">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/>
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
       </quantifiedVariables>
       <expression xsi:type="language_1:Impl">
         <leftOperand xsi:type="language_1:And">
@@ -793,10 +795,10 @@
       </expression>
     </value>
   </assertions>
-  <assertions name="lowerMultiplicity gain CommSubsystem" annotations="//@annotations.14">
+  <assertions name="lowerMultiplicity band CommSubsystem" annotations="//@annotations.14">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="src">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
       </quantifiedVariables>
       <expression xsi:type="language_1:Exists">
         <quantifiedVariables name="trg 1">
@@ -811,10 +813,10 @@
       </expression>
     </value>
   </assertions>
-  <assertions name="upperMultiplicity gain CommSubsystem" annotations="//@annotations.15">
+  <assertions name="upperMultiplicity band CommSubsystem" annotations="//@annotations.15">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="src">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
       </quantifiedVariables>
       <quantifiedVariables name="trg 1">
         <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
@@ -842,164 +844,237 @@
       </expression>
     </value>
   </assertions>
-  <assertions name="PartialInterpretation groundStationNetwork reference ConstellationMission" annotations="//@annotations.16">
+  <assertions name="lowerMultiplicity gain CommSubsystem" annotations="//@annotations.16">
+    <value xsi:type="language_1:Forall">
+      <quantifiedVariables name="src">
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
+      </quantifiedVariables>
+      <expression xsi:type="language_1:Exists">
+        <quantifiedVariables name="trg 1">
+          <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>
+        </expression>
+      </expression>
+    </value>
+  </assertions>
+  <assertions name="upperMultiplicity gain CommSubsystem" annotations="//@annotations.17">
+    <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.14"/>
+      </quantifiedVariables>
+      <quantifiedVariables name="trg 2">
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
+      </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>
+          <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>
+        </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"/>
+          </operand>
+        </rightOperand>
+      </expression>
+    </value>
+  </assertions>
+  <assertions name="PartialInterpretation groundStationNetwork reference ConstellationMission" annotations="//@annotations.18">
     <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
-      <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.6"/>
-      <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.7"/>
+      <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.17">
+  <assertions name="PartialInterpretation commSubsystem reference CommunicatingElement" annotations="//@annotations.19">
     <value xsi:type="language_1:And">
       <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
-        <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.7"/>
-        <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.8"/>
+        <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.10"/>
+        <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.11"/>
       </operands>
       <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
-        <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.7"/>
-        <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.9"/>
+        <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.10"/>
+        <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.12"/>
       </operands>
     </value>
   </assertions>
-  <assertions name="PartialInterpretation band attribute CommSubsystem" annotations="//@annotations.18">
+  <assertions name="PartialInterpretation band attribute CommSubsystem" annotations="//@annotations.20">
     <value xsi:type="language_1:And">
-      <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
-        <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.8"/>
+      <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
+        <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.7">
-        <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.9"/>
+      <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
+        <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.19">
+  <assertions name="PartialInterpretation gain attribute CommSubsystem" annotations="//@annotations.21">
     <value xsi:type="language_1:And">
-      <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
-        <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.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.4"/>
       </operands>
-      <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
-        <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.9"/>
+      <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.5"/>
       </operands>
     </value>
   </assertions>
-  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries communicationLinkDoesNotStartAtContainingElement" annotations="//@annotations.42">
+  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries communicationLinkDoesNotStartAtContainingElement" annotations="//@annotations.50">
     <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.6"/>
       </quantifiedVariables>
       <expression xsi:type="language_1:Not">
-        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
-          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.20/@value/@quantifiedVariables.0"/>
+        <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 noLinkToGroundStation" annotations="//@annotations.43">
+  <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.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.13">
-          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.21/@value/@quantifiedVariables.0"/>
+        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11">
+          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.23/@value/@quantifiedVariables.0"/>
         </operand>
       </expression>
     </value>
   </assertions>
-  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries communicationLoop" annotations="//@annotations.44">
+  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries noLinkToGroundStation" annotations="//@annotations.52">
     <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.14">
-          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.22/@value/@quantifiedVariables.0"/>
+          <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 incompatibleSourceAndTargetBand" annotations="//@annotations.45">
+  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries noPotentialLinkToGroundStation" annotations="//@annotations.53">
     <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.4"/>
       </quantifiedVariables>
       <expression xsi:type="language_1:Not">
-        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17">
-          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.23/@value/@quantifiedVariables.0"/>
+        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15">
+          <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 incompatibleSourceAndTargetGain" annotations="//@annotations.46">
+  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries communicationLoop" annotations="//@annotations.54">
     <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.2"/>
       </quantifiedVariables>
       <expression xsi:type="language_1:Not">
-        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19">
-          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.24/@value/@quantifiedVariables.0"/>
+        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20">
+          <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 uhfAntennaGainNotLow" annotations="//@annotations.47">
+  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetBand" annotations="//@annotations.55">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="p0">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
       </quantifiedVariables>
       <expression xsi:type="language_1:Not">
-        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21">
-          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.25/@value/@quantifiedVariables.0"/>
+        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23">
+          <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 xAntennaGainNotMedium" annotations="//@annotations.48">
+  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetGain" annotations="//@annotations.56">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="p0">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
       </quantifiedVariables>
       <expression xsi:type="language_1:Not">
-        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23">
-          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.26/@value/@quantifiedVariables.0"/>
+        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25">
+          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.28/@value/@quantifiedVariables.0"/>
         </operand>
       </expression>
     </value>
   </assertions>
-  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries kaAntennaGainLow" annotations="//@annotations.49">
+  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries uhfAntennaGainNotLow" annotations="//@annotations.57">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="p0">
-        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
       </quantifiedVariables>
       <expression xsi:type="language_1:Not">
-        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25">
-          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.27/@value/@quantifiedVariables.0"/>
+        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27">
+          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.29/@value/@quantifiedVariables.0"/>
         </operand>
       </expression>
     </value>
   </assertions>
-  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries threeUCubeSatWithNonUhfCrossLink" annotations="//@annotations.50">
+  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries xAntennaGainNotMedium" annotations="//@annotations.58">
     <value xsi:type="language_1:Forall">
       <quantifiedVariables name="p0">
         <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
       </quantifiedVariables>
       <expression xsi:type="language_1:Not">
-        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26">
-          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.28/@value/@quantifiedVariables.0"/>
+        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29">
+          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.30/@value/@quantifiedVariables.0"/>
+        </operand>
+      </expression>
+    </value>
+  </assertions>
+  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries kaAntennaGainLow" annotations="//@annotations.59">
+    <value xsi:type="language_1:Forall">
+      <quantifiedVariables name="p0">
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
+      </quantifiedVariables>
+      <expression xsi:type="language_1:Not">
+        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.31">
+          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.31/@value/@quantifiedVariables.0"/>
         </operand>
       </expression>
     </value>
   </assertions>
-  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries cubeSatWithKaAntenna" annotations="//@annotations.51">
+  <assertions name="errorpattern hu bme mit inf dslreasoner domains satellite queries threeUCubeSatWithNonUhfCrossLink" annotations="//@annotations.60">
+    <value xsi:type="language_1:Forall">
+      <quantifiedVariables name="p0">
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
+      </quantifiedVariables>
+      <expression xsi:type="language_1:Not">
+        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32">
+          <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">
     <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.29">
-          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.29/@value/@quantifiedVariables.0"/>
+        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.35">
+          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.33/@value/@quantifiedVariables.0"/>
         </operand>
       </expression>
     </value>
@@ -1014,36 +1089,40 @@
   </relations>
   <relations xsi:type="language_1:RelationDeclaration" name="commSubsystem reference CommunicatingElement">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
-    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
   </relations>
   <relations xsi:type="language_1:RelationDeclaration" name="communicationLink reference CommunicatingElement">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
-    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
   </relations>
   <relations xsi:type="language_1:RelationDeclaration" name="payload reference Spacecraft">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
-    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/>
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
   </relations>
   <relations xsi:type="language_1:RelationDeclaration" name="source reference DirectedCommunicationLink">
-    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
-    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+    <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="target reference DirectedCommunicationLink">
-    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
-    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+    <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">
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
   </relations>
   <relations xsi:type="language_1:RelationDeclaration" name="band attribute CommSubsystem">
-    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
-    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/>
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
   </relations>
   <relations xsi:type="language_1:RelationDeclaration" name="gain attribute CommSubsystem">
-    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
-    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
+    <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.20">
-    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
+  <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.9"/>
+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
     </variables>
     <value xsi:type="language_1:Or">
       <operands xsi:type="language_1:Exists">
@@ -1051,37 +1130,37 @@
           <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
         </quantifiedVariables>
         <quantifiedVariables name="variable SourceComm">
-          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
         </quantifiedVariables>
         <quantifiedVariables name="variable SourceElement">
           <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@value/@operands.0/@quantifiedVariables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@variables.0"/>
+            <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>
           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@value/@operands.0/@quantifiedVariables.1"/>
+            <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"/>
           </operands>
           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@value/@operands.0/@quantifiedVariables.2"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@value/@operands.0/@quantifiedVariables.1"/>
+            <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"/>
           </operands>
           <operands xsi:type="language_1:InstanceOf">
-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@value/@operands.0/@quantifiedVariables.1"/>
-            <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@value/@operands.0/@quantifiedVariables.1"/>
+            <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
           </operands>
           <operands xsi:type="language_1:Distinct">
-            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@value/@operands.0/@quantifiedVariables.0"/>
-            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@value/@operands.0/@quantifiedVariables.2"/>
+            <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>
         </expression>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries notEnoughInterferometryPayloads" annotations="//@annotations.21">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries notEnoughInterferometryPayloads" annotations="//@annotations.23">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
     <variables name="parameter Mission">
       <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
@@ -1089,18 +1168,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.10/@variables.0"/>
+          <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@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.11">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@variables.0"/>
+          <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@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.22">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries atLeastTwoInterferometryPayloads" annotations="//@annotations.24">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
     <variables name="parameter Mission">
       <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
@@ -1115,26 +1194,26 @@
         </quantifiedVariables>
         <expression 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.12/@variables.0"/>
             <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
           </operands>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.0"/>
+          <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>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.1"/>
+          <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>
           <operands xsi:type="language_1:Distinct">
-            <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 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>
         </expression>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries spacecraftWithInterferometryPayload" annotations="//@annotations.23">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries spacecraftWithInterferometryPayload" annotations="//@annotations.25">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
     <variables name="parameter Mission">
@@ -1146,26 +1225,26 @@
     <value xsi:type="language_1:Or">
       <operands xsi:type="language_1:Exists">
         <quantifiedVariables name="variable Payload">
-          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.1"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.1"/>
           </operands>
           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.1"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.0"/>
+            <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"/>
           </operands>
           <operands xsi:type="language_1:InstanceOf">
-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.0"/>
-            <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@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.24">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries noLinkToGroundStation" annotations="//@annotations.26">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
     <variables name="parameter Spacecraft">
       <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
@@ -1180,46 +1259,255 @@
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@value/@operands.0/@quantifiedVariables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@value/@operands.0/@quantifiedVariables.1"/>
+            <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"/>
           </operands>
           <operands xsi:type="language_1:InstanceOf">
-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@value/@operands.0/@quantifiedVariables.1"/>
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@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.13/@value/@operands.0/@quantifiedVariables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.0"/>
+            <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"/>
+          </operands>
+          <operands xsi:type="language_1:InstanceOf">
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@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>
+          </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">
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
+    <variables name="parameter Spacecraft">
+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
+    </variables>
+    <value xsi:type="language_1:Or">
+      <operands xsi:type="language_1:Exists">
+        <quantifiedVariables name="variable Mission">
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
+        </quantifiedVariables>
+        <quantifiedVariables name="variable GroundStation">
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
+        </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"/>
+          </operands>
+          <operands xsi:type="language_1:InstanceOf">
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@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"/>
           </operands>
           <operands xsi:type="language_1:InstanceOf">
-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.0"/>
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@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.15">
-              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.0"/>
-              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@value/@operands.0/@quantifiedVariables.1"/>
+            <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>
           </operands>
         </expression>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries communicationLoop" annotations="//@annotations.25">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries indirectLinkAllowed" annotations="//@annotations.28">
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
+    <variables name="parameter From">
+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
+    </variables>
+    <variables name="parameter To">
+      <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:TransitiveClosure" relation="//@relations.17"/>
+      </operands>
+    </value>
+  </relations>
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries linkAllowed" annotations="//@annotations.29">
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
+    <variables name="parameter From">
+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
+    </variables>
+    <variables name="parameter To">
+      <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 0">
+          <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>
+          <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>
+          </operands>
+        </expression>
+      </operands>
+      <operands xsi:type="language_1:Exists">
+        <quantifiedVariables name="variable virtual0">
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
+        </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"/>
+            <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>
+          <operands xsi:type="language_1:InstanceOf">
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/>
+            <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
+          </operands>
+        </expression>
+      </operands>
+      <operands xsi:type="language_1:Exists">
+        <quantifiedVariables name="variable 0">
+          <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>
+          <operands xsi:type="language_1:InstanceOf">
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@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"/>
+            <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">
+    <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"/>
+    <variables name="parameter From">
+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
+    </variables>
+    <variables name="parameter To">
+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
+    </variables>
+    <variables name="parameter Band">
+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
+    </variables>
+    <value xsi:type="language_1:Or">
+      <operands xsi:type="language_1:Exists">
+        <quantifiedVariables name="variable Gain">
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
+        </quantifiedVariables>
+        <quantifiedVariables name="variable virtual0">
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
+        </quantifiedVariables>
+        <quantifiedVariables name="variable virtual2">
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
+        </quantifiedVariables>
+        <quantifiedVariables name="variable virtual4">
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
+        </quantifiedVariables>
+        <quantifiedVariables name="variable virtual6">
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
+        </quantifiedVariables>
+        <expression xsi:type="language_1:And">
+          <operands xsi:type="language_1:InstanceOf">
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@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"/>
+          </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>
+          <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"/>
+          </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>
+          <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"/>
+          </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>
+          <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"/>
+          </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>
+        </expression>
+      </operands>
+    </value>
+  </relations>
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries cubeSat3U" annotations="//@annotations.31">
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
+    <variables name="parameter Sat">
+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
+    </variables>
+    <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"/>
+          <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">
     <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.15">
-          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/>
-          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/>
+        <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>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries indirectCommunicationLink" annotations="//@annotations.26">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries indirectCommunicationLink" annotations="//@annotations.33">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
     <variables name="parameter Source">
@@ -1230,11 +1518,11 @@
     </variables>
     <value xsi:type="language_1:Or">
       <operands xsi:type="language_1:And">
-        <operands xsi:type="language_1:TransitiveClosure" relation="//@relations.16"/>
+        <operands xsi:type="language_1:TransitiveClosure" relation="//@relations.22"/>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries directCommunicationLink" annotations="//@annotations.27">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries directCommunicationLink" annotations="//@annotations.34">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
     <variables name="parameter Source">
@@ -1246,387 +1534,387 @@
     <value xsi:type="language_1:Or">
       <operands xsi:type="language_1:Exists">
         <quantifiedVariables name="variable Link">
-          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
         </quantifiedVariables>
         <quantifiedVariables name="variable SourceSubsystem">
-          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
         </quantifiedVariables>
         <quantifiedVariables name="variable TargetSubsystem">
-          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+          <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.16/@value/@operands.0/@quantifiedVariables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.1"/>
+            <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.16/@value/@operands.0/@quantifiedVariables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.2"/>
+            <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"/>
           </operands>
           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
-            <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"/>
+            <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"/>
           </operands>
           <operands xsi:type="language_1:InstanceOf">
-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.1"/>
-            <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@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.16/@variables.1"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.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"/>
           </operands>
           <operands xsi:type="language_1:InstanceOf">
-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@value/@operands.0/@quantifiedVariables.2"/>
-            <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@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.28">
-    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetBand" annotations="//@annotations.35">
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
     <variables name="parameter Link">
-      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
+      <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 SourceSubsystem">
-          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
         </quantifiedVariables>
         <quantifiedVariables name="variable TargetSubsystem">
-          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
         </quantifiedVariables>
         <quantifiedVariables name="variable Band">
-          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/>
+          <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.17/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.0"/>
+            <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.17/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.1"/>
+            <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"/>
           </operands>
           <operands xsi:type="language_1:InstanceOf">
-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.1"/>
-            <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.1"/>
+            <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
           </operands>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
-            <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.2"/>
+          <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>
           <operands xsi:type="language_1:Not">
-            <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18">
-              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.1"/>
-              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.2"/>
+            <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>
           </operands>
         </expression>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemBand" annotations="//@annotations.29">
-    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
-    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/>
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemBand" annotations="//@annotations.36">
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
     <variables name="parameter Comm">
-      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
     </variables>
     <variables name="parameter Band">
-      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/>
+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
     </variables>
     <value xsi:type="language_1:Or">
       <operands xsi:type="language_1:And">
-        <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
-          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.0"/>
-          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.1"/>
+        <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>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetGain" annotations="//@annotations.30">
-    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetGain" annotations="//@annotations.37">
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
     <variables name="parameter Link">
-      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
+      <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 SourceSubsystem">
-          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
         </quantifiedVariables>
         <quantifiedVariables name="variable TargetSubsystem">
-          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
         </quantifiedVariables>
         <quantifiedVariables name="variable Gain">
-          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
+          <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.19/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.0"/>
+            <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.19/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@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.1"/>
           </operands>
           <operands xsi:type="language_1:InstanceOf">
-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.1"/>
-            <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+            <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.19/@value/@operands.0/@quantifiedVariables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@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.20">
-              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.1"/>
-              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@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 commSubsystemGain" annotations="//@annotations.31">
-    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
-    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemGain" annotations="//@annotations.38">
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
     <variables name="parameter Comm">
-      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
     </variables>
     <variables name="parameter Gain">
-      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.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.20/@variables.0"/>
-          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@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 uhfAntennaGainNotLow" annotations="//@annotations.32">
-    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries uhfAntennaGainNotLow" annotations="//@annotations.39">
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
     <variables name="parameter Comm">
-      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
     </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.12"/>
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
           <operands xsi:type="language_1:Equals">
-            <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.0"/>
+            <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@value/@operands.0/@quantifiedVariables.0"/>
             <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/>
           </operands>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.0"/>
+          <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>
           <operands xsi:type="language_1:Not">
-            <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22">
-              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.0"/>
+            <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.28">
+              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@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.33">
-    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemGainLow" annotations="//@annotations.40">
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
     <variables name="parameter Comm">
-      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
     </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.13"/>
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
           <operands xsi:type="language_1:Equals">
-            <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/>
+            <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.28/@value/@operands.0/@quantifiedVariables.0"/>
             <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.3"/>
           </operands>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/>
+          <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>
         </expression>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries xAntennaGainNotMedium" annotations="//@annotations.34">
-    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries xAntennaGainNotMedium" annotations="//@annotations.41">
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
     <variables name="parameter Comm">
-      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
     </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.12"/>
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
           <operands xsi:type="language_1:Equals">
-            <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@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.1"/>
           </operands>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
-            <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 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>
           <operands xsi:type="language_1:Not">
-            <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24">
-              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@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 commSubsystemGainMedium" annotations="//@annotations.35">
-    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemGainMedium" annotations="//@annotations.42">
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
     <variables name="parameter Comm">
-      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
     </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.13"/>
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
           <operands xsi:type="language_1:Equals">
-            <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@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.4"/>
           </operands>
-          <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/@value/@operands.0/@quantifiedVariables.0"/>
+          <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>
         </expression>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries kaAntennaGainLow" annotations="//@annotations.36">
-    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries kaAntennaGainLow" annotations="//@annotations.43">
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
     <variables name="parameter Comm">
-      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
     </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.12"/>
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
         </quantifiedVariables>
         <quantifiedVariables name="variable virtual2">
-          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/>
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
           <operands xsi:type="language_1:Equals">
-            <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@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.2"/>
           </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.0"/>
+          <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>
           <operands xsi:type="language_1:Equals">
-            <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.1"/>
+            <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.31/@value/@operands.0/@quantifiedVariables.1"/>
             <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.3"/>
           </operands>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
-            <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 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>
         </expression>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries threeUCubeSatWithNonUhfCrossLink" annotations="//@annotations.37">
-    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries threeUCubeSatWithNonUhfCrossLink" annotations="//@annotations.44">
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
     <variables name="parameter Sat">
-      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
     </variables>
     <value xsi:type="language_1:Or">
       <operands xsi:type="language_1:Exists">
         <quantifiedVariables name="variable SourceComm">
-          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
         </quantifiedVariables>
         <quantifiedVariables name="variable Link">
-          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
         </quantifiedVariables>
         <quantifiedVariables name="variable TargetComm">
-          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
         </quantifiedVariables>
         <quantifiedVariables name="variable Target">
           <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
           <operands xsi:type="language_1:InstanceOf">
-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.0"/>
-            <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@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.26/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.0"/>
+            <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>
           <operands xsi:type="language_1:Not">
-            <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27">
-              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.0"/>
+            <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.33">
+              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@value/@operands.0/@quantifiedVariables.0"/>
             </operand>
           </operands>
           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.1"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.0"/>
+            <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>
           <operands xsi:type="language_1:InstanceOf">
-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.0"/>
-            <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@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.26/@value/@operands.0/@quantifiedVariables.1"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.2"/>
+            <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>
           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.3"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.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"/>
           </operands>
           <operands xsi:type="language_1:InstanceOf">
-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.2"/>
-            <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@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.28">
-              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.3"/>
+            <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.34">
+              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32/@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.38">
-    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemBandUhf" annotations="//@annotations.45">
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
     <variables name="parameter Comm">
-      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
     </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.12"/>
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
         </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.33/@value/@operands.0/@quantifiedVariables.0"/>
             <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.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.0"/>
+          <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>
         </expression>
       </operands>
     </value>
   </relations>
-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries groundStationNetwork" annotations="//@annotations.39">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries groundStationNetwork" annotations="//@annotations.46">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
     <variables name="parameter Network">
       <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
@@ -1634,13 +1922,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.28/@variables.0"/>
+          <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.34/@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.40">
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries cubeSatWithKaAntenna" annotations="//@annotations.47">
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
     <variables name="parameter Spacecraft">
       <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
@@ -1648,62 +1936,107 @@
     <value xsi:type="language_1:Or">
       <operands xsi:type="language_1:Exists">
         <quantifiedVariables name="variable virtual0">
-          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/>
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/>
         </quantifiedVariables>
         <quantifiedVariables name="variable virtual1">
-          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
         </quantifiedVariables>
         <expression xsi:type="language_1:And">
           <operands xsi:type="language_1:InstanceOf">
-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@variables.0"/>
+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.35/@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.29/@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.2"/>
           </operands>
           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@variables.0"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@value/@operands.0/@quantifiedVariables.1"/>
+            <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"/>
           </operands>
-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@value/@operands.0/@quantifiedVariables.1"/>
-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29/@value/@operands.0/@quantifiedVariables.0"/>
+          <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>
           <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.36">
+              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.35/@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.41">
-    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains satellite queries smallSat" annotations="//@annotations.48">
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
     <variables name="parameter Sat">
-      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
+    </variables>
+    <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"/>
+          <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">
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
+    <variables name="parameter Spacecraft">
+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
+    </variables>
+    <variables name="parameter Kind">
+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/>
     </variables>
     <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.30/@variables.0"/>
-          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
+          <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.37/@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"/>
+          <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"/>
+          <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"/>
+          <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"/>
+          <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"/>
+          <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.8"/>
         </operands>
       </operands>
     </value>
   </relations>
-  <elements name="UHF literal TransceiverBand" definedInType="//@types.12"/>
-  <elements name="X literal TransceiverBand" definedInType="//@types.12"/>
-  <elements name="Ka literal TransceiverBand" definedInType="//@types.12"/>
-  <elements name="LOW literal AntennaGain" definedInType="//@types.13"/>
-  <elements name="MEDIUM literal AntennaGain" definedInType="//@types.13"/>
-  <elements name="HIGH literal AntennaGain" definedInType="//@types.13"/>
-  <elements name="o 1" definedInType="//@types.14 //@types.16"/>
-  <elements name="o 2" definedInType="//@types.18 //@types.20"/>
-  <elements name="o 3" definedInType="//@types.22"/>
-  <elements name="o 4" definedInType="//@types.22"/>
-  <containmentHierarchies typesOrderedInHierarchy="//@types.2 //@types.0 //@types.1 //@types.9 //@types.7 //@types.10 //@types.3 //@types.6 //@types.8 //@types.11 //@types.5 //@types.4 //@types.14 //@types.15 //@types.16 //@types.17 //@types.18 //@types.19 //@types.20 //@types.21 //@types.22 //@types.23" containmentRelations="//@relations.0 //@relations.1 //@relations.2 //@relations.3 //@relations.4"/>
+  <elements name="UHF literal TransceiverBand" definedInType="//@types.13"/>
+  <elements name="X literal TransceiverBand" definedInType="//@types.13"/>
+  <elements name="Ka literal TransceiverBand" definedInType="//@types.13"/>
+  <elements name="LOW literal AntennaGain" definedInType="//@types.14"/>
+  <elements name="MEDIUM literal AntennaGain" definedInType="//@types.14"/>
+  <elements name="HIGH literal AntennaGain" definedInType="//@types.14"/>
+  <elements name="CubeSat3U literal SpacecraftKind" definedInType="//@types.15"/>
+  <elements name="CubeSat6U literal SpacecraftKind" definedInType="//@types.15"/>
+  <elements name="SmallSat literal SpacecraftKind" definedInType="//@types.15"/>
+  <elements name="o 1" definedInType="//@types.16 //@types.18"/>
+  <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"/>
   <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"/>
@@ -1720,40 +2053,51 @@
   <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="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.16" targetRelation="//@relations.0"/>
-  <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.17" targetRelation="//@relations.2"/>
-  <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.18" targetRelation="//@relations.7"/>
-  <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.19" targetRelation="//@relations.8"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.9" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.communicationLinkDoesNotStartAtContainingElement"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.10" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.notEnoughInterferometryPayloads"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.11" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.atLeastTwoInterferometryPayloads"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.12" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.spacecraftWithInterferometryPayload"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.13" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.noLinkToGroundStation"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.14" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.communicationLoop"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.15" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.indirectCommunicationLink"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.16" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.directCommunicationLink"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.17" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.incompatibleSourceAndTargetBand"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.18" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemBand"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.19" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.incompatibleSourceAndTargetGain"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.20" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemGain"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.21" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.uhfAntennaGainNotLow"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.22" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemGainLow"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.23" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.xAntennaGainNotMedium"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.24" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemGainMedium"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.25" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.kaAntennaGainLow"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.26" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.threeUCubeSatWithNonUhfCrossLink"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.27" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.commSubsystemBandUhf"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.28" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.groundStationNetwork"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.29" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.cubeSatWithKaAntenna"/>
-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.30" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.smallSat"/>
-  <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.20" query="//@annotations.20"/>
-  <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.21" query="//@annotations.24"/>
-  <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.22" query="//@annotations.25"/>
-  <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.23" query="//@annotations.28"/>
-  <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.24" query="//@annotations.30"/>
-  <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.25" query="//@annotations.32"/>
-  <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.26" query="//@annotations.34"/>
-  <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.27" query="//@annotations.36"/>
+  <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="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="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.28" query="//@annotations.37"/>
-  <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.29" query="//@annotations.40"/>
+  <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"/>
 </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 e458c179..6589a3ca 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,11 +1,11 @@
 <?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="5" maxNewElements="10">
+<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">
   <problem href="outputs/debug/generation.logicproblem#/"/>
   <partialrelationinterpretation>
     <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.0"/>
     <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink">
-      <param1 href="outputs/debug/generation.logicproblem#//@elements.6"/>
-      <param2 href="outputs/debug/generation.logicproblem#//@elements.7"/>
+      <param1 href="outputs/debug/generation.logicproblem#//@elements.9"/>
+      <param2 href="outputs/debug/generation.logicproblem#//@elements.10"/>
     </relationlinks>
     <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.0/@parameters.0"/>
     <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.0/@parameters.1"/>
@@ -18,12 +18,12 @@
   <partialrelationinterpretation>
     <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.2"/>
     <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink">
-      <param1 href="outputs/debug/generation.logicproblem#//@elements.7"/>
-      <param2 href="outputs/debug/generation.logicproblem#//@elements.8"/>
+      <param1 href="outputs/debug/generation.logicproblem#//@elements.10"/>
+      <param2 href="outputs/debug/generation.logicproblem#//@elements.11"/>
     </relationlinks>
     <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink">
-      <param1 href="outputs/debug/generation.logicproblem#//@elements.7"/>
-      <param2 href="outputs/debug/generation.logicproblem#//@elements.9"/>
+      <param1 href="outputs/debug/generation.logicproblem#//@elements.10"/>
+      <param2 href="outputs/debug/generation.logicproblem#//@elements.12"/>
     </relationlinks>
     <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.2/@parameters.0"/>
     <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.2/@parameters.1"/>
@@ -50,29 +50,34 @@
   </partialrelationinterpretation>
   <partialrelationinterpretation>
     <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.7"/>
+    <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.7/@parameters.0"/>
+    <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.7/@parameters.1"/>
+  </partialrelationinterpretation>
+  <partialrelationinterpretation>
+    <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.8"/>
     <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink">
-      <param1 href="outputs/debug/generation.logicproblem#//@elements.8"/>
+      <param1 href="outputs/debug/generation.logicproblem#//@elements.11"/>
       <param2 href="outputs/debug/generation.logicproblem#//@elements.1"/>
     </relationlinks>
     <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink">
-      <param1 href="outputs/debug/generation.logicproblem#//@elements.9"/>
+      <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.7/@parameters.0"/>
-    <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.7/@parameters.1"/>
+    <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.8"/>
+    <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.9"/>
     <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink">
-      <param1 href="outputs/debug/generation.logicproblem#//@elements.8"/>
+      <param1 href="outputs/debug/generation.logicproblem#//@elements.11"/>
       <param2 href="outputs/debug/generation.logicproblem#//@elements.4"/>
     </relationlinks>
     <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink">
-      <param1 href="outputs/debug/generation.logicproblem#//@elements.9"/>
+      <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.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>
   <newElements xsi:type="partialinterpretation:BooleanElement" name="true" valueSet="true" value="true"/>
   <newElements xsi:type="partialinterpretation:BooleanElement" name="false" valueSet="true"/>
@@ -81,62 +86,65 @@
   <partialtypeinterpratation xsi:type="partialinterpretation:PartialRealInterpretation" elements="//@openWorldElements.1"/>
   <partialtypeinterpratation xsi:type="partialinterpretation:PartialStringInterpretation" elements="//@openWorldElements.2"/>
   <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.0">
-    <elements href="outputs/debug/generation.logicproblem#//@elements.6"/>
+    <elements href="outputs/debug/generation.logicproblem#//@elements.9"/>
     <interpretationOf href="outputs/debug/generation.logicproblem#//@types.0"/>
   </partialtypeinterpratation>
   <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.1" supertypeInterpretation="//@partialtypeinterpratation.4">
-    <elements href="outputs/debug/generation.logicproblem#//@elements.6"/>
+    <elements href="outputs/debug/generation.logicproblem#//@elements.9"/>
     <interpretationOf href="outputs/debug/generation.logicproblem#//@types.1"/>
   </partialtypeinterpratation>
   <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.2">
-    <elements href="outputs/debug/generation.logicproblem#//@elements.7"/>
+    <elements href="outputs/debug/generation.logicproblem#//@elements.10"/>
     <interpretationOf href="outputs/debug/generation.logicproblem#//@types.2"/>
   </partialtypeinterpratation>
   <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.3" supertypeInterpretation="//@partialtypeinterpratation.6">
-    <elements href="outputs/debug/generation.logicproblem#//@elements.7"/>
+    <elements href="outputs/debug/generation.logicproblem#//@elements.10"/>
     <interpretationOf href="outputs/debug/generation.logicproblem#//@types.3"/>
   </partialtypeinterpratation>
-  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.4" supertypeInterpretation="//@partialtypeinterpratation.6 //@partialtypeinterpratation.18">
+  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.4" supertypeInterpretation="//@partialtypeinterpratation.6 //@partialtypeinterpratation.19">
     <interpretationOf href="outputs/debug/generation.logicproblem#//@types.4"/>
   </partialtypeinterpratation>
-  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.5" supertypeInterpretation="//@partialtypeinterpratation.8 //@partialtypeinterpratation.6 //@partialtypeinterpratation.18">
+  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.5">
+    <elements href="outputs/debug/generation.logicproblem#//@elements.11"/>
+    <elements href="outputs/debug/generation.logicproblem#//@elements.12"/>
     <interpretationOf href="outputs/debug/generation.logicproblem#//@types.5"/>
   </partialtypeinterpratation>
-  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.6" supertypeInterpretation="//@partialtypeinterpratation.8 //@partialtypeinterpratation.6 //@partialtypeinterpratation.18">
+  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.6">
     <interpretationOf href="outputs/debug/generation.logicproblem#//@types.6"/>
   </partialtypeinterpratation>
-  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.7" supertypeInterpretation="//@partialtypeinterpratation.8 //@partialtypeinterpratation.6 //@partialtypeinterpratation.18">
+  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.7">
     <interpretationOf href="outputs/debug/generation.logicproblem#//@types.7"/>
   </partialtypeinterpratation>
-  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.8">
-    <elements href="outputs/debug/generation.logicproblem#//@elements.8"/>
-    <elements href="outputs/debug/generation.logicproblem#//@elements.9"/>
+  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.8" supertypeInterpretation="//@partialtypeinterpratation.11">
     <interpretationOf href="outputs/debug/generation.logicproblem#//@types.8"/>
   </partialtypeinterpratation>
-  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.9">
+  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.9" supertypeInterpretation="//@partialtypeinterpratation.16 //@partialtypeinterpratation.8 //@partialtypeinterpratation.6 //@partialtypeinterpratation.19">
     <interpretationOf href="outputs/debug/generation.logicproblem#//@types.9"/>
   </partialtypeinterpratation>
-  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.10">
+  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.10" supertypeInterpretation="//@partialtypeinterpratation.16 //@partialtypeinterpratation.8 //@partialtypeinterpratation.6 //@partialtypeinterpratation.19">
     <interpretationOf href="outputs/debug/generation.logicproblem#//@types.10"/>
   </partialtypeinterpratation>
-  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.11" supertypeInterpretation="//@partialtypeinterpratation.14">
+  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.11" supertypeInterpretation="//@partialtypeinterpratation.8 //@partialtypeinterpratation.6 //@partialtypeinterpratation.19">
     <interpretationOf href="outputs/debug/generation.logicproblem#//@types.11"/>
   </partialtypeinterpratation>
-  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.12" supertypeInterpretation="//@partialtypeinterpratation.4">
-    <interpretationOf href="outputs/debug/generation.logicproblem#//@types.15"/>
+  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.12" supertypeInterpretation="//@partialtypeinterpratation.8 //@partialtypeinterpratation.6 //@partialtypeinterpratation.19">
+    <interpretationOf href="outputs/debug/generation.logicproblem#//@types.12"/>
   </partialtypeinterpratation>
-  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.13" supertypeInterpretation="//@partialtypeinterpratation.5 //@partialtypeinterpratation.4 //@partialtypeinterpratation.16">
+  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.13" supertypeInterpretation="//@partialtypeinterpratation.4">
     <interpretationOf href="outputs/debug/generation.logicproblem#//@types.17"/>
   </partialtypeinterpratation>
-  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.14" supertypeInterpretation="//@partialtypeinterpratation.6">
+  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.14" supertypeInterpretation="//@partialtypeinterpratation.5 //@partialtypeinterpratation.4 //@partialtypeinterpratation.17">
     <interpretationOf href="outputs/debug/generation.logicproblem#//@types.19"/>
   </partialtypeinterpratation>
-  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.15" supertypeInterpretation="//@partialtypeinterpratation.7 //@partialtypeinterpratation.6 //@partialtypeinterpratation.18">
+  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.15" supertypeInterpretation="//@partialtypeinterpratation.6">
     <interpretationOf href="outputs/debug/generation.logicproblem#//@types.21"/>
   </partialtypeinterpratation>
-  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.16" supertypeInterpretation="//@partialtypeinterpratation.12">
+  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.16" supertypeInterpretation="//@partialtypeinterpratation.7 //@partialtypeinterpratation.6 //@partialtypeinterpratation.19">
     <interpretationOf href="outputs/debug/generation.logicproblem#//@types.23"/>
   </partialtypeinterpratation>
+  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.17" supertypeInterpretation="//@partialtypeinterpratation.9">
+    <interpretationOf href="outputs/debug/generation.logicproblem#//@types.25"/>
+  </partialtypeinterpratation>
   <openWorldElements xsi:type="partialinterpretation:IntegerElement" name="New Integers"/>
   <openWorldElements xsi:type="partialinterpretation:RealElement" name="New Reals"/>
   <openWorldElements xsi:type="partialinterpretation:StringElement" name="New Strings"/>
@@ -158,4 +166,5 @@
   <scopes targetTypeInterpretation="//@partialtypeinterpratation.18"/>
   <scopes targetTypeInterpretation="//@partialtypeinterpratation.19"/>
   <scopes targetTypeInterpretation="//@partialtypeinterpratation.20"/>
+  <scopes targetTypeInterpretation="//@partialtypeinterpratation.21"/>
 </partialinterpretation:PartialInterpretation>