[Nml-wg] NML Relations 1: formal definition