(U-00020163): Add `<-denotational' for A-IWDSU+21567; apply new