(A-UU+5C07): New abstract node; use `<-denotational' for U+5C07.