NEST: A Compositional Approach to Rule-Based and Case-Based Reasoning

Figure 4

Function GLOB for standard inference mechanism.