\begin{frame}{Example (1)}
  \begin{exampleblock}
    {\black{$\asetfuncs = \emptyset$, $\,\asetpreds = \setexp{ \sunpred{P}{\alt<1-3>{{\scriptstyle /1}}{\alert{\scriptstyle /1}}}}$}}
    %\pause{}
  
  \vspace*{1ex}  
  Illustration of a model:
  \begin{center}
        \begin{tikzpicture}[dot/.style={minimum size=4mm, circle, draw=none, fill=black, inner sep=0, outer sep=1mm, text=white}]
          \node [dot,fill=forestgreen] (1) {1};
          \node [dot,below right of=1] (2) {2};
          \node [dot,above right of=2] (3) {3};
          %
          \draw [rounded corners=5mm,thick,dashed] 
                 ($(1) + (-6mm,7mm)$) rectangle ($(3) + (6mm,-13mm)$);
          \uncover<2->{\node [right of=3,node distance=10mm,yshift=6.5mm] {{$\model{\amodel}$}};}   
          \uncover<3->{\node [right of=2,node distance=8.5mm,yshift=-2mm] {$\model{\adomain}$};}     
        \end{tikzpicture}
  \end{center}
    \pause{}
    Formal definition of $\model{\amodel}$:
    \pause{}
  \begin{itemize}
    \item
      domain $\model{\adomain} = \setexp{1,2,3}$
      \pause{}
    \item  
      interpretation operation $(\cdot)^{\model{\amodel}}$ on $\pair{\asetfuncs}{\asetpreds}$:
      \begin{itemize}
        \item
          $\sunpred{P}$ is \alert{unary predicate}: \\[.5ex]
          $\intin{\sunpred{P}}{\model{\amodel}} \uncover<5->{= \setexp{1}} \alert{\subseteq A}$.
      \end{itemize}
  \end{itemize}
  \end{exampleblock}
\end{frame}