Integration with PDDL parser