فَأَمَّا «لَا» فَلِنَفْيِ مَا وَجَبَ لِلْأَوَّلِ عَنِ الثَّانِي
Translation: Lā removes from the second what was affirmed of the first.
Coordinating lā affirms the first member and denies that same predicate for the second; both names are nominative.
Opening interactive controls...
Lā: Excluding the Second
Conjunctions: Ten Particles, Meanings and Parsing
فَأَمَّا «لَا» فَلِنَفْيِ مَا وَجَبَ لِلْأَوَّلِ عَنِ الثَّانِي
Translation: Lā removes from the second what was affirmed of the first.
Coordinating lā affirms the first member and denies that same predicate for the second; both names are nominative.