Assertion list
discharge (primary) → AtLocation
Results from Ascent++: 1
discharge → AtLocation → their best interests 0.25