Assertion list
honeydew (primary) → HasA
Results from Ascent++: 2
honeydew → HasA → round 0.33
honeydew → HasA → seed 0.30