(A-U+65E2-itaiji-002): New abstract node; use `<-denotational' for