Assertion list
surfing (primary) → HasA
Results from Ascent++: 1
surfing → HasA → many aspects 0.16