(U-00025215): Use `->subsumptive'.