Non-terminal symbol `AtomOrFrame`

Defining rules for nonterminal symbol AtomOrFrame:

`AtomOrFrame`		`Atom`
		`Frame`

Occurrences of symbol AtomOrFrame in body of other rules:

RawFormula EXTERNAL OPENPAR AtomOrFrame CLOSEPAR

Non-terminal symbol AtomOrFrame