(U-0002531A): Use `->subsumptive'.