#pump_room  a pump house at a spa where medicinal waters are pumped and where patrons gather
  supertype:  #pump_house__pumping_station__pumpingstation  a house where pumps (e.g. to irrigate) are installed and operated
  part of:  #watering_place__watering_hole__spa  a health resort near a spring or at the seaside

No statement uses or specializes #pump_room; click here to add one.