(U-00023B09): Use `->subsumptive'.