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