Two cyclists racing to the finish line.
The cyclists were fierce rivals as they raced to the finish line.
The cyclists racing does not imply that they were fierce rivals.
exists e1 x1 x2 x3 x4.(n_line(x3) & of(x3,x4) & n_finish(x4) & a_topic(x1) & to(e1,x3) & Actor(e1,x2) & v_race(e1) & (x1 = x2) & n_cyclist(x1) & card_eq_2(x1))
exists p1 p2 x1 x3 x4.(n_line(x3) & of(x3,x4) & n_finish(x4) & n_thing(x1) & n_cyclist(x1) & exists e1.(to(e1,x3) & Actor(e1,x1) & v_race(e1)) & as(p1,p2) & exists s1 x2.((x1 = x2) & n_rival(x2) & a_fierce(s1) & Theme(s1,x2)))