# Ter Promotion

> Is the candidate promoted, or only produced?

Record: `reason:node-ter-promotion`
Kind: node
Canonical: https://banes-lab.com/ontology/reasoning#reason-node-ter-promotion

## axis

- [termination](https://banes-lab.com/records/reason/axis-termination.md)

## math-type

- [set-theory](https://banes-lab.com/records/reason/math-type-set-theory.md)

## referenced-by

- [Termination](https://banes-lab.com/records/reason/axis-termination.md)