\begin{diagram}{For statement}{forstatement} \begin{mysyntdiag} \synt{for\ in\ statement} \lit*{for} \synt{control\ variable} \lit*{in} \synt{enumerable} \lit*{do} \synt{statement} \end{mysyntdiag} \begin{mysyntdiag} \synt{control\ variable} \synt{variable\ identifier} \end{mysyntdiag} \begin{mysyntdiag} \synt{enumerable} \begin{stack} \synt{enumerated\ type} \\ \synt{expression} \end{stack} \end{mysyntdiag} \end{diagram}