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