A car and a minivan have collided.
A car accident that totals both vehicles.
Many collisions result in little or moderate damage, it cannot be inferred that the accident totals one vehicle or both of them.
exists e1 x1 x2 x3.(Actor(e1,x1) & v_collide(e1) & subset_of(x3,x1) & n_minivan(x3) & subset_of(x2,x1) & n_car(x2))
exists e1 x1 x2 x3 x4.(n_vehicle(x4) & a_topic(x1) & Theme(e1,x4) & Actor(e1,x3) & v_total(e1) & (x1 = x3) & n_accident(x1) & of(x1,x2) & n_car(x2))