Assertion list
dismissal (primary) → HasA
Results from Ascent++: 2
dismissal → HasA → practical effect 0.25
dismissal → HasA → unfair 0.20