Data Repository item 2004074 1 Table DR 1: Formal Description of