\begin{frame}
  \frametitle{Exercises}

  \begin{exampleblock}{}
  \begin{center}
    \begin{tikzpicture}[
        default,
        point/.style={circle, draw=blue, thick, inner sep=3pt, minimum size=9mm},
        node distance=20mm]
  
      \node (1) [point] {\lab{p}};
      \node [alo=1] {$w_1$};
      \node [aro=1,align=center] {
        $\mpause[9]{q \; ?} \mpause[10]{\text{ No}}$\\
        $\mpause[6]{\all q \; ?} \mpause[11]{\text{ No}}$\\
        $\mpause[4]{\some\all q \; ?} \mpause[13]{\text{ Yes}}$\\
        $\mpause[2]{\some\some\some\all q \; ?} \mpause[16]{\text{ \aemph{Yes}}}$
      };
      
      \node (2) [point, below left of=1] {\lab{q}};
      \node [alo=2] {$w_2$};
      \node [blo=2,align=center] {%
        $\mpause[3]{\some\some\all q \;?} \mpause[15]{\text{ Yes}}$\\
        $\mpause[5]{\some\all q \; ?} \mpause[14]{\text{ No}}$\\
        $\mpause[8]{\all q \; ?} \mpause[11]{\text{ No}}$\\
        $\mpause[9]{q \; ?} \mpause[10]{\text{ Yes}}$
      };

      \node (3) [point, below right of =1] {\lab{p,\;r}};
      \node [aro=3] {$w_3$};
      \node [bro=3,align=center] {
        $\mpause[3]{\some\some\all q \; ?}$\\
        $\mpause[7]{\all q \; ?} \mpause[12]{\text{ Yes}}$\\
        $\mpause[9]{q \; ?} \mpause[10]{\text{ No}}$
      };

      \begin{scope}[shorten <= 1mm, shorten >= 1mm, very thick,>=stealth]
        \draw [->] (1) to[bend left=15] (2);
        \draw [->] (2) to[bend left=15] (1);
        \draw [->] (1) to (3);
        \draw [->] (3) to (2);
      \end{scope}
    \end{tikzpicture}
    \vspace{-2ex}
  \end{center}
  \pause
  
  \aemph{How to evaluate complex formulas?}
  \begin{talign}
    w_1 &\;\models\; \some\some\some\all q & \mbox{\DARKRED{?}} \text{\mpause[16]{ Yes}}
  \end{talign}
  \pause
  Often it is helps to annotate the models!
  \end{exampleblock}
\end{frame}