support deleting a certain lemma (python)