Antecedent

The part above the line in a typing rule - the Premises that must hold before the Conclusion can be drawn (\"if\" part).

The part above the line in a typing rule - the Premises that must hold before the Conclusion can be drawn ("if" part).