(* PER LEVEL TERM STRUCTURE *************************************************)
(* Policy: term metavariables : A, B, C, D, M, N
(* PER LEVEL TERM STRUCTURE *************************************************)
(* Policy: term metavariables : A, B, C, D, M, N