A four wheel drive car is splashing through puddles on an off road trail.
The car is four wheel drive.
Car is four wheel drive is a rephrase of four wheel drive car.
(x)
exists p1 x1.(n_car(x1) & exists x2 x3.((x1 = x2) & n_drive(x2) & of(x2,x3) & n_wheel(x3) & card_eq_4(x2)))