Action stack(1, 2)

Preconditions:

holding(1)
clear(2)

Add list:

on(1, 2)
clear(1)
handempty

Delete list:

holding(1)
clear(2)

Conditional effects:


Indeterminate effects:



Action stack(1, 3)

Preconditions:

holding(1)
clear(3)

Add list:

on(1, 3)
clear(1)
handempty

Delete list:

holding(1)
clear(3)

Conditional effects:


Indeterminate effects:



Action stack(2, 1)

Preconditions:

holding(2)
clear(1)

Add list:

on(2, 1)
clear(2)
handempty

Delete list:

holding(2)
clear(1)

Conditional effects:


Indeterminate effects:



Action stack(2, 3)

Preconditions:

holding(2)
clear(3)

Add list:

on(2, 3)
clear(2)
handempty

Delete list:

holding(2)
clear(3)

Conditional effects:


Indeterminate effects:



Action stack(3, 1)

Preconditions:

holding(3)
clear(1)

Add list:

on(3, 1)
clear(3)
handempty

Delete list:

holding(3)
clear(1)

Conditional effects:


Indeterminate effects:



Action stack(3, 2)

Preconditions:

holding(3)
clear(2)

Add list:

on(3, 2)
clear(3)
handempty

Delete list:

holding(3)
clear(2)

Conditional effects:


Indeterminate effects:



Action unstack(1, 2)

Preconditions:

on(1, 2)
clear(1)
handempty

Add list:

holding(1)
clear(2)

Delete list:

on(1, 2)
clear(1)
handempty

Conditional effects:


Indeterminate effects:



Action unstack(1, 3)

Preconditions:

on(1, 3)
clear(1)
handempty

Add list:

holding(1)
clear(3)

Delete list:

on(1, 3)
clear(1)
handempty

Conditional effects:


Indeterminate effects:



Action unstack(2, 1)

Preconditions:

on(2, 1)
clear(2)
handempty

Add list:

holding(2)
clear(1)

Delete list:

on(2, 1)
clear(2)
handempty

Conditional effects:


Indeterminate effects:



Action unstack(2, 3)

Preconditions:

on(2, 3)
clear(2)
handempty

Add list:

holding(2)
clear(3)

Delete list:

on(2, 3)
clear(2)
handempty

Conditional effects:


Indeterminate effects:



Action unstack(3, 1)

Preconditions:

on(3, 1)
clear(3)
handempty

Add list:

holding(3)
clear(1)

Delete list:

on(3, 1)
clear(3)
handempty

Conditional effects:


Indeterminate effects:



Action unstack(3, 2)

Preconditions:

on(3, 2)
clear(3)
handempty

Add list:

holding(3)
clear(2)

Delete list:

on(3, 2)
clear(3)
handempty

Conditional effects:


Indeterminate effects:



Action putdown(1)

Preconditions:

holding(1)

Add list:

ontable(1)
clear(1)
handempty

Delete list:

holding(1)

Conditional effects:


Indeterminate effects:



Action putdown(2)

Preconditions:

holding(2)

Add list:

ontable(2)
clear(2)
handempty

Delete list:

holding(2)

Conditional effects:


Indeterminate effects:



Action putdown(3)

Preconditions:

holding(3)

Add list:

ontable(3)
clear(3)
handempty

Delete list:

holding(3)

Conditional effects:


Indeterminate effects:



Action pickup(1)

Preconditions:

clear(1)
handempty
ontable(1)

Add list:

holding(1)

Delete list:

ontable(1)
clear(1)
handempty

Conditional effects:


Indeterminate effects:



Action pickup(2)

Preconditions:

clear(2)
handempty
ontable(2)

Add list:

holding(2)

Delete list:

ontable(2)
clear(2)
handempty

Conditional effects:


Indeterminate effects:



Action pickup(3)

Preconditions:

clear(3)
handempty
ontable(3)

Add list:

holding(3)

Delete list:

ontable(3)
clear(3)
handempty

Conditional effects:


Indeterminate effects: