Two go-cart drivers are racing on the racetrack.
A go-cart is about to cross the finish line.
Just because two go karts are racing does not mean that one of them is about to cross the finish line.
exists e1 s1 x1 x2.(n_racetrack(x2) & on(e1,x2) & Actor(e1,x1) & v_race(e1) & n_driver(x1) & a_go-cart(s1) & Theme(s1,x1) & card_eq_2(x1))
exists p1 s1 x1 x2 x3.(n_line(x2) & of(x2,x3) & n_finish(x3) & Topic(s1,p1) & Actor(s1,x1) & a_about(s1) & exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_cross(e1)) & n_go-cart(x1))