مَا زَيْدٌ كَاتِبًا لَكِنْ شَاعِرٌ
Zayd is not a writer, but a poet.
Lākin introduces a corrective qualification after a denial or contrary expectation. In an appropriate context the correction yields restriction, but its discourse function is not identical to the shift introduced by bal.