Assertion list
red line (primary) → HasA
Results from Ascent++: 3
red line → HasA → 32 stops 0.34
red line → HasA → a ventilation system 0.25
red line → HasA → main depot 0.25