(B-A777): Unify IWDS1-0361; add `<-denotational' for BUCS+5306.