Assertion list for term "run over with car".

Results from Ascent++: 1
wait CapableOfrun over with car 0.29