(U-0002D531): Add `<-denotational' for A-IWDSU+8FB1.