Arranca-sonda

Arranca-sonda

,
f.
Instrumento de mineração, para tirar as sondas de mina, quando estas
se entalam ou se partem nos furos.