Assertion list
avalanche (primary) → HasA
Results from Ascent++: 3
avalanche → HasA → ice 0.35
avalanche → HasA → three main parts 0.25
avalanche → HasA → high hopes 0.16