Walega, P. Human-Like Spatial Reasoning Formalisms. AAAI 2017, 31.