Assertion list
dive (primary) → HasA
Results from Ascent++: 2
dive → HasA → strong current 0.35
dive → HasA → overhang 0.16