Added ellipsis in PDDL. Let me know if this is what you meant