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