We borrow the term 'substitution' from TAG formalism (Joshi and Schabes, 1997).
when k-best constituent parsing outputs are kept for reducing error propagation, further search strategy for an optimal subset of these redundant subtrees will be discussed in Section 3.