70/186
\begin{frame}
  \frametitle{Parse Trees}
  
  Bottom-up evaluation of truth values in a parse tree:
  \begin{itemize}
    \item $p = \T$
    \item $q = \F$
    \item $r = \T$
  \end{itemize}
  \begin{center}
  \begin{tikzpicture}[default]
    \begin{scope}[tree,nodes={node_yellow,minimum size=6mm}]
    %!begin{tree}{magic:006780749442385126}
    % $\to$:e($\wedge$:l($\neg$:ll($p$:lll),$q$:lr),$\wedge$:r($p$:rl,$\vee$:rr($q$:rrl,$\neg$:rrr($r$:rrrr))))
\node (e) {$\to$}
    child { node (l) {$\wedge$}
      child { node (ll) {$\neg$}
        child { node (lll) {$p$}
      }
    }
      child { node (lr) {$q$}
    }
  }
    child { node (r) {$\wedge$}
      child { node (rl) {$p$}
    }
      child { node (rr) {$\vee$}
        child { node (rrl) {$q$}
      }
        child { node (rrr) {$\neg$}
          child { node (rrrr) {$r$}
        }
      }
    }
  };
\begin{pgfonlayer}{background}
\end{pgfonlayer}

    %!end{tree}{magic:006780749442385126}
    \end{scope}
    
    \begin{scope}[dgreen]
    \mpause[1]{ 
      \node [lhead=lll] {$\T$};
      \node [rhead=lr] {$\F$};
      \node [lhead=rl] {$\T$};
      \node [lhead=rrl] {$\F$};
      \node [rhead=rrrr] {$\T$};
    }
    \mpause{ 
      \node [lhead=ll] {$\F$};
    }
    \mpause{ 
      \node [lhead=l] {$\F$};
    }
    \mpause{ 
      \node [rhead=rrr] {$\F$};
    }
    \mpause{ 
      \node [rhead=rr] {$\F$};
    }
    \mpause{ 
      \node [rhead=r] {$\F$};
    }
    \mpause{ 
      \node [ahead=e] (l) {$\T$};
    }
    \end{scope}
  \end{tikzpicture}
  \end{center}
\end{frame}