(U-000261E5): Use `->subsumptive'.