\begin{tabular}{l@{\ $=$\ }l}
\hline
\multicolumn{2}{c}{}\\
\TE{\llb $E$ \lit{|} $Q$ \rlb }    & \TF{\llb $E$ \lit{|} $Q$ \rlb}\\
\multicolumn{2}{c}{}\\
\TF{\llb $E$ \lit{|} \rlb }    & \llb \TE{$E$}\rlb \\
\TF{\llb $E$ \lit{|} $B$ \lit{,} $Q$ \rlb } &
        \lit{if} \TE{$B$} \lit{then} \TF{\llb $E$ \lit{|} $Q$ \rlb }
                          \lit{else} \lit{[]} \\
\TF{\llb $E$ \lit{|} $P$ \lit{<-} $L$ \lit{,} $Q$ \rlb } &
\begin{minipage}[t]{2.5in}
\begin{tabbing}
        {\tt co}\={\tt ncat (map f \TE{$L$})}\+\\
        {\tt     where} \={\tt f $P$ = \TF{\llb $E$ \lit{|} $Q$ \rlb }}\+\\
        {\tt                   f \verb-_- = []}
\end{tabbing}
\end{minipage}\\
\hline
\end{tabular}
