Semantic parsing has made significant progress, but most current semantic parsers are extremely slow (CKY-based) and rather primitive in representation.
argmax is a polymorphic function, and to assign a correct type for it we have to introduce type variables: where type variable 'a is a place-holder for "any type".