Assertion list
scratch (primary) → HasA
Results from Ascent++: 2
scratch → HasA → depth 0.25
scratch → HasA → effect 0.25