Assertion list for term "drive case".

Results from Ascent++: 1
led CapableOfdrive case 0.25