When modifying the Definition, positive or negative primitives can be added using the buttons. When the Definition is updated, either by clicking Update Definition , or by clicking the next arrow, the updates are applied to the Definition and the Model if a model is defined for that Definition.
The Show Negatives check box toggles visualisation
On or
Off. When
On the negatives can be seen before applying the changes.