What is the role of al- in the second mention «الرسول» after «رسولا»?

Al-Ta‘rif wa al-Tankir: Rhetorical Functions of Definiteness and Indefiniteness

Anaphoric familiarity
Generic al- only
Always exhaustiveness
Indefinite nunation