Wijnholds, G. A Proof-Theoretic Approach to Scope Ambiguity in Compositional Vector Space Models. JLM 2019, 6, 261–286.