ReasoningFormal StructureKind: nodeRecord: reasoning:node-for-structureCanonical: ReasoningWhat structure holds?Listed in Reasoning records, after Existence and before Mapping.AxisformalizationMath typealgebraLinked fromThe axes