(U-000263F0): Use `->subsumptive'.