Terminal symbol
'
)
'
Occurrences of symbol '
)
' in grammar rules:
CONJ
'
And
' '
(
'
CONDIT_star
'
)
'
DISJ
'
Or
' '
(
'
CONDIT_star
'
)
'
QUANTIF
'
Exists
'
Var_plus
'
(
'
CONDIT
'
)
'
QUANTIF
'
Forall
'
Var_plus
'
(
'
CONDIT
'
)
'
Atom
'
Rel
' '
(
'
TERM_star
'
)
'
Expr
'
Fun
' '
(
'
TERM_star
'
)
'
Copyright © 2006
ILOG, Inc.
; All Rights Reserved.