"??? A is a function which returns the label of a given node or edge;" . . . .