execution.
Select "thing".</tt></li>

<li>
<tt>From the predicate list, select a predicate "at_thing(thing,place),
click "Add" button to add it to the "Edit State ..." window (edit window).
<i>The
selected predicate must refer to the selected sort.</i></tt></li>

<li>
<tt>Repeat the previous procedure to add all essential predicates to the
edit window for form a new complete state. For this case add predicate
"inside(thing,bag)" and fits_in(thing,bag) to the edit window.</tt></li>

<li>
<tt>Click on the var