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