Non-terminal symbol Generalization

Defining rules for nonterminal symbol Generalization:

Generalization LhsTerm  SUP  RhsTerm

Occurrences of symbol Generalization in body of other rules:

Clause Generalization  ';'