">to create a domain name</a></tt>
<br><tt><a href="#sort">to create the sort tree</a></tt>
<br><tt><a href="#predicate">to create predicates</a></tt>
<br><tt><a href="#state">to create state definitions</a></tt>
<br><tt><a href="#operator">to create operators</a></tt>
<br><tt><a href="#task">to create tasks</a></tt></blockquote>

<ul>
<h3>
<a NAME="name"></a>Create The Domain Name</h3>
<tt><font size=+0>Select the "new Domain" function under the menu "File".
The domain properties box will appear. You must 