«لهم فيها ما يشاءُون خالدين» حال لازمة «كان» وعدهم ما ذكر «على ربك وعدا مسؤولا» يسأله من وعد به (ربنا وآتنا ما وعدتنا على رسلك) أو تسأله لهم الملائكة (ربنا وأدخلهم جنات عدن التي وعدتهم).
المصدر : تفسير : لَّهُمْ فِيهَا مَا يَشَآءُونَ خَٰلِدِينَ كَانَ عَلَىٰ رَبِّكَ وَعْدًا مَّسْـُٔولًا