Assertion list
control room (primary) → HasA
Results from Ascent++: 2
control room → HasA → opening 0.25
control room → HasA → sight lines 0.25