# Population

> Over what set was this checked?

Record: `reasoning:node-ver-population`
Kind: node
Canonical: https://banes-lab.com/ontology/reasoning#reasoning-node-ver-population

Listed in [Reasoning records](https://banes-lab.com/api/records/reasoning.md), after [Support Against Refutation](https://banes-lab.com/records/reasoning/node-ver-refutation.md) and before [Freshness](https://banes-lab.com/records/reasoning/node-ver-freshness.md).

## Axis

- [verification](https://banes-lab.com/records/reasoning/axis-verification.md)

## Grounded by

- [PAG Handoff Gate](https://banes-lab.com/records/algorithms/pag-validation-gate.md)
- [POPULATION](https://banes-lab.com/records/pag/keyword-validation-population.md)
- [DOMAIN](https://banes-lab.com/records/pag/keyword-report-domain.md)
- [POPULATIONS](https://banes-lab.com/records/pag/keyword-report-populations.md)
- [OVER](https://banes-lab.com/records/pag/keyword-invariant-over.md)
- [population_clause](https://banes-lab.com/records/pag/production-population-clause.md)
- [report_field](https://banes-lab.com/records/pag/production-report-field.md)

## Math type

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

## Linked from

- [Pattern Abstract Grammar](https://banes-lab.com/ontology/algorithms/algorithms-domain-pag.md)
- [The axes](https://banes-lab.com/ontology/reasoning/the-axes.md)
- [validation](https://banes-lab.com/ontology/grammar/pag-keywords-validation.md)
- [report](https://banes-lab.com/ontology/grammar/pag-keywords-report.md)
- [invariant](https://banes-lab.com/ontology/grammar/pag-keywords-invariant.md)
- [planning](https://banes-lab.com/ontology/grammar/pag-productions-planning.md)