A previously introduced indefinite noun can later be repeated with definite al- to refer to the same entity.

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