(U-00020E04): Use `->denotational' and `->subsumptive'; integrate