(U-0002156B): Use `->subsumptive'.