(U-000232A1): Use `->subsumptive'.