A man dressed in warm clothing sleds behind four dogs in the snow.
The man is swimming with his dogs.
The man cannot be both swimming with his dogs and dressed in warm clothing sledding behind his four dogs.
exists e1 s1 x1 x2 x3 x4 x5 x6.(n_snow(x6) & a_topic(x1) & in(e1,x6) & behind(e1,x5) & n_dog(x5) & card_eq_4(x5) & in(e1,x3) & n_sled(x3) & of(x3,x4) & n_clothing(x4) & a_warm(s1) & Theme(s1,x3) & Theme(e1,x2) & v_dress(e1) & (x1 = x2) & n_man(x1))
exists e1 x1 x2.(n_dog(x2) & of(x2,x1) & n_male(x1) & n_man(x1) & with(e1,x2) & Actor(e1,x1) & v_swim(e1))