1.4.6 What's next

What's next?

For the remainder of this lecture, the following version of the three tasks listed earlier will be put into practise:

Task 1

Specify a DCG for the fragment of natural language of interest.

Task 2

Specify semantic representations for the lexical items with the help of the -calculus.

Task 3

Specify the translation of a syntactic item whose parts are and with the help of functional application. That is, specify which of the subparts is to be thought of as functor (here it's ), which as argument (here it's ) and then define to be , where is the translation of and is the translation of . Finally, apply -conversion as a post-processing step.