"borefangst" er et 10-bokstavers substantiv som brukes som synonym for "boreresultat". boreresultat betyr: Fangst av data eller materiale under boring