The first direct use of packed forest is proposed by .
there exists at least one consistent node v ′ on another side satisfying: v ′ is said to be a counterpart of v. We use τ (v) to denote the set of counterparts of v. A frontier node often has multiple counterparts on another side due to the usage of unary rules in parsers.