\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{tabular}{c@{\qquad\qquad}c@{\qquad}c@{\qquad}c}
  \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}}
  \\
  two TRSs & \alert<3>{disjoint} &
  \onslide<4->{\alert<4>{constructor-sharing}} &
  \onslide<5->{\alert<5>{hierarchical}}
  \end{tabular}
  \end{block}
\end{frame}