bore out

To make a hole bigger or more precise using a special drilling machine.

"The mechanic had to bore out the engine cylinders to fit the larger pistons."

Im Kontext hören

Early Muslim Expansion Explained in 8 Hours - From Yarmouk to Tours

Kings and Generals · 433:58

but the battle itself bore out his supposed warning,

Mehr Beispiele ansehen →