Non-terminal symbol `Term`

Defining rules for nonterminal symbol Term:

`Term`		`NUMBER`
		`Op`
		`Op` '`(`' `Body` '`)`'
		`OP_` `Term`
		`Term` `_OP_` `Term`
		`Term` `_OP`
		'`(`' `Term` '`)`'

Occurrences of symbol Term in body of other rules:

`Clause`		`Term` '`.`'
`Body`		`Term`
`Body`		`Body` '`,`' `Term`

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