Assertion list
elevator shaft (primary) → ReceivesAction
Results from Ascent++: 2
elevator shaft → ReceivesAction → framed 0.68
elevator shaft → ReceivesAction → poured to the roof 0.25