Symbol: to_mmp_pm_domain