The larger grammar results in more combinations of partial theories in decoding.
for computing reasons, we kept the beam size of the decoder constant despite the increase in grammar size, potentially pruning out good theories.