Non-terminal symbol `Const`

Defining rules for nonterminal symbol Const:

`Const`		`FullyQualifiedConstant`
		`ConstShort`

Occurrences of symbol Const in body of other rules:

`UniTerm`		`Const` `OPENPAR` `UniTermBody` `CLOSEPAR`
`RawTerm`		`Const`

Non-terminal symbol Const