an outdoor covered swimming pool next to a building