Assertion list
ax (primary) → HasA
Results from Ascent++: 1
ax → HasA → busy summer 0.16