\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}