(BC-8CAF-itaiji-001): Add `<-denotational' for A-BC-8CAF-itaiji-001.