Catherine Losada, K-nets and Hierarchical Structural Recursion
Example 10. Demonstrates that certain graphs that are related by <Tj> are also related by <Ik> when one of the graphs is retrograded