(A-MJ056967): New abstract node; use `<-denotational' for A-cgnU+5147;