(U-0002564A): Use `->denotational' and `->subsumptive'; separate