Non-terminal symbol Clause

rule(s)occurrences

Defining rules for nonterminal symbol Clause:

Clause AtomicFormula 
Implies 

Occurrences of symbol Clause in body of other rules:

Rule Clause 
QuantifiedClause IriMeta_opt  FORALL  Var_plus  OPENPAR  Clause  CLOSEPAR 

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