a pool with a building and a roof