Two automobiles race each other and pour smoke from behind.
Two cars sit at the mechanics
If the automobiles race each other they can't be at the mechanic
exists s1 s2 x1 x2.(a_topic(s1) & subset_of(x1,s1) & from(x1,x2) & n_behind(x2) & n_smoke(x1) & a_pour(s2) & Theme(s2,x1) & all x3.(n_other(x3) -> exists x4 x5.(subset_of(x4,s1) & for(x4,x3) & n_race(x4) & of(x4,x5) & n_automobile(x5) & card_eq_2(x4))))
exists e1 x1 x2.(n_mechanic(x2) & at(e1,x2) & Actor(e1,x1) & v_sit(e1) & n_car(x1) & card_eq_2(x1))