资料来源 : Webster's Revised Unabridged Dictionary (1913)

Pumping \Pump"ing\,
   a. & n. from {pump}.

   {Pumping engine}, a steam engine and pump combined for
      raising water. See {Steam engine}.