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