A green car parked near a crowded space.
The green car is driving down the freeway.
Paked and driving are total opposites as one means stationary and the other is moving.
exists e1 s1 s2 x1 x2.(near(e1,x2) & n_space(x2) & a_crowded(s2) & Theme(s2,x2) & Theme(e1,x1) & v_park(e1) & n_car(x1) & a_green(s1) & Theme(s1,x1))
exists e1 s1 s2 x1 x2.(n_freeway(x2) & n_car(x1) & a_green(s1) & Theme(s1,x1) & a_down(s2) & Manner(e1,s2) & Theme(e1,x2) & Actor(e1,x1) & v_drive(e1))