Assertion list for term "exit the highway".

Results from Ascent++: 1
driver CapableOfexit the highway 0.50