Which statement correctly explains the aspect “Four devices of restriction” in the example “الْقَصْرُ بِالْعَطْفِ”?

Qasr by Coordination, Negation–Exception, and Innamā

• Four devices of restriction — Restriction through coordination.
• Lākin and corrective contrast — Zayd is not a writer, but a poet.
• Context and the implicit domain — I struck no one except Zayd.
• Readings and syntactic analysis — He prohibited carrion to you.