"boreleder" er et 9-bokstavers substantiv som brukes som synonym for "offshorearbeider". offshorearbeider betyr: Leder for boreoperasjoner til havs.