Four men place cones into the back of a work truck.
After the work was done, the men placed the cones into the back of the truck.
the men placing the cones in the truck does not imply the work was done
exists e1 x1 x2 x3 x4 x5.(n_back(x3) & into(e1,x3) & of(x3,x4) & n_truck(x4) & of(x4,x5) & n_work(x5) & Theme(e1,x2) & Actor(e1,x1) & v_place(e1) & n_cone(x2) & n_man(x1) & card_eq_4(x1))
exists p1 p2 p3 x1 x2 x3 x4 x5.(n_truck(x5) & n_back(x4) & n_cone(x3) & n_man(x2) & n_work(x1) & exists e2.(into(e2,x4) & of(x4,x5) & Theme(e2,x3) & Actor(e2,x2) & v_place(e2)) & exists e1.(Theme(e1,x1) & v_do(e1)) & after(p2,p3))