A driver is at the wheel of a race car.
There is no wheel where the driver is, in a race car.
There either is or is not a wheel where the driver is.
exists p1 x1 x2.(n_wheel(x2) & exists x3 x4.(at(x1,x2) & of(x2,x3) & n_car(x3) & of(x3,x4) & n_race(x4)) & n_driver(x1))
exists p1 x1 x2 x3 x5.(n_driver(x5) & in(p1,x2) & n_car(x2) & of(x2,x3) & n_race(x3) & -exists p2 x4.((x1 = x4) & exists e1.(Actor(e1,x5) & v_be(e1)) & where(x4,p2) & n_wheel(x4)))