Suppose that the symbol 'A' immediately dominates 'XBY' (where 'B' is a symbol) in the Phrase-marker 'K'; that is, 'A'→ 'XBY' was one of the categorial rules used in generating this Phrase-marker. Then ('A, B') constitutes a branch of 'K'. - Chomsky (1969), a pag.225