فالعَطْفُso explanatory apposition لمdid not يَأْتِoccur فيin إضْمارِpronominalization تابِعِهِits dependent
فالعَطْفُ لم يَأْتِ في إضْمارِ تابِعِهِ
ولاand not يُخالِفُdiffers from مَتْبُوعاًa word it follows لَهَاfor it ذُكِراwas mentioned
ولا يُخالِفُ مَتْبُوعاً لَهَا ذُكِرا
So explanatory apposition does not occur with a pronominal dependent.
The adjunct does not imply the ellipsis of its correlative,
Nor does it differ from the word mentioned as its head.
Nor contradicts what it refers to if mentioned.
ولمand did not تَكُنْbe جُمْلَةٌa clause أَيْضاًalso وتابِعُهاand its dependent
ولم تَكُنْ جُمْلَةٌ أَيْضاً وتابِعُها
والفِعْلُand the verb كَلاَno وَلاَand not الْمَجْهولُthe unknown مِنْfrom أُخْرَىanother
والفِعْلُ كَلاَ وَلاَ الْمَجْهولُ مِنْ أُخْرَى
Nor is it a clause either, or a dependent of one.
It is not a sentence either along with its correlative,
And a verb—no; nor the unknown from another [clause].
Nor a verb, no way, nor a passive from another.
وَلاand not تَحُلُّoccupies مَحَلَّthe place of الأَصْلِthe original قَطُّever وَلاَand not
وَلا تَحُلُّ مَحَلَّ الأَصْلِ قَطُّ وَلاَ
تَأْتِيcomes بِلَفْظٍwith a wording لِمَتْبُوعٍfor a word it follows لَهُfor it زُبِراwas written
تَأْتِي بِلَفْظٍ لِمَتْبُوعٍ لَهُ زُبِرا
And it never occupies the original word’s place, nor
It does not take the place of the original at all,
does it come in wording written for the word it follows.
Nor comes with a term for what it refers to, however noble.
وَعَكْسُهاand their reverse صَحّproved valid فيin الإبْدالِsubstitution مُطَّرِداًconsistently
وَعَكْسُها صَحّ في الإبْدالِ مُطَّرِداً
خُذْهاtake them ثَمانِيةًeight تَسْتَيْسِرُyou find easy العَسِرَاthe difficult
خُذْها ثَمانِيةً تَسْتَيْسِرُ العَسِرَا
And the reverse of these holds consistently in substitution.
But the reverse is valid in substitution, always
Take these eight, and you will find the difficult easy.
Take these eight, you will overcome difficulty.
Sol 6.1