في «كانوا» كبارَهُمْ ومَرَدَتَهم، و ﴿أَن لَّوْ كَانُواْ﴾ مفعولٌ به، وذلك أنَّ المَرَدَةَ والرؤساءَ من الجنِّ كانوا يُوْهِمون ضعفاءَهم أنهم يَعْلمون الغيبَ. فلمَّا خَرَّ سليمان ﵇ مَيِّتاً، مكثوا بعده عاماً في العملِ، تبيَّنَتِ السَّفَلَةُ من الجنِّ أنَّ الرؤساءَ منهم لو كانوا يعلمون الغيبَ كما ادَّعَوْا ما مكثوا في العذابِ. ومِنْ مجيءِ «تَبَيَّن» متعدِّياً بمعنى أَدْرك قولُه:
٣٧٣٤ - أفاطِمُ إنِّي مَيِّتٌ فَتَبَيَّني ... ولا تَجْزَعي كلُّ الأنامِ يموتُ
أي: تَبَيَّني ذلك.
وفي كتاب أبي جعفر ما يَقْتضي أنَّ بعضَهم قرأ «الجنَّ» بالنصب، وهي واضحةٌ أي: تبيَّنت الإِنسُ الجنَ. و ﴿أَن لَّوْ كَانُواْ﴾ بدلٌ أيضاً من «الجن» . وقرأ ابن عباس ويعقوب «تُبُيِّنَتِ الجنّ» على البناءِ للمفعولِ، وهي مؤيِّدَةٌ لِما نَقَله النحاسُ. وفي الآيةِ قراءاتٌ كثيرةٌ أَضْرَبْتُ عنها لمخالفتِها السَّوادَ.
و «أن» في ﴿أَن لَّوْ كَانُواْ﴾ الظاهرُ أنها مصدريةٌ مخففةٌ من الثقيلة، واسمُها ضميرُ الشأنِ. و «لو» فاصلةٌ بينها وبينَ خبرِها الفعليِّ. وقد تقدَّم تحقيقُ ذلك كقوله: ﴿وَأَلَّوِ استقاموا﴾ [الجن: ١٦] ﴿أَن لَّوْ نَشَآءُ أَصَبْنَاهُمْ﴾ [الأعراف: ١٠٠] .
وقال ابن عطية: «وذهب سيبويه إلى أنَّ» أَنْ «لا موضعَ لها من