A black dog sniffing the ground near a body of water.
A white dog is sniffing the air on a porch.
The dog cannot be both black and white. The dog cannot be sniffing both the ground and the air at the same time.
exists e1 s1 x1 x2 x3 x4 x5.(n_ground(x3) & a_topic(x1) & Theme(e1,x3) & Actor(e1,x2) & v_sniff(e1) & near(x3,x4) & of(x4,x5) & n_water(x5) & n_body(x4) & (x1 = x2) & n_dog(x1) & a_black(s1) & Theme(s1,x1))
exists e1 s1 x1 x2 x3.(n_air(x2) & Theme(e1,x2) & Actor(e1,x1) & v_sniff(e1) & on(x2,x3) & n_porch(x3) & n_dog(x1) & a_white(s1) & Theme(s1,x1))