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