A man in red is walking multiple dogs.
the man is sitting on the top of the moon
The man cannot be walking dogs and be sitting on the moon at the same time.
exists e1 s1 x1 x2 x3.(Theme(e1,x3) & Actor(e1,x1) & v_walk(e1) & n_dog(x3) & a_multiple(s1) & Theme(s1,x3) & in(x1,x2) & n_red(x2) & n_man(x1))
exists e1 x1 x2 x3.(n_moon(x3) & n_top(x2) & n_man(x1) & on(e1,x2) & of(x2,x3) & Actor(e1,x1) & v_sit(e1))