However, when edges from grammars of varying size are processed on the same agenda, the number of successor edges per edge popped changes depending on what grammar the edge was constructed from.
edges in more refined grammars are more expensive than edges in coarser grammars.