Fig. (10) Inference rules assigned to retained functions.