(A-IWDSU+5F54): Add `<-denotational' for A-cgnU+5F54.