(U-000209DC): Use `->subsumptive'.