(U-00023D15): Use `->subsumptive'; integrate M-17420.