Assertion list
elevation (primary) → HasA
Results from Ascent++: 2
elevation → HasA → snow 0.48
elevation → HasA → ice 0.33