A tan greyhound, number four, is running at the track.
A tan dog, number four, sits in the bleachers.
If the dog is running at the track, it is impossible for him to sit in the bleachers at the same time.
exists e1 s1 x1 x2 x3 x4.(n_track(x4) & at(e1,x4) & Actor(e1,x1) & v_run(e1) & rel(x1,x2) & n_thing(x2) & card_eq_4(x2) & of(x2,x3) & n_number(x3) & n_greyhound(x1) & a_tan(s1) & Theme(s1,x1))
exists e1 s1 x1 x2 x3 x4.(n_bleacher(x4) & in(e1,x4) & Actor(e1,x1) & v_sit(e1) & rel(x1,x2) & n_thing(x2) & card_eq_4(x2) & of(x2,x3) & n_number(x3) & n_dog(x1) & a_tan(s1) & Theme(s1,x1))