A plane is taxiing next to some water
The plane has landed in an arid desert.
The plane would not be next to some water if it is in an arid desert
exists e1 x1 x2.(to(e1,x2) & n_water(x2) & r_next(e1) & Actor(e1,x1) & v_taxi(e1) & n_plane(x1))
exists e1 s1 x1 x2.(n_plane(x1) & in(e1,x2) & n_desert(x2) & a_arid(s1) & Theme(s1,x2) & Actor(e1,x1) & v_land(e1))