13/53
\begin{frame}
\small

\begin{definition}
\smallskip
TRS $\RR$ over signature $\FF$
\begin{itemize}
\item
\makebox[3cm][l]{defined symbols}
$\alert<1>{\FF_\DD} ~=~ \{\:\rt(\ell) \mid \ell \to r \in \RR\:\}$
\item<2->
\makebox[3cm][l]{constructors}
$\alert<2>{\FF_\CC} ~=~ \FF \setminus \FF_\DD$
\smallskip
\end{itemize}
\end{definition}

\bigskip

\begin{block}<3->{More Interesting Combinations}
\smallskip
\begin{tikzpicture}
\path (0,0) rectangle (1,1.8);
\BlUE{
\draw (0.5,1.4) node {$(\GG,\SS)$};
}
\GREEN{
\draw (0.5,0.4) node {$(\FF,\RR)$};
}
\end{tikzpicture} &
\begin{tikzpicture}
\path (0,0) rectangle (1.8,1.8);
\BlUE{
\draw (0.4,1.4) circle (.4) node {$\GG_\CC$};
\draw (1.4,1.4) circle (.4) node {$\GG_\DD$};
}
\GREEN{
\draw (0.4,0.4) circle (.4) node {$\FF_\CC$};
\draw (1.4,0.4) circle (.4) node {$\FF_\DD$};
}
\end{tikzpicture}
&
\onslide<4->{\begin{tikzpicture}
\path (0,0) rectangle (1.8,1.8);
\BlUE{
\draw (0.4,0.9) circle (.4);
\draw (0.4,1.02) node {$\GG_\CC$};
\draw (1.4,1.4) circle (.4) node {$\GG_\DD$};
}
\GREEN{
\draw (0.4,0.4) circle (.4);
\draw (0.4,0.28) node {$\FF_\CC$};
\draw (1.4,0.4) circle (.4) node {$\FF_\DD$};
}
\end{tikzpicture}}
&
\onslide<5->{\begin{tikzpicture}
\path (0,0) rectangle (1.8,1.8);
\BlUE{
\draw (0.9,0.7) circle (.4);
\draw (0.9,0.83) node {$\GG_\CC$};
\draw (1.4,1.4) circle (.4) node {$\GG_\DD$};
}
\GREEN{
\draw (0.4,0.4) circle (.4);
\draw (0.32,0.32) node {$\FF_\CC$};
\draw (1.4,0.4) circle (.4);
\draw (1.48,0.32) node {$\FF_\DD$};
}
\end{tikzpicture}}
\\