أرسل هذا في رسالة قصيرة: On the Generation of Quantified Lemmas