وجوبا تقديره أنت. بالملائكة: جار ومجرور متعلق بتأتي.
• ﴿إِنْ كُنْتَ مِنَ الصّادِقِينَ﴾: إن: حرف شرط جازم. كنت: فعل ماض ناقص مبني على السكون لاتصاله بضمير الرفع المتحرك والتاء ضمير متصل مبني على الفتح في محل رفع اسم «كان» من الصادقين: جار ومجرور متعلق بخبر «كان» وعلامة جر الاسم الياء لأنه جمع مذكر سالم والنون عوض من التنوين والحركة في المفرد و «كان» فعل الشرط في محل جزم بإن. وجواب الشرط -جزاؤه-محذوف لتقدم معناه. بمعنى هلاّ تأتينا بالملائكة يشهدون بصدقك أو هلاّ تأتينا بالملائكة للعقاب على تكذيبنا لك إن كنت صادقا و «نا» في تأتينا: ضمير متصل في محل نصب مفعول به.
[سورة الحجر (١٥): آية ٨] ما نُنَزِّلُ الْمَلائِكَةَ إِلاّ بِالْحَقِّ وَما كانُوا إِذاً مُنْظَرِينَ (٨)
• ﴿ما نُنَزِّلُ الْمَلائِكَةَ﴾: ما: نافية لا عمل لها. ننزل: فعل مضارع مرفوع بالضمة والفاعل ضمير مستتر فيه وجوبا تقديره: نحن. الملائكة: مفعول به منصوب بالفتحة.
• ﴿إِلاّ بِالْحَقِّ﴾: إلاّ: أداة استثناء والمستثنى محذوف تقديره: إلاّ تنزلا. بالحق:
جار ومجرور متعلق بصفة-للمستثنى المحذوف بمعنى إلاّ تنزّلا متلبسا بالحق أي بالحكمة أو يكون «بالحق» في محل نصب حالا من الملائكة أي ومعها الحق.
• ﴿وَما كانُوا إِذاً﴾: الواو: عاطفة. ما: نافية لا عمل لها. اذا: حرف جواب لا عمل له ووقع هنا جوابا وجزاء لأنه جواب لهم والشرط محذوف هنا تقديره: ولو نزّلنا الملائكة ما كانوا منظرين وما اخر عذابهم. و «كانوا» فعل ماض ناقص مبني على الضم لاتصاله بواو الجماعة والواو ضمير متصل في محل رفع اسم «كان» والألف فارقة.
• ﴿مُنْظَرِينَ﴾: أي ممهلين: خبر «كان» منصوب بالياء لأنه جمع مذكر سالم والنون عوض من التنوين والحركة في المفرد.