Review comment: Pseudocode in the Examples section uses IDs

All the pseudo-code examples in section  A.1 Examples , which are supposed to demonstrate the data model at a serialization-independent level, use IDs to indicate what relations point to. This is problematic because the data model doesn t actually allow any ID properties at the model-level.  Perhaps it might be better to replace the pseudocode in this section with diagrams like in my  unofficial introduction :  https://www.lexiconista.com/dmlex/
Downside: It s a lot of work to draw these diagrams. They cannot be generated automatically.
Upside: The diagrams really do make it clearer to human readers how the model  ticks  at model-level. People who have read the  unofficial introduction  have responded very well to them.
M.