 the toolbar.</font></li>
</ul>

<ol>
<li>
<tt>Type "at_bag" as a new predicate's name in the text field labelled
"Name". Click button "New", then this predicate will appear in the "Predicates
... " window, and also appears in the "Edit Predicate" window.</tt></li>

<li>
<tt>To build members of the predicate, drag "bag" then "place" from the
sort tree window to the new created predicate in the "Edit Predicate" window.
The order of the members will depend on where it's been dropped.</tt></li>

<li>
<tt>When 