Assertion list
average (primary) → HasA
Results from Ascent++: 2
average → HasA → real meaning 0.25
average → HasA → few components 0.16