The manager replies, “I can tell you the names of the men who are not insured, and all the data you may want to know about them.”
Mr. Adams says, “No, John, that won’t be enough, for I need to know whether there are any groups or classes that for some basic reason I should exclude from the change I am considering.”
So the manager goes to work with the following 5 statuses and the following 5 rules, and he produces the following answer. Our question is, “Is he right, or has he made a mistake?”
Statuses. A status for any employee is a report about that employee, answering all the following 5 questions with “yes” or “no.”
1. Is the employee eligible for insurance?
2. Has the employee applied for insurance?
3. Has the employee’s application for insurance been approved?
4. Does the employee require a medical examination for insurance?
5. Is the employee insured?
Rules. The rules applying to employees are: