a small swimming pool in the middle of a patio