(U-000200CA): Use `->subsumptive'.