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