Assertion list
arcade (primary) → IsA
Results from Ascent++: 1
arcade → IsA → covered passageway 0.25