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