Semantic representations and semantic interpretation

Be able to translate natural language sentences into first-order logic with lambda expressions and reduce the lambda expressions to find the final form.