(U-0002422B): Use `->subsumptive'.