Non-terminal symbol Clause

Defining rules for nonterminal symbol Clause:

Clause Pragma  ';'  SimilarityDegree  ';'  Unification  ';'  Generalization  ';'  error  ';'

Occurrences of symbol Clause in body of other rules:

Clauses Clause  Clauses Clauses  Clause