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