(U-00024BBC): Use `->subsumptive'.