[WG-UMA] For this week's WG call: draft formal legal model