# Terminal symbol '`(`'

Occurrences of symbol '`(`' in grammar rules:

`CONJ` |  | '`And`' '`(`' `CONDIT_star` '`)`'
`DISJ` |  | '`Or`' '`(`' `CONDIT_star` '`)`'
`QUANTIF` |  | '`Exists`' `Var_plus` '`(`' `CONDIT` '`)`'
`Atom` |  | '`Rel`' '`(`' `TERM_star` '`)`'
`Expr` |  | '`Fun`' '`(`' `TERM_star` '`)`'
`QUANTIF` |  | '`Forall`' `Var_plus` '`(`' `CONDIT` '`)`'

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