(U-000223A4): Use `->subsumptive'.