(A-U+4EBE-itaiji-004): New abstract node; use `<-denotational' for