|You have been given the job of writing
a simple symbolic AI processor which must read some facts and correctly
answer some questions. Fortunately, the facts and questions relate to specific
individuals, who belong to groups which act on other groups. The grammar
is very simple: there are two types of statements and one type of question,
and all group nouns are always plural.