bdi4jade.examples.blocksworld.goal