A truck has just crashed into the back of another truck.
Two trucks are near each other.
Because two trucks crashed into each other, they are near each other.
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.(all x2.(n_other(x2) -> near(x1,x2)) & n_truck(x1) & card_eq_2(x1))