(U-000219B9): Use `->subsumptive'.