(U-00021ADF): Use `->subsumptive'.