Firemen clean up the scene of a major motor vehicle accident, in which a sedan and a truck collided and are both smashed.
There has been a crash.
A motor vehicle accident is also called a crash.
(x)
exists p1 x1 x2.((x1 = x2) & n_crash(x2))