(U-0002CEF7): Add `<-denotational' for A-cgnU+53DA.