Delayed Ranked Inside Derivation Deductions (Lazy Version of KA * ) using many derivations, each inside edge item will be popped exactly once during parsing, with a score and backpointers representing its 1-best derivation.
k-best lists involve suboptimal derivations.