# The groundings

> Every grounding edge the reasoning face declares is listed with the record it leaves from and the record or grammar it lands on, or with the label it carries…

Page: Ontology · Reasoning
Canonical: https://banes-lab.com/ontology/reasoning#the-groundings

Every grounding edge the reasoning face declares is listed with the record it leaves from and the record or grammar it lands on, or with the label it carries where it names a rule rather than a record.

### ver-evidence

Details

[ver-evidence](https://banes-lab.com/records/reason/node-ver-evidence.md) → Carries: claims-are-lies

### constrain

Details

[constrain](https://banes-lab.com/records/stage/constrain.md) → Lands on: [Governed Autonomous Plan Loop](https://banes-lab.com/records/algo/governed-autonomous-plan-loop.md)

### derivation-loop

Details

[derivation-loop](https://banes-lab.com/ontology/reasoning/reason-loop-derivation-loop.md) → Lands on: [Checklist Creation Kernel](https://banes-lab.com/records/algo/checklist-creation-kernel.md)

### derivation-loop

Details

[derivation-loop](https://banes-lab.com/ontology/reasoning/reason-loop-derivation-loop.md) → Lands on: pag:template:checklist

## Links to

- [Ver Evidence](https://banes-lab.com/records/reason/node-ver-evidence.md)
- [Constrain](https://banes-lab.com/records/stage/constrain.md)
- [Governed Autonomous Plan Loop](https://banes-lab.com/records/algo/governed-autonomous-plan-loop.md)
- [The derivation loop](https://banes-lab.com/ontology/reasoning/reason-loop-derivation-loop.md)
- [Checklist Creation Kernel](https://banes-lab.com/records/algo/checklist-creation-kernel.md)