# 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`

Copyright © 2008 ILOG, Inc.; All Rights Reserved.