pressions used in transitions and processes. We see the
<b><i>distance</i></b> predicate being referenced in the following <b>Fluent
Constraint</b> dialog of a travel process.<br>
<img src="plusFluents3.jpg" alt="" border="0" height="220" width="311"><br>
<h3>OclPlus in the Atomic Invariants Editor</h3>
In addition to defining the structure of fluent properties and
relations done in the History Editor and the Predicate editors actual
instance values must be provided in the <b>Atomic Invariants Editor</b><br