Assertion list
comma (primary) → HasA
Results from Ascent++: 1
comma → HasA → many uses 0.31