Assertion list
circular (primary) → AtLocation
Results from Ascent++: 1
circular → AtLocation → force 0.36