Title: A system that reasons about objects and spaces in buildings