"distriktssjef" er et 13-bokstavers substantiv som brukes som synonym for "lensmannskjønn". lensmannskjønn betyr: Sjef for et politidistrikt.