Assertion list
circumference (primary) → AtLocation
Results from Ascent++: 1
circumference → AtLocation → embodiment 0.25