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