Word
donkey pump, n.
a supplementary pump available if needed
<noun.artifact>
auxiliary pump
donkey pump
semantic pointers
hypernym
pump