Which passage gives a recognized example of ellipsis of a conditional result?

Supplementary Practice 29 — Comparative Rhetoric of Sūrat al-Infiṭār and Sūrat al-Inshiqāq

• Ammā in 84:7–9
• Inna in 82:10
• The omitted idhā result in 84:1–5
• The contrast in 82:13–14