Create sokodan-domain.pddl