From 955177b7db5bb2289a96742ce168c9c9064d5a55 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Mon, 27 Sep 2021 13:53:54 +0200
Subject: [PATCH] Clarify action of `core-service`

---
 schemas/service.prs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/schemas/service.prs b/schemas/service.prs
index bebe361..6e9e26c 100644
--- a/schemas/service.prs
+++ b/schemas/service.prs
@@ -40,6 +40,7 @@ State =
 ServiceDependency = <depends-on @depender any @dependee ServiceState>.
 
 ; Asserts that the service is a "core" service. If *not* specified for
-; a service X, the system acts as if `<depends-on X <service-state
-; <milestone core> running>>` were asserted.
+; a service X, where X is not `<milestone Y>` for some Y, the system
+; acts as if `<depends-on X <service-state <milestone core> running>>`
+; were asserted.
 ServiceMilestone = <core-service @serviceName any>.