(A-cgnU+2DBAD): Add `<-denotational' for A-cgnU+53DA.