A community facility consisting of one or more swimming pools and other recreational amenities.
A public swimming pool.