(J97-5675): Add `<-denotational' for BUCS+5002.