Two steeplechase horses, running parallel, make a obstacle leap, on the course with their riders.
The horses are racing each other.
Just because there are two steeplechase horses does not mean they are racing each other.
exists e2 e1 s1 x1 x2 x3 x4 x5 x6 x7.(n_rider(x7) & of(x7,x6) & n_thing(x6) & n_course(x6) & on(e2,x6) & with(x6,x7) & Theme(e2,x4) & Actor(e2,x1) & v_make(e2) & n_leap(x4) & of(x4,x5) & n_obstacle(x5) & Theme(e1,x3) & Actor(e1,x2) & v_run(e1) & n_parallel(x3) & (x1 = x2) & n_horse(x1) & a_steeplechase(s1) & Theme(s1,x1) & card_eq_2(x1))
exists x1.(n_horse(x1) & all x2.(n_other(x2) -> exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_race(e1))))