(A-IWDSU+5C23): Add `<-denotational@component' for A-NIWDSU+5C23.