(U-00025AF1): Use `->subsumptive'.