\begin{frame}{Example}
  \hspace*{-3ex}  
  \begin{minipage}{0.53\textwidth}    
  \scalebox{.8}{  
  \begin{tikzpicture}[point/.style={circle,fill=black!60!white,draw=none,inner sep=2pt,minimum size=4mm},
     node distance=26mm]
    \node (1) [point] {};
    \node (3) [point,fill=%green!50!black, 
                          forestgreen,below right of =1] {};
    \node (2) [point, above right of=3] {};
    % \node at ($(1)!.5!(2) + (0mm,-20mm)$) {A};
    \node at (1) [xshift=-6mm] {$a_1$};
    \node at (2) [xshift=6mm] {$a_2$};
    \node at (3) [xshift=5mm] {$a_3$};
    \begin{scope}[shorten <= 2mm, shorten >= 2mm, very thick, >=stealth]
    \draw [->] (3) to[out=-140,in=-40,looseness=10] (3);
    \draw [->] (1) to (2);
     \draw [->] (1) to (3);
     \draw [->] (3) to (2);
    \end{scope}
    \begin{scope}[circ/.style={circle,draw=mediumblue,very thick,inner sep=0,minimum size=6mm}]
      \node at (1) [circ] {};
      \node at (2) [circ] {};    
    \end{scope}
    \node [left of=1,node distance=20mm,yshift=8mm] {\Large $\model{\amodel}$};
    \draw [rounded corners=5mm,thick,dashed] 
               ($(1) + (-12mm,10mm)$) rectangle ($(2) + (12mm,-32mm)$);
  \end{tikzpicture}
  }
  \end{minipage}
  \hspace*{3ex}
  \begin{minipage}{0.4\textwidth}
    
  \begin{itemize}  
   \item<2->
     $\uncover<3->{\model{\amodel} \satisfiesnot} \formula{\unpred{P}{\const{c}}}$  
     % $\M \;\not\mw\; Pc$
   \item<4->
     $\uncover<5->{\model{\amodel} \satisfies} \formula{\lognot{\unpred{P}{\const{c}}}}$
     %$\M \;\mw\; \niet Pc$ 
   \item<6->   
     $\uncover<7->{\model{\amodel} \satisfies} \formula{\binpred{R}{\const{c}}{\const{c}}}$
     % $\M \;\mw\; Rcc$
   \item<8-> 
     $\uncover<9->{\model{\amodel} \satisfies} 
                                 \formula{
                                   \logor{\binpred{R}{\const{c}}{\const{c}}}
                                         {\unpred{P}{\const{c}}}}$  
     %$\M \;\mw\; Rcc \of \niet Pc$
  \end{itemize}  
  \end{minipage}
 
  \bigskip 
  \bigskip
  
  \begin{minipage}{0.43\textwidth}
  %   
  \begin{itemize}    
    \item 
      $\intin{\const{c}}{\model{\amodel}}$: $\,$ \textcolor{forestgreen}{green} point
    \item  
      $\intin{\sunpred{P}}{\model{\amodel}}$: $\,$ \textcolor{mediumblue}{blue} circles
    \item   
      $\intin{\sbinpred{R}}{\model{\amodel}}$: $\,$ arrows
  \end{itemize}  
  \end{minipage}
\end{frame}