{يَوْمَئِذٍ يَوَدُّ الَّذِينَ كَفَرُواْ وَعَصَوُاْ الرَّسُولَ لَوْ تُسَوَّى بِهِمُ الأٌّرْضُ} والعامل في: يوم يودّ. ومعنى يودّ: يتمنى. وظاهر وعصوا أنه معطوف على كفروا. وقيل: هو على إضمار موصول آخر أي: والدين عصوا فهما فرقتان. وقيل: الواو واو الحال أي: كفروا وقد عصوا الرسول. وقال الحوفي: يجوز أن يكون يوم مبنياً مع إذ، لأنّ الظرف إذا أضيف إلى غير متمكن جاز بناؤه معه. وإذ في هذا الموضع اسم ليست بظرف، لأن الظروف إذا أضيف إليها خرجت إلى معنى الاسمية من أجل تخصيص المضاف إليها، كما تخصص الأسماء، ومع استحقاقها الجرّ، والجرّ ليس من علامات الظروف انتهى، وهو كلام جيد.

والعامل في يومئذ يود، ومفعول يود محذوف تقديره: تسوية الأرض بهم، ودلّ عليه قوله: لو تسوى بهم الأرض. ولو حرف لما كان سيقع لوقوع غيره، وجوابه محذوف تقديره: لسروا بذلك، وحذف لدلالة يودّ عليه. ومن أجاز في لو أن تكون مصدرية مثل أن جوز ذلك هنا، وكانت إذ ذاك لا جواب لها، بل تكون في موضع مفعول يود.