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.
2 Even for reasonable heuristics, this number can be very large; see Section 3 for empirical results.