Catherine Losada, K-nets and Hierarchical Structural Recursion
Example 13. K-nets that interpret chords g1, g2 and g3 from Example 12