Non-terminal symbol `Consequent`

Defining rules for nonterminal symbol Consequent:

`Consequent`		`AtomicFormula`
		`AND` `OPENPAR` `AtomicFormula_star` `CLOSEPAR`

Occurrences of symbol Consequent in body of other rules:

Implies IriMeta_opt Consequent IF Antecedent

Non-terminal symbol Consequent