sentence1: the learning-based selection of relevant lemmas significantly improves the automation for hammers .
sentence2: the learning-based selection of relevant lemmas significantly improves the automation in hammer systems .