\fbox{\vbox{

\begin{tabular}{ll}                               
$lit \in Lit$	& \p{Literal Constants (object identifiers)}\\
\p{t $\in$ Temp} & \p{Temporary Variables} \\
\p{c $\in$ Cont} & \p{Continuation Variables} \\
\p{v $\in$ Var} & \p{Variables (Identifiers)} \\
\p{prim $\in$ Prim} & \p{Primitive Procedures (procedure constants)}\\
& \\
\p{val $\in$ Val} & \p{Values} \\
\p{abs $\in$ Abs} & \p{Abstractions}\\
\p{app $\in$ App} & \p{Applications}\\
\\
\end{tabular}

\begin{tabular}{lcll}                             
$v$   & $::=$ & $t$ $|$ $c$  &	\\
$val$ & $::=$ &	$lit$ $|$ $v$ $|$ $abs$ & \\
$abs$ & $::=$ & $\lambda(v_1..v_n)\,app$ & \p{n $\ge$ 0} \\
$app$ & $::=$ & $(val_0\,val_1..val_n)$ & \p{n $\ge$ 0} \\
      & $|$   & $(prim\,val_1..val_n)$ & \p{n $\ge$ 0}  
\end{tabular}

}}

