Combining topological and size information for spatial reasoning