Non-terminal symbol `Rule`

Defining rules for nonterminal symbol Rule:

`Rule`		`Clause`
		`QuantifiedClause`

Occurrences of symbol Rule in body of other rules:

RuleOrGroup Rule

Non-terminal symbol Rule