Two race horses run down the track with number four ahead of number five.
The number five horse is catching up to the number four horse.
There is nothing to indicate that the number 5 horse is catching up.
exists e1 x1 x2 x3 x4 x5 x6.(n_track(x3) & down(e1,x3) & with(x3,x4) & n_four(x4) & of(x5,x6) & n_number(x6) & card_eq_5(x6) & ahead(x4,x5) & n_thing(x5) & n_number(x4) & Actor(e1,x1) & v_run(e1) & n_horse(x1) & of(x1,x2) & n_race(x2) & card_eq_2(x1))
exists e1 s1 x1 x2 x3.(n_horse(x1) & n_horse(x1) & card_eq_4(x1) & of(x1,x3) & n_number(x3) & card_eq_5(x1) & of(x1,x2) & n_number(x2) & a_up(s1) & Manner(e1,s1) & to(e1,x1) & Actor(e1,x1) & v_catch(e1))