(U-000230BB): Use `->denotational' and `->subsumptive'.