In the case of a singe rule, when the rule has been set, it may be complimented, transformed in a number of ways to an equivalent rule, or canalyzing inputs may be set. The (changed) rule may be saved as a ``*.rul'' file (see filling #28) and is displayed in the rule window.
The following top right prompt is presented.
transform rule: comp-c, neg-n, ref-r canalyzing-C (values shown are examples)
equivalent with greater nhood (4-9), save-s: (``greater nhood'' if k<9)
The rule transformations and changes are as follows::