\begin{frame}
  \frametitle{Examples: Semantics Intuitive}

  \begin{exampleblock}{}
    \vspace{-1ex}
    \begin{talign}
      \myex{y}{\myall{x}{R(x,y)}}
    \end{talign}
    \pause
    
    Find a model for this formula!
    \pause
    \begin{center}
      \begin{tikzpicture}[node distance=15mm,
        dot/.style={minimum size=4mm, circle, draw=none, fill=black, inner sep=0, outer sep=1mm, text=white}]
        \node [dot] (1) {1};
        \node [dot,below right of=1] (2) {2};
        \node [dot,above right of=2] (3) {3};
        \begin{scope}[->,thick]
        \draw (1) -- (2);
        \draw (3) -- (2);
        \draw (2) to[out=-45,in=-45-90,looseness=5] (2);
        \end{scope}
      \end{tikzpicture}
    \end{center}
    \medskip\pause
    Here the formula is true since for $y = 2$, we have: $\myall{x}{R(x,y)}$
    \begin{itemize}
      \item R(1,2)
      \item R(2,2)
      \item R(3,2)
    \end{itemize}
  \end{exampleblock}
\end{frame}