Annex F2 describes the static semantic constraints of SDL-2010, the mapping to the abstract grammar and the transformations identified by the 'Model' clauses of Recommendations ITU-T Z.101, Z.102, Z.103, Z.104, Z.105 and Z.107, that are included by reference in Recommendation ITU-T Z.100 Final version for SDL 2010.