A greyhound with a yellow and black striped jacket with a red number 8 on it is running on a track
The greyhound is leading the pack around the track and is the obvious winner.
The greyhound didn't have to be the obvious winner or leading the pack, he could have been losing the race.
exists e1 s1 s2 s3 s4 x1 x2 x3 x4.(on(e1,x4) & n_track(x4) & Actor(e1,x1) & v_run(e1) & with(x1,x2) & with(x2,x3) & n_8(x3) & on(x3,x1) & n_thing(x1) & n_number(x3) & a_red(s4) & Theme(s4,x3) & n_jacket(x2) & a_striped(s3) & Theme(s3,x2) & a_black(s2) & Theme(s2,x2) & a_yellow(s1) & Theme(s1,x2) & n_greyhound(x1))
exists e1 p1 s1 x1 x2 x3 x4.(n_winner(x4) & a_obvious(s1) & Theme(s1,x4) & n_greyhound(x1) & n_track(x3) & n_pack(x2) & (x1 = x4) & around(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_lead(e1))