Assertion list for term "crash into river".

Results from Ascent++: 1
bus CapableOfcrash into river 0.25