This paper describes an extension of the Glue semantics workbench by Messmer & Zymla (2018). In particular, we present a version of the workbench that can deal with (at least) semantic formalisms based on (Two-)Sorted Type Theory. We illustrate this by providing a semantic analysis of different constructions that involve quantification over the verb: adverbs, raising verbs, control verbs and attitude verbs. Furthermore, we describe some additional features of the workbench that aim at improving the workflow with the system.
January 10, 2020