A man is pulling a sled with two children on it.
The children pull the man in the sled.
Either the man is pulling the sled with two children on it, or the children pull the man in the sled.  Both cannot happen at the same time
exists e1 x1 x2 x3.(Theme(e1,x2) & Actor(e1,x1) & v_pull(e1) & with(x2,x3) & on(x3,x1) & n_thing(x1) & n_child(x3) & card_eq_2(x3) & n_sled(x2) & n_man(x1))
exists e1 x1 x2 x3.(n_sled(x3) & n_man(x2) & n_child(x1) & in(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_pull(e1))