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