Population

Kind: node

Record: reasoning:node-ver-population

Canonical: Reasoning

Over what set was this checked?

Listed in Reasoning records, after Support Against Refutation and before Freshness.

Axis

• verification

Grounded by

• PAG Handoff Gate
• population_clause
• report_field
• POPULATION
• DOMAIN
• POPULATIONS
• OVER

Math type

• set-theory

Linked from

• Pattern Abstract Grammar
• The axes
• validation
• report
• invariant
• planning