Non-terminal symbol `Atom`

Defining rules for nonterminal symbol Atom:

Atom Const OPENPAR UniTermBody CLOSEPAR

Occurrences of symbol Atom in body of other rules:

`Formula`		`EXTERNAL` `OPENPAR` `Atom` `CLOSEPAR`
`Atomic`		`Atom`

Non-terminal symbol Atom