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