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