... proposals in Chapter 10. 6 Backofen, Rogers, and Vijay-Shanker (1995) actually argue that Wrst-order axiomiza- tion is impossible for Wnite (but unbounded) trees; they propose a second-order account ... 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...