(U-000233BC): Use `->subsumptive'.