JacquesCarette
Definitions: (`DefiningExpr` vs `Definition` vs `DefinesQuantity`) and (`QDefinition` vs `ConceptChunk`)
[NOTE: I'm going to file this PR but I need to sort out my thoughts. I figured that posting these pictures should be clear enough about what needs researching.]
Definitions!
Lenses
Chunks
(key examples of ConceptChunk are in the picture, extra chunks and nodes are not included in the picture as they do not provide any further insight)
Objective
Explain out how these lenses are used and where, and to discuss the relationship between QDefinition and ConceptChunk. The final goal should be either to redesign or at least to fix the documentation. Things are not clear enough from the documentation.
From my Obsidian note:
[[DefiningExpr]], [[Definition]], and [[DefinesQuantity]] look like they can (should) be merged. But should they? [[DefiningExpr]] and [[DefinesQuantity]] really mean "for this quantity, I can provide you a formula to solve for it (likely in a mathematical context)." [[Definition]] means "for this concept, I have a dictionary definition (in English) you can read."
Right - two of them are about mathematics, and another about ontology. We might want to separate those hierarchies some more? Merging them seems dangerous. I feel like it's something we should do after they've been fully separated, seen to be an exact parallel, then merged!
