Moot, R. Combining Logical and Distributional Methods in Type-Logical Grammars. JLM 2019, 6, 287–317.