Assertion list for term "arrive at next stop".

Results from Ascent++: 1
tram CapableOfarrive at next stop 0.30