(G-IU+2F9FB): New node; add `<-denotational' for U-0002940A.