What identifies reinforcement of the manṭūq?

Iṭnāb: Tadhyīl, Takmīl (Iḥtirās), and Tatmīm

• Only an inferred possible consequence is reinforced
• The judgment explicitly stated by the earlier clause is reinforced
• Only the antecedent of a pronoun is specified
• An unintended inference is blocked