Re: [Nml-wg] NML Relations 1: formal definition