(A-U+386D-itaiji-004): Add `<-denotational@component' for