(U-000200DB): Add `<-denotational' for A-cgnU+200DB.