Assertion list
ideal (primary) → HasA
Results from Ascent++: 2
ideal → HasA → two different inputs 0.32
ideal → HasA → sufficient size 0.25