Supervision.cql in activefacts-0.8.9

- old
+ new

@@ -27,12 +27,13 @@
 
 /*
  * Constraints:
  */
 either Employee reports to Manager(1) or Employee is a Manager(2) that is a CEO that runs Company but not both;
-CEO runs Company
+Employee is a Manager that is a CEO that runs Company
 	if and only if
-	CEO is a kind of Manager that works for Company;
+	Employee works for Company;
+
 // This constraint cannot be expressed in NORMA until it adds explicit join paths:
 Employee(1) reports to Manager that is a kind of Employee(2) that works for Company
 	if and only if
 	Employee(1) works for Company;