22.1 Outline the major differences between Pascal (or any other computer language with which you are familiar) and English, and the "understanding" problem in each case. Think about such things as grammar, syntax, semantics, pragmatics, compositionality, context-dependence, lexical ambiguity, syntactic ambiguity, reference-finding (including pronouns), background knowledge, and what it means to "understand" in the first place.

22.2 Which of the following are reasons for introducing a quasi-logical form?

a. To make it easier to write simple compositional grammar rules.

b. To extend the expressiveness of the semantic representation language.

c. To be able to represent quantifier scoping ambiguities (among others) in a succinct form.

d. To make it easier to do semantic disambiguation.