A car that has been in an accident on a city street with the front of the vehicle all crumpled up.
The car is significantly damaged from the accident.
A vehicle that is crumpled up is significantly damaged.
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 x5 x3 x6.(((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 s1 x1 x2.(n_accident(x2) & n_car(x1) & r_significantly(s1) & from(s1,x2) & Theme(s1,x1) & a_damage(s1))