G. Wijnholds, “A proof-theoretic approach to scope ambiguity in compositional vector space models”, JLM, vol. 6, no. 2, pp. 261–286, Mar. 2019.