Supervision.cql in activefacts-0.8.18

- old
+ new

@@ -30,8 +30,5 @@
  */
 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;
-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;