(U-0002339B): Integrate M-14401; use `->subsumptive'.