(U-000276CF): Use `->subsumptive'.