Which statement correctly explains the aspect “Restriction using bal” in the example “مَا زَيْدٌ كَاتِبًا بَلْ شَاعِرٌ”?

Qasr by Coordination, Negation–Exception, and Innamā

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