Assertion list
launch (primary) → AtLocation
Results from Ascent++: 1
launch → AtLocation → the end of the road 0.27