Supervision.cql in activefacts-0.8.12

- old
+ new

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