Dobnik, S.; Cooper, R. Interfacing Language, Spatial Perception and Cognition in Type Theory With Records. JLM 2017, 5, 273–301.