(U-000277E9): Use `->subsumptive'.