# Non-terminal symbol `CONDIT`

rule(s) | occurrences

#### Description

This the root symbol of the core grammar dealing with only positive conditions. This is based on the revised version of Sept.10, 2006, by Harold Boley.

Defining rules for nonterminal symbol `CONDIT`:

`CONDIT` |  | `LITFORM`
|  | `QUANTIF`
|  | `CONJ`
|  | `DISJ`

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

`BODY` |  | `CONDIT`
`QUANTIF` |  | '`Exists`' `Var_plus` '`(`' `CONDIT` '`)`'
`CONDIT_plus` |  | `CONDIT`
`CONDIT_plus` |  | `CONDIT_plus` `CONDIT`
`QUANTIF` |  | '`Forall`' `Var_plus` '`(`' `CONDIT` '`)`'

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