Assertion list
sprinter (primary) → AtLocation
Results from Ascent++: 1
sprinter → AtLocation → the spotlight 0.30