(A-cgnU+7591): Delete `<-denotational' for BUCS+7591.