Semantic representations and semantic interpretation

Be able to identify the semantic roles of a sentence by hand (or to know whether the semantic roles assigned by a software tool are correct or not). Be able to translate natural language sentences into first-order logic with lambda expressions and reduce the lambda expressions to find the final form. Be able to use NLTK functions to take a sentence represented as a sentence in first-order logic with lambda expressions, and reduce the lambda expressions to find the final form.