#PDDL #domain definition #planning language #formal specification