Non-terminal symbol `AtomicFormula_star`

Defining rules for nonterminal symbol AtomicFormula_star:

`AtomicFormula_star`
		`AtomicFormula_star` `AtomicFormula`

Occurrences of symbol AtomicFormula_star in body of other rules:

Consequent AND OPENPAR AtomicFormula_star CLOSEPAR

Non-terminal symbol AtomicFormula_star