(U-000278D0): Use `->subsumptive'.