Note that RANK requires distinct D i , so a rank k RANK rule will first apply (optimally) as soon as the kth-best inside derivation item for a given edge is removed from the queue.
it will also still formally apply (suboptimally) for all derivation items dequeued after the kth.