This is a view of time square in New York.
This is a truck stop in the Nevada desert.
New York and the Nevada desert can't be in the same place.
exists p1 x1 x5 x6.(ne_geo_york(x5) & (x5 = x6) & ne_geo_new(x6) & n_thing(x1) & exists x2 x3 x4.((x1 = x2) & of(x2,x3) & in(x3,x5) & n_square(x3) & of(x3,x4) & n_time(x4) & n_view(x2)))
exists p1 x1 x4 x5.(n_desert(x4) & (x4 = x5) & ne_geo_nevada(x5) & n_thing(x1) & exists x2 x3.((x1 = x2) & in(x2,x4) & n_stop(x2) & of(x2,x3) & n_truck(x3)))