A race car blows smoke while it drives.
A race car is getting loaded on the truck.
The race car can not be driving while simultaneously being loaded on the truck
exists e1 p1 x1 x2 x3.(exists e2.(Actor(e2,x1) & v_drive(e2)) & n_thing(x1) & while(e1,p1) & Actor(e1,x1) & v_smoke(e1) & n_blow(x1) & of(x1,x3) & n_car(x3) & of(x1,x2) & n_race(x2))
exists e1 p1 x1 x2 x3.(n_truck(x3) & exists e2.(on(e2,x3) & Theme(e2,x1) & v_load(e2)) & Topic(e1,p1) & Actor(e1,x1) & v_get(e1) & n_car(x1) & of(x1,x2) & n_race(x2))