REPLY TO COMMENT


ThrustVectoring
You can replace two related dependencies with a joint dependency - it will have the description of "Do both A and B" and the set of arrows that both A and B has. If you repeat this process recursively, you can group low-level dependencies into high-level ones like you've described.

In other words, "A->B->C->D" can be described by "A->B&C->D"