Assertion list
control tower (primary) → ReceivesAction

Results from Ascent++: 4
control towerReceivesAction closed 0.68
control towerReceivesAction submerged 0.68
control towerReceivesAction restored 0.25
control towerReceivesAction damaged in the earthquake 0.16