Lemma generation by E