(U-000205DA): Use `->subsumptive'.