(U-0002138E): Use `->subsumptive'.