我先扯着，等@Nick  有闲批判。

数据结构里面的 dag 说的是一种图的模型化，里面有两个要点，一是 d，就是纲常：臣忠于君，子听命父，天经地义。第二是 a，说的就是不能死循环。前例 “所以我就是我自己的外公”，就是犯了这个循环的错。局部看，每一个关系都是合理合法的婚姻，但绕着绕着，我成了自己的外公，就不像话了，数据结构dag就不答应。可是到了依存关系的定语从句，结构也傻了，根本连弯儿都没绕，直接进入循环怪圈：

乔老爷的短语结构文法（PSG）有个 X-bar 理论。 按照他的理论，这个死循环就活了。不错，老子喜欢的逻辑宾语儿子的确是冰冰，但冰冰（作为）老子的定语儿子却不是喜欢，而是喜欢的杆杆，可能是杆杆杆，总之不是喜欢。X 杆杆理论说，喜欢不过是V（杆都没有呢，词一级的语言学单位）。喜欢的第一个杆叫做 VG （V-bar， Verb group，块组的语言学单位），喜欢到了加二道杆的时候叫 VP（V double bar，短语的语言学单位），该短语由喜欢与空降过来的冰冰构成（动词与其 internal args 构成两道杆的衔）。喜欢晋升到三道杆的时候就成了句子（V triple bar，S，or IP，这最后一个术语纯粹是语言学家玩的游戏，不论），作为定语就叫定语从句。既然是句子S，一般是主谓宾俱全的，没有尼克这个主语（external arg）作为句子是站不住的。因此，乔老爷的说法是，以喜欢为代表句子做了冰冰的儿子，修饰她服务她。而逻辑上呢，冰冰又被拉进了这个定语从句内部，做了里面大爷喜欢的儿子（or 女儿）。