Assertion list for term "the end of the journey".
Results from Ascent++: 1
clock → AtLocation → the end of the journey 0.27