Assertion list
demonstrator (primary) → HasA
Results from Ascent++: 2
demonstrator → HasA → clear hood 0.25
demonstrator → HasA → clear sight of the scene 0.25