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

  \begin{exampleblock}{}
    \vspace{-1ex}
    \begin{talign}
      \myall{x}{\myall{y}{\myall{z}{(R(x,y) \wedge R(y,z) \to R(x,z))}}}
    \end{talign}
    \pause

    What arrows are missing to make the following a model?
    \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,right of=1] (2) {2};
        \node [dot,right of=2] (3) {3};
        \node [dot,below of=1] (4) {4};
        \node [dot,right of=4] (5) {5};
        \node [dot,right of=5] (6) {6};
        \begin{scope}[->,thick]
        \draw (1) to[bend left=20] (2);
        \draw (2) to[bend left=20] (1);
        \draw (3) -- (6);
        \draw (6) -- (5);
        \draw (5) -- (4);
        \begin{scope}[red]
          \mpause[1]{ \draw (3) -- (5); }
          \mpause{ \draw (6) to[bend left=30] (4); }
          \mpause{ \draw (3) -- (4); }
          \mpause{ 
            \draw (1) to[out=45,in=45+90,looseness=5] (1); 
            \draw (2) to[out=45,in=45+90,looseness=5] (2); 
          }
        \end{scope}
        \end{scope}
      \end{tikzpicture}
    \end{center}
    (Add only those arrows that are really needed.)
  \end{exampleblock}
\end{frame}