Entailing Generalization Boosts Enumeration. | AMiner