Taḍammun and iltizām can begin with the very same word. The classification changes according to what is being indicated.
Insān → ḥayawān: This is an internal component of the essential definition, so it is inclusion.
Insān → nāṭiq: This is another internal component, also inclusion.
Insān → capacity for laughter: This is external to the stated essential definition but traditionally linked as a property, so it illustrates implication.
A crucial caution: A property often found in human beings does not automatically qualify as an implicative meaning. An appropriate necessary connection must be established; a merely accidental association is insufficient.