Neck and neck to the finish line, every competitor has been training for this race.
The competitors are close to tying.
THEY ARE CLOSE
exists p1 s1 x1 x2 x3 x4 x6.(n_race(x6) & n_line(x3) & of(x3,x4) & n_finish(x4) & ne_nam_neck(x1) & a_topic(s1) & subset_of(x2,s1) & to(x2,x3) & all x5.(n_competitor(x5) -> exists e1.(for(e1,x6) & Actor(e1,x5) & v_train(e1))) & that(x3,p1) & n_neck(x2) & subset_of(x1,s1))
exists s1 x1 x2.(n_competitor(x1) & to(s1,x2) & n_tie(x2) & Theme(s1,x1) & a_close(s1))