Assertion list for term "drive at high speed".

Results from Ascent++: 1
car CapableOfdrive at high speed 0.52