Non-terminal symbol `Atomic`

Defining rules for nonterminal symbol Atomic:

`Atomic`		`Atom`
		`Equal`
		`Member`
		`Subclass`
		`Frame`

Occurrences of symbol Atomic in body of other rules:

`Clause`		`Atomic`
`Implies`		`Atomic` `IF` `Formula`
`Formula`		`Atomic`

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