1 files changed, 7 insertions, 1 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 c7135562..c1d3f7d3 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
@@ -3,7 +3,7 @@ package hu.bme.mit.inf.dslreasoner.domains.satellite.queries
 import "http://www.example.org/satellite"
 
 @Constraint(severity = "error", key = {Element},
-        message = "A communicating element may not have two transmitting communication subsystems..")
+        message = "A communicating element may not have two transmitting communication subsystems.")
 pattern communicationLinkDoesNotStartAtContainingElement(Element : CommunicatingElement) {
         find transmittingCommSubsystem(Element, Comm1);
         find transmittingCommSubsystem(Element, Comm2);
@@ -15,6 +15,12 @@ private pattern transmittingCommSubsystem(Element : CommunicatingElement, Comm :
         CommSubsystem.target(Comm, _);
 }
 
+@Constraint(severity = "error", key = {Station},
+        message = "The ground station network may not have outgoing communication links.")
+pattern transmittingGroundStationNetwork(Station : GroundStationNetwork) {
+        find transmittingCommSubsystem(Station, _);
+}
+
 // At least two spacecraft must have the interferometry payload configured
 
 @Constraint(severity = "error", key = {Mission},