Re: [Nml-wg] Transitivity of hasPort