onso Gerevini and Jochett Renz. Combining topological and size information for spatial reason- ing. Artificial Intelligence, 137:2002, 2000. GSW05. Bernhard Canter, Gerd Stumme, and Rudolf Wille. Formal Concept Analysis: Foundations and Applications. Springer-Verlag, 2005. HB06. Jeff Hawkins and Sandra Blakes