\[\begin{array}{lcl}
S &\longrightarrow& D\ $\\
D &\longrightarrow& C\ D'\\
D' &\longrightarrow& \orop C\ D' \mid \epsilon \\
C &\longrightarrow& A\ C' \\
C' &\longrightarrow& \andop A\ C' \mid \epsilon \\
A &\longrightarrow& \tt \mid \ff \mid \tm{id} \mid (D)
\end{array}\]