A car that has been in an accident on a city street with the front of the vehicle all crumpled up.
The car avoided the accident by slamming on the brakes.
A car that has avoided the accident by slamming on the brakes would not have the front of the vehicle all crumpled up.
exists e1 p1 s1 x1 x2 x7 x8.(n_vehicle(x8) & n_front(x7) & a_up(s1) & Manner(e1,s1) & Actor(e1,x1) & v_crumple(e1) & all x4 x6 x3 x5.(((x3 = x4) & with(x4,x7) & of(x7,x8) & on(x4,x5) & n_street(x5) & of(x5,x6) & n_city(x6) & n_accident(x4)) -> in(x2,x3)) & (x1 = x2) & n_car(x1))
exists e1 e2 x1 x2 x3.(n_brake(x3) & n_accident(x2) & n_car(x1) & by(e1,e2) & on(e2,x3) & Actor(e2,x1) & v_slam(e2) & Theme(e1,x2) & Actor(e1,x1) & v_avoid(e1))