"operasjonsleder" er et 15-bokstavers substantiv som brukes som synonym for "etterretningsoffiser". etterretningsoffiser betyr: Person som leder hemmelige operasjoner.