The kitchen worker at a restaurant observes the dining room, including a man in a red jacket.
There is someone at the restaurant.
If someone is at a restaurant then they are also at the restaurant
(-x)
(-x)