Relationships produced by derivation must be treated as valid and usable in the model. Derivation may only simplify or summarise, so a modeller must not read extra detail out of a derived relationship; where more detail is wanted, the abstraction should be refined by adding the underlying elements. Every relationship type the language permits is listed in the Appendix B tables.
The graph holds this control, the 0 it maps to, and the evidence behind each claim, over MCP and REST.