popover-labels for notations, prefLabels for all concepts