A person sitting on a ledge using a machine to look out over the city.
the man looks put over the city
One looking out over a city from a ledge still looks out over a city. This is a necessary condition.
(-x)
(-x)