زَيْدٌ شَاعِرٌ لَا كَاتِبٌ / إِنَّمَا زَيْدٌ شَاعِرٌ
Zayd is a poet, not a writer / Zayd is only a poet.
Coordination names the negated alternative, whereas innamā often leaves it implicit. The choice changes how explicit the correction is and how much inferential work is assigned to the addressee.
Opening interactive controls...
Qasr by Coordination, Negation–Exception, and Innamā
زَيْدٌ شَاعِرٌ لَا كَاتِبٌ / إِنَّمَا زَيْدٌ شَاعِرٌ
Zayd is a poet, not a writer / Zayd is only a poet.
Coordination names the negated alternative, whereas innamā often leaves it implicit. The choice changes how explicit the correction is and how much inferential work is assigned to the addressee.