Where one element specializes a second element and that second element in turn specializes a third, a specialization relationship between the first and the third must also be allowed and derivable. A conforming tool must produce or accept that implied generalization when the two input specializations are asserted.
The graph holds this control, the 0 it maps to, and the evidence behind each claim, over MCP and REST.