... sort of ‘ part of’’ relation. So in (9a, b) the N is a part of NP. The reverse is not true, NP is not a part of N. So in (9a), we assert that man is a part of N, but that N is not a part of man. ... of course, a part of itself (hence the intuition that domination is reXexive). N dominates N, so N is part of N. The part- of quality of domination tells us that when two nodes are part of each ... most part, Wrst-order description will suYce to express the intuitive and basic properties of trees, we leave it at this level. 7 In this book, I have kept the logical notation to familiar Wrst-order...