Three track runners are in the process of crossing the finish line during an Olympic type sporting event.
Three track runners cross the finish line in a three way tie during an Olympic type sporting event.
A three way tie is not the only way for track runners to cross the finish line.
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 e2 s1 x1 x2 x3 x4 x5 x6 x7 x8 x9.(n_line(x3) & of(x3,x4) & n_finish(x4) & 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) & in(e1,x5) & n_tie(x5) & of(x5,x6) & n_way(x6) & card_eq_3(x5) & Theme(e1,x3) & Actor(e1,x1) & v_cross(e1) & n_runner(x1) & of(x1,x2) & n_track(x2) & card_eq_3(x1))