# Non-terminal symbol `Formula`

rule(s) | occurrences

Defining rules for nonterminal symbol `Formula`:

`Formula` |  | `Atomic`
|  | `AND` `OPENPAR` `Formulas_opt` `CLOSEPAR`
|  | `OR` `OPENPAR` `Formulas_opt` `CLOSEPAR`
|  | `EXISTS` `Vars` `OPENPAR` `Formula` `CLOSEPAR`
|  | `EXTERNAL` `OPENPAR` `Atom` `CLOSEPAR`

Occurrences of symbol `Formula` in body of other rules:

`Implies` |  | `Atomic` `IF` `Formula`
`Formulas` |  | `Formula`
`Formulas` |  | `Formulas` `Formula`

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