(U-00020BB2): Use `->denotational' and `->subsumptive'.