(U-00024C23): Use `->denotational' and `->subsumptive'; map to