This paper presents extensions to XLE+Glue and the Glue semantics workbench. Concretely, it builds on Findlay & Haug’s (2022) idea of multistage proving. By combining their insights with techniques first described in Lev (2007), this paper provides a more flexible implementation of multistage proving. Furthermore, it presents an extension of XLE+Glue that allows users to integrate multistage proving into computational LFG grammars. Finally, the paper discusses some insights from working on ambiguity management and semantic grammar writing suggesting that full syntactic or semantic autonomy is a challenge for computational models of LFG.
Mark-Matthias Zymla (Wed,) studied this question.