pddl + txt