In «قَدِمَ ابنُ عَمِّي عَلِيٌّ», the name Ali makes explicit which cousin is meant; this illustrates a clarifying function of badal.
A principal rhetorical function of substitution is greater reinforcement or clarification. Distinct syntactic kinds of badal can also specify a part or an associated feature.