According to the classical Indian school of logic (Nyaya), which of the following steps of inference (anumana) corresponds to Upanaya, the application of the universal concomitance to the presented case?

Socrates is a man who is invariably a mortal is the upanaya step.

Upanaya applies the universal concomitance to the case at hand.

It shows the subject possesses the reason that is invariably tied to the probandum.

Here Socrates is marked as a man, and manhood is invariably joined to mortality.

The bare conclusion, reason and universal-with-example fill the other members instead.