#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.