The antecedent is the earlier expression being clarified; the follower is the later expression that shares its grammatical case.
جَاءَ أَبُو حَفْصٍ عُمَرُ.
Meaning: Abū Ḥafṣ—that is, ʿUmar—came.
«أَبُو حَفْصٍ» identifies the person by his kunyah; «عُمَرُ» supplies his personal name as ʿaṭf al-bayān. They do not name two visitors.
Opening interactive controls...
ʿAṭf al-Bayān: Definition, Examples, and Contrast with Badal
The antecedent is the earlier expression being clarified; the follower is the later expression that shares its grammatical case.
جَاءَ أَبُو حَفْصٍ عُمَرُ.
Meaning: Abū Ḥafṣ—that is, ʿUmar—came.
«أَبُو حَفْصٍ» identifies the person by his kunyah; «عُمَرُ» supplies his personal name as ʿaṭf al-bayān. They do not name two visitors.