(U-000224F5): Use `->subsumptive'.