Assertion list
hail (primary) → HasA
Results from Ascent++: 1
hail → HasA → same effect 0.29