(U-00020ADA): Add `<-denotational' for BUCS+725F; separate IU+20ADA.