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