 show the edit popup menu. Click on "cut" to confirm.</tt></li>

<li>
<tt>To reorder a predicates members/arguments, first select the proper
predicate to bring it's content to the edit window. Use drag and drop to
reposition the arguments.</tt></li>

<li>
<tt>When all editing procedures are finished, click "Verify" button to
verify predicates. If all predicates are valid then click "Commit" button
to add these predicates to the "briefcase" domain.</tt></li>

<li>
<tt>Close the "Predicate View" window.</tt><