Assertion list
round (primary) → IsA
Results from Ascent++: 1
round → IsA → shape 0.25