(A-GT-K04958): Add `<-denotational' for A-IWDSU+8881-itaiji-001.