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