(U-000218EA): Use `->denotational' and `->subsumptive'.