Answer four questions. Do not attempt to answer more than two questions simultaneously.
All questions carry equal marks.
25 marks will be awarded for each question attempted. PhDs will be awarded for any question correctly completed. Indicate how each sentence could be converted into 5th-order predicate calculus, with mechanisms to represent time and causality. The ATN should generate as well as parse all possible sentences which could be understood by an English speaker. The system should be capable of conversing in English with the user, and after identifying the disease, should explain its reasoning in terms which could be understood by a naive user, and recommend appropriate therapy.