A white dog moving through red and white checkered poles.
a black dog pees on a fire hydrant.
The dog cannot be both black and white. Either he is moving through poles or stationary to pee on the fire hydrant.
exists e1 s1 s2 s3 s4 x1 x2 x3.(a_topic(x1) & through(e1,x3) & n_pole(x3) & a_checkered(s4) & Theme(s4,x3) & a_white(s3) & Theme(s3,x3) & a_red(s2) & Theme(s2,x3) & Actor(e1,x2) & v_move(e1) & (x1 = x2) & n_dog(x1) & a_white(s1) & Theme(s1,x1))
exists s1 x1 x2 x3 x4.(a_topic(x1) & on(x1,x3) & n_hydrant(x3) & of(x3,x4) & n_fire(x4) & n_pee(x1) & of(x1,x2) & n_dog(x2) & a_black(s1) & Theme(s1,x1))