Non-terminal symbol `AtomicFormula`

Defining rules for nonterminal symbol AtomicFormula:

Occurrences of symbol AtomicFormula in body of other rules:

`Clause`		`AtomicFormula`
`Consequent`		`AtomicFormula`
`AtomicFormula_star`		`AtomicFormula_star` `AtomicFormula`
`RawFormula`		`AtomicFormula`

Non-terminal symbol AtomicFormula