وقوله تعالى: ﴿ثُمَّ ذَرْهُمْ فِي خَوْضِهِمْ يَلْعَبُونَ﴾﴿يَلْعَبُونَ﴾ حال تقديره: لاعبين (١)، يريد: عاملين ما لا يجدي عليهم، والعرب تقول لمن كان في عمل لا يجدي عليه: إنما أنت لاعب (٢)، وحقيقة هذا الكلام التهدد (٣).
قال المفسرون: وقوله: ﴿ذَرْهُمْ﴾ منسوخ بآية السيف (٤).
٩٢
- وقوله تعالى: ﴿وَهَذَا كِتَابٌ أَنْزَلْنَاهُ مُبَارَكٌ﴾ المبارك: الذي بورك فيه، ومعنى البركة: الكثرة في كل خير (٥)، الأزهري (٦): (وأصل البركة الزيادة والنماء وثبوت الخير (٧) على الازدياد والنماء)، قال أهل اللغة (٨): وأصله الثبوت، قال اللحياني (٩): (يقال: بَارَكت على التجارة وغيرها،