Simplified the problem pddl