Consequent

The part below the line in a typing rule - the Conclusion that follows when all Antecedents are satisfied (\"then\" part).

The part below the line in a typing rule - the Conclusion that follows when all Antecedents are satisfied ("then" part).