(U-000200B0): Add `<-denotational' for BUCS+864E.