Assertion list
torus (primary) → HasA
Results from Ascent++: 2
torus → HasA → asymmetry 0.25
torus → HasA → hole 0.25