917826.fig.013
Figure 13: The categorical representation that shows how rules and enable the transformation of rule into rule (following [37]).