Assertion list for term "halt at the station".

Results from Ascent++: 1
train CapableOfhalt at the station 0.53