note how the utility problem, first exposed by minton, was solved by discarding the original grammar/domain theory, and that the quoted articles tend to contain the phrase "grammar specialization"---quite the opposite of the original term "explanation-based generalization." perhaps the best name for this technique would be "data-driven search space reduction."