Neck and neck to the finish line, every competitor has been training for this race.
The competitors have trained very hard and are all very close to the finish line.
Neck and neck means very close, if the competitors have trained very hard then every competitor has been training.
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 e1 p1 s1 s2 x1 x2 x3.(n_line(x2) & of(x2,x3) & n_finish(x3) & n_competitor(x1) & a_all(s2) & Manner(s1,s2) & r_very(s1) & to(s1,x2) & Theme(s1,x1) & a_close(s1) & exists s3.(r_very(s3) & Theme(s3,x1) & a_hard(s3)) & Topic(e1,p1) & Actor(e1,x1) & v_train(e1))