Nine black and brown pugs in harnesses playing on a grassy lawn.
The dogs are in the street.
The dogs and can not be in the grass playing and in the street at the same time.
exists e1 s1 s2 s3 x1 x2 x3 x4 x5.(a_topic(x1) & in(x1,x3) & on(e1,x5) & n_lawn(x5) & a_grassy(s3) & Theme(s3,x5) & Actor(e1,x4) & v_play(e1) & (x3 = x4) & n_harness(x3) & n_pug(x1) & a_brown(s2) & Theme(s2,x1) & a_black(s1) & Theme(s1,x1) & (x1 = x2) & ne_nam_nine(x2))
exists p1 x1 x2.(n_street(x2) & n_dog(x1) & in(x1,x2))