planner_task(1,
[se(crate,crate3,[stacked(crate3,shelf9)]),
se(space,s10,[used(s10)]),
se(space,s6,[unused(s6)]),
se(space,s3,[unused(s3)]),
se(space,s2,[used(s2)])],

[ss(truck,truck1,[truck_at(truck1,s12),truck_empty(truck1)]),
ss(space,s1,[used(s1)]),
ss(space,s2,[used(s2)]),
ss(space,s3,[used(s3)]),
ss(space,s4,[unused(s4)]),
ss(space,s6,[unused(s6)]),
ss(space,s7,[used(s7)]),
ss(space,s8,[unused(s8)]),
ss(space,s9,[used(s9)]),
ss(space,s10,[unused(s10)]),
ss(space,s12,[used(s12)]),
ss(space,s13,[used(s13)]),
ss(space,s14,[used(s14)]),
ss(space,s16,[used(s16)]),
ss(driver,driver1,[driver_on_truck(driver1,truck1),driver_at(driver1,s3)]),
ss(crate,crate1,[crate_at(crate1,s12),loaded_on_crane(crate1)]),
ss(crate,crate2,[crate_at(crate2,s2),loaded_on_crane(crate2)]),
ss(crate,crate3,[crate_at(crate3,s12),stacked(crate3,shelf7)]),
ss(crane,crane1,[crane_at(crane1,s14),crane_raised(crane1),crane_loaded(crane1,crate1)])]
).

planner_task(2,
[se(crate,crate3,[loaded_on_crane(crate3)]),
se(driver,driver1,[driver_at(driver1,s8),driver_on_floor(driver1)]),
se(space,s16,[used(s16)]),
se(space,s13,[unused(s13)]),
se(space,s12,[unused(s12)]),
se(space,s8,[used(s8)]),
se(space,s7,[unused(s7)]),
se(space,s3,[unused(s3)]),
se(space,s1,[unused(s1)]),
se(truck,truck1,[truck_at(truck1,s9)])],

[ss(truck,truck1,[truck_at(truck1,s10),truck_empty(truck1)]),
ss(space,s1,[unused(s1)]),
ss(space,s2,[used(s2)]),
ss(space,s3,[used(s3)]),
ss(space,s4,[unused(s4)]),
ss(space,s6,[unused(s6)]),
ss(space,s7,[used(s7)]),
ss(space,s8,[unused(s8)]),
ss(space,s9,[used(s9)]),
ss(space,s10,[used(s10)]),
ss(space,s12,[unused(s12)]),
ss(space,s13,[unused(s13)]),
ss(space,s14,[used(s14)]),
ss(space,s16,[used(s16)]),
ss(driver,driver1,[driver_on_truck(driver1,truck1),driver_at(driver1,s14)]),
ss(crate,crate1,[crate_at(crate1,s10),loaded_on_crane(crate1)]),
ss(crate,crate2,[crate_at(crate2,s14),stacked(crate2,shelf9)]),
ss(crate,crate3,[crate_at(crate3,s16),stacked(crate3,shelf14)]),
ss(crane,crane1,[crane_at(crane1,s13),crane_lowered(crane1),crane_loaded(crane1,crate1)])]
).