T3.6: The functional model is a formal model of the Subset26 reference document.