Listing 1: PDDL Domain for all examples