Assertion list
doughnut (primary) → HasA
Results from Ascent++: 1
doughnut → HasA → hole 0.47