,
in which case it becomes a precondition of the process running that an
object of the appropriate sort is in that state,
or a <b>transition node</b>, in which case the process link must be
associated with a <b>boolean</b> property of the connected object sort
and the process will have as part of its precondition that the boolean
property be set to <b>true</b>.
<h4>Boolean Properties</h4>
In the property dialog associated with object states properties may be
defined as having a <i>boolean</i> value sort. Tr