implemented as a method for generating a suitable set of translation
rules, which are in turn expressed in a simply-typed grammar.
-There is some work using System F to express generalization about
+There is some work using System F to express generalizations about
natural language: Ponvert, Elias. 2005. Polymorphism in English Logical
Grammar. In *Lambda Calculus Type Theory and Natural Language*: 47--60.