如何用盒子围住树的各个部分

Question

我需要用方框将树的各个部分分组，此外给它们贴上标签例如，将“W1”放在盒子的侧面，或者右上盒子的角落。

我想要实现的结果与以下视频中的结果有些类似： http://youtu.be/B78RnoBFYOw?t=10m40s

或者这张图片：

注意，装箱的子树必须仍然引用父级带框子树中的节点。也就是说，我不想要一个里面有树的框树，而是想要一个单棵树，树的某些部分周围有盒子。。

编辑：

以下是我迄今为止用来创建树的代码

\begin{tikzpicture}
    \node{
        $\forall{x}. P(x) \rightarrow Q(X)$\\
        $P(x) \rightarrow Q(x)$
    }
        child{ node{$\lnot P(a)$} }
        child{ node{$Q(a)$} 
            child{ node{other..} }
        };
\end{tikzpicture}

顺便问一下，将多行数学公式添加到树节点的最佳方法是什么？目前，它们都在同一行上。