Assertion list
circle (primary) → Desires
Results from Ascent++: 1
circle → Desires → be whole 0.30