[PD] Pd-Dom for abstraction chaining