Assertion list
hallway (primary) → AtLocation
Results from Ascent++: 1
hallway → AtLocation → the front of the house 0.29