Specialization records that one element is a subtype of another; the generic element is the source and the specialized element is the target. It is always allowed between same-type elements and may be shown by placing the specialized element within the generic one; the whole generic element is specialized.
The graph holds this control, the 0 it maps to, and the evidence behind each claim, over MCP and REST.