Assertion list for term "arrive at next station".

Results from Ascent++: 1
train CapableOfarrive at next station 0.37