(U-000230B1): Use `->subsumptive'.