Assertion list for term "crush at least five vehicles".

Results from Ascent++: 1
highway CapableOfcrush at least five vehicles 0.16