Two automobiles race each other and pour smoke from behind.
Two cars go fast
Cars can be called automobiles, and racing would imply that they are going fast.
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 s1 x1.(a_fast(s1) & Manner(e1,s1) & Actor(e1,x1) & v_go(e1) & n_car(x1) & card_eq_2(x1))