"gassnettoperatør" er et 16-bokstavers substantiv som brukes som synonym for "gassdistribusjonsselskap". gassdistribusjonsselskap betyr: Operatør av gassnettverk