Which sequence matches the source’s classification?

Ibarat, Isharat, Dalalat and Iqtida of Text: Four Routes to Legal Meaning

• Mufassar, muhkam, khafi, mujmal
• Haqiqah, majaz, sarih, kinayah
• Khass, amm, mushtarak, muawwal
• Ibarat, isharah, dalalah, iqtida