Assertion list
circle (primary) → DefinedAs
Results from Ascent++: 1
circle → DefinedAs → shape 0.25