Two men are pushing their boat out to sea.
Two men unloading their boat into the pond in front of them.
Just because two men are pushing their boat that does not mean that they are unloading it.
exists e1 x1 x2 x3.(to(e1,x3) & n_sea(x3) & r_out(e1) & Theme(e1,x2) & Actor(e1,x1) & v_push(e1) & n_boat(x2) & of(x2,x1) & n_thing(x1) & n_man(x1) & card_eq_2(x1))
exists e1 x1 x2 x3 x4 x5.(n_pond(x4) & a_topic(x1) & in(e1,x5) & of(x5,x1) & n_thing(x1) & n_thing(x1) & n_front(x5) & into(e1,x4) & Theme(e1,x3) & Actor(e1,x2) & v_unload(e1) & n_boat(x3) & of(x3,x1) & (x1 = x2) & n_man(x1) & card_eq_2(x1))