﴿وَيَقُولُونَ سُبْحَانَ رَبِّنَا إِنْ كَانَ وعد رَبنَا لمفعولا﴾ أَيْ: قَدْ كَانَ.

قَالَ مُحَمَّدٌ: الْمَعْنَى: كَانَ وَعْدُ رَبِّنَا مَفْعُولًا، وَدخلت (إِن) وَاللَّام للتوكيد.