# Non-terminal symbol `TERM`

rule(s) | occurrences

#### Description

A `TERM` is one of: `Var` denoting a logical variable, `Con` denoting a constant as numbers, characters, strings, IRIs, etc., ..., `Expr` denoting an complex expression.

Defining rules for nonterminal symbol `TERM`:

`TERM` |  | '`Var`'
|  | `Con`
|  | `Expr`

Occurrences of symbol `TERM` in body of other rules:

`Atom` |  | `TERM` '`=`' `TERM`
`TERM_plus` |  | `TERM`
`TERM_plus` |  | `TERM_plus` `TERM`

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