Assertion list for term "block smooth traveling of the vehicle".

Results from Ascent++: 1
obstacle CapableOfblock smooth traveling of the vehicle 0.30