% vim: set spelllang=nl:
\newgeometry{left=25mm,right=25mm}
\section{Semantiekregels}
\label{sec:app:rules}

Een overzicht van de gedefinieerde regels voor de natuurlijke semantiek van
Smurf:

\FrameSep0pt
\begin{framed}
	\printrulefalse
	\setlength{\extrarowheight}{20pt}
	\begin{tabular}{l l}
		$\rlambdans$  & \therlambdans{} \\
		$\rcatns$     & \thercatns{} \\
		$\rexecns$    & \therexecns{} \\
		$\rgetns$     & \thergetns{} \\
		$\rheadns$    & \therheadns{} \\
		$\rinputns$   & \therinputns{} \\
		$\routputns$  & \theroutputns{} \\
		$\rpushns$    & \therpushns{} \\
		$\rputns$     & \therputns{} \\
		$\rquotifyns$ & \therquotifyns{} \\
		$\rtailns$    & \thertailns{} \\
	\end{tabular}
	\vspace{1cm}
	\printruletrue
\end{framed}

\restoregeometry
