(A-MJ007290): New abstract node; use `<-denotational' for A-cgnU+5177.