Assertion list
comma (primary) → HasA

Results from Ascent++: 1
commaHasA many uses 0.31