A truck has just crashed into the back of another truck.
The truck is on the moon.
Truck that crashed can not be on the moon, that will be impossible.
exists e1 s1 x1 x2 x3.(n_back(x2) & a_just(s1) & Manner(e1,s1) & into(e1,x2) & of(x2,x3) & n_truck(x3) & -(x3 = x1) & n_truck(x1) & n_truck(x1) & Actor(e1,x1) & v_crash(e1))
exists p1 x1 x2.(n_moon(x2) & n_truck(x1) & on(x1,x2))