elementdescr -> <ElementDef ID="element ID" Name="..."> constraintexp </ElementDef>
(Note: some details are omitted in the grammars on the slides - see the specification.)