Non-terminal symbol Atom

rule(s)occurrences

Defining rules for nonterminal symbol Atom:

Atom UniTerm 

Occurrences of symbol Atom in body of other rules:

AtomicFormula Atom 
AtomOrFrame Atom 

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