Assertion list
ply (primary) → AtLocation
Results from Ascent++: 1
ply → AtLocation → 3 main sections 0.25