Assertion list for term "drive on highway".

Results from Ascent++: 1
car CapableOfdrive on highway 0.50