(U-00020AD3): Use `->subsumptive'.