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).