(define (problem minecraft) 
    (:domain minecraft)

    (:objects
    
	grass-0 - moveable
	log-1 - moveable
	log-2 - moveable
	log-3 - moveable
	log-4 - moveable
	log-5 - moveable
	new-0 - moveable
	new-1 - moveable
	new-2 - moveable
	agent - agent
	loc-0-0 - static
	loc-0-1 - static
	loc-0-2 - static
	loc-1-0 - static
	loc-1-1 - static
	loc-1-2 - static
	loc-2-0 - static
	loc-2-1 - static
	loc-2-2 - static
	loc-3-0 - static
	loc-3-1 - static
	loc-3-2 - static
	loc-4-0 - static
	loc-4-1 - static
	loc-4-2 - static
    )

    (:init
    
	(hypothetical new-0)
	(hypothetical new-1)
	(hypothetical new-2)
	(isgrass grass-0)
	(islog log-1)
	(islog log-2)
	(islog log-3)
	(islog log-4)
	(islog log-5)
	(at grass-0 loc-1-1)
	(at log-1 loc-3-0)
	(at log-2 loc-3-0)
	(at log-3 loc-2-0)
	(at log-4 loc-4-2)
	(at log-5 loc-0-0)
	(agentat loc-3-0)
	(handsfree agent)

    ; action literals
    
	(recall grass-0)
	(craftplank grass-0 log-1)
	(craftplank grass-0 log-2)
	(craftplank grass-0 log-3)
	(craftplank grass-0 log-4)
	(craftplank grass-0 log-5)
	(craftplank grass-0 new-0)
	(craftplank grass-0 new-1)
	(craftplank grass-0 new-2)
	(equip grass-0)
	(pick grass-0)
	(recall log-1)
	(craftplank log-1 grass-0)
	(craftplank log-1 log-2)
	(craftplank log-1 log-3)
	(craftplank log-1 log-4)
	(craftplank log-1 log-5)
	(craftplank log-1 new-0)
	(craftplank log-1 new-1)
	(craftplank log-1 new-2)
	(equip log-1)
	(pick log-1)
	(recall log-2)
	(craftplank log-2 grass-0)
	(craftplank log-2 log-1)
	(craftplank log-2 log-3)
	(craftplank log-2 log-4)
	(craftplank log-2 log-5)
	(craftplank log-2 new-0)
	(craftplank log-2 new-1)
	(craftplank log-2 new-2)
	(equip log-2)
	(pick log-2)
	(recall log-3)
	(craftplank log-3 grass-0)
	(craftplank log-3 log-1)
	(craftplank log-3 log-2)
	(craftplank log-3 log-4)
	(craftplank log-3 log-5)
	(craftplank log-3 new-0)
	(craftplank log-3 new-1)
	(craftplank log-3 new-2)
	(equip log-3)
	(pick log-3)
	(recall log-4)
	(craftplank log-4 grass-0)
	(craftplank log-4 log-1)
	(craftplank log-4 log-2)
	(craftplank log-4 log-3)
	(craftplank log-4 log-5)
	(craftplank log-4 new-0)
	(craftplank log-4 new-1)
	(craftplank log-4 new-2)
	(equip log-4)
	(pick log-4)
	(recall log-5)
	(craftplank log-5 grass-0)
	(craftplank log-5 log-1)
	(craftplank log-5 log-2)
	(craftplank log-5 log-3)
	(craftplank log-5 log-4)
	(craftplank log-5 new-0)
	(craftplank log-5 new-1)
	(craftplank log-5 new-2)
	(equip log-5)
	(pick log-5)
	(recall new-0)
	(craftplank new-0 grass-0)
	(craftplank new-0 log-1)
	(craftplank new-0 log-2)
	(craftplank new-0 log-3)
	(craftplank new-0 log-4)
	(craftplank new-0 log-5)
	(craftplank new-0 new-1)
	(craftplank new-0 new-2)
	(equip new-0)
	(pick new-0)
	(recall new-1)
	(craftplank new-1 grass-0)
	(craftplank new-1 log-1)
	(craftplank new-1 log-2)
	(craftplank new-1 log-3)
	(craftplank new-1 log-4)
	(craftplank new-1 log-5)
	(craftplank new-1 new-0)
	(craftplank new-1 new-2)
	(equip new-1)
	(pick new-1)
	(recall new-2)
	(craftplank new-2 grass-0)
	(craftplank new-2 log-1)
	(craftplank new-2 log-2)
	(craftplank new-2 log-3)
	(craftplank new-2 log-4)
	(craftplank new-2 log-5)
	(craftplank new-2 new-0)
	(craftplank new-2 new-1)
	(equip new-2)
	(pick new-2)
	(move loc-0-0)
	(move loc-0-1)
	(move loc-0-2)
	(move loc-1-0)
	(move loc-1-1)
	(move loc-1-2)
	(move loc-2-0)
	(move loc-2-1)
	(move loc-2-2)
	(move loc-3-0)
	(move loc-3-1)
	(move loc-3-2)
	(move loc-4-0)
	(move loc-4-1)
	(move loc-4-2)
    )

    (:goal (and  (inventory log-3)  (inventory new-0) ))
)
    