In the traditional example, what is inferring the capacity for laughter from insān?

Introduction to Bayān and the Foundational Modes of Indication

• Correspondence because it is the whole definition
• Inclusion because it is a lexical component
• Implication because it is an external concomitant
• Nonverbal conventional