Listing 2: PDDL Problem for "Shelves a priori"