"Gassoperatør" er et 12-bokstavers substantiv som brukes som synonym for "gassdistribusjonsselskapet". gassdistribusjonsselskapet betyr: Operatør av gassdistribusjonssystem