Three track runners are in the process of crossing the finish line during an Olympic type sporting event.
Three runners cross the finish line at the same time.
Just because runners are in the process of crossing the finish line doesn't mean they cross the line at the same time.
exists p1 x1 x2 x3 x5 x6.(n_line(x5) & of(x5,x6) & n_finish(x6) & n_process(x3) & exists e1 e2 s1 x4 x7 x8 x9.(in(x1,x3) & during(e1,x7) & Theme(e2,x9) & Actor(e2,x8) & v_sport(e2) & n_event(x9) & (x7 = x8) & n_type(x7) & a_olympic(s1) & Theme(s1,x7) & Theme(e1,x5) & Actor(e1,x4) & v_cross(e1) & (x3 = x4)) & n_runner(x1) & of(x1,x2) & n_track(x2) & card_eq_3(x1))
exists e1 s1 x1 x2 x3 x4.(n_time(x4) & a_same(s1) & Theme(s1,x4) & n_line(x2) & of(x2,x3) & n_finish(x3) & at(e1,x4) & Theme(e1,x2) & Actor(e1,x1) & v_cross(e1) & n_runner(x1) & card_eq_3(x1))