The hierarchical task network ({\sf HTN}) formalism is very expressive and
used to express a wide variety of planning problems. In contrast to the
classical {\sf STRIPS} formalism in which only the action model needs to be
specified, the {\sf HTN} formalism requires to specify, in addi