1 files changed, 7 insertions, 4 deletions

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql
index c1d3f7d3..1f83a3b0 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql
@@ -21,6 +21,13 @@ pattern transmittingGroundStationNetwork(Station : GroundStationNetwork) {
         find transmittingCommSubsystem(Station, _);
 }
 
+@Constraint(severity = "error", key = {Station},
+        message = "The ground station network may not have UHF communication subsystems.")
+pattern roundStationNetworkUHF(Station : GroundStationNetwork) {
+        CommunicatingElement.commSubsystem(Station, Comm);
+        UHFCommSubsystem(Comm);
+}
+
 // At least two spacecraft must have the interferometry payload configured
 
 @Constraint(severity = "error", key = {Mission},
@@ -97,10 +104,6 @@ private pattern cubeSat3U(Sat : CubeSat3U) {
         CubeSat3U(Sat);
 }
 
-private pattern cubeSat6U(Sat : CubeSat6U) {
-        CubeSat6U(Sat);
-}
-
 // No communication loops may exist
 // No spacecraft may directly communicate with itself