S. Dobnik and R. Cooper, “Interfacing language, spatial perception and cognition in Type Theory with Records”, JLM, vol. 5, no. 2, pp. 273–301, Nov. 2017.