
initially 
	at_package(o0,c0_l0) |
	at_package(o0,c0_l1) |
	at_package(o0,c0_l2);
initially 
	at_package(o1,c1_l0) |
	at_package(o1,c1_l1) |
	at_package(o1,c1_l2);

goal at_package(o0,c0_l1);
goal at_package(o1,c0_l1);