Assertion list
hallway (primary) → IsA
Results from Ascent++: 2
hallway → IsA → space 0.40
hallway → IsA → room 0.37