Assertion list
darling (primary) → AtLocation
Results from Ascent++: 1
darling → AtLocation → goal 0.25