\begin{schema}{R}
 A \\
 C
\ST
 s = \ran l
\end{schema}