Terminal symbol `OPENPAR`

Occurrences of symbol OPENPAR in grammar rules:

`Group`		`GROUP` `Meta_opt` `OPENPAR` `RuleSet_opt` `CLOSEPAR`
`Rule`		`FORALL` `Vars_opt` `OPENPAR` `Clause` `CLOSEPAR`
`Formula`		`AND` `OPENPAR` `Formulas_opt` `CLOSEPAR`
`Formula`		`OR` `OPENPAR` `Formulas_opt` `CLOSEPAR`
`Formula`		`EXISTS` `Vars` `OPENPAR` `Formula` `CLOSEPAR`
`Formula`		`EXTERNAL` `OPENPAR` `Atom` `CLOSEPAR`
`Atom`		`Const` `OPENPAR` `UniTermBody` `CLOSEPAR`
`Term`		`EXTERNAL` `OPENPAR` `Expr` `CLOSEPAR`
`Expr`		`Const` `OPENPAR` `UniTermBody` `CLOSEPAR`

Terminal symbol OPENPAR