# Non-terminal symbol `Implication`

rule(s) | occurrences

#### Description

An implication consists of a `HEAD` (the LHS - what's on the left of `:-`) and a `BODY` (the RHS - what's on the right of `:-`).

Defining rules for nonterminal symbol `Implication`:

`Implication` |  | `HEAD` '`:-`' `BODY`

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

`HornRule` |  | `Implication`

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