“…Somewhat orthogonally, Type Logical Grammars (TLGs) form highly compositional models of language by accurately modelling grammar, however they lack distributionality, in that such models do not accurately describe the distributional semantics of a word, only its grammatical role. Applications of type-logics with limited contraction and permutation to phenomena that witness discontinuities such as unbounded dependencies is a line of research initiated in [10,47], with a later boost in [43,44,46], and also more recently in [63]. Distributional Compositional Categorical Semantics (DisCoCat) [15] and the models of Preller [50,51], combine these two approaches using category theoretic methods, originally developed to model Quantum protocols.…”