Three boys are racing against each other.
 Three boys are racing.
Racing implies against each other.
exists e1 x1.(all x2.(n_other(x2) -> against(e1,x2)) & Actor(e1,x1) & v_race(e1) & n_boy(x1) & card_eq_3(x1))
exists e1 x1.(Actor(e1,x1) & v_race(e1) & n_boy(x1) & card_eq_3(x1))