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

Figure 5

Function CTR for logical inference mechanism.