(U-00021C61): Use `->subsumptive'.