UMLR — Multiple Generalization Sets

A generalization can appear in multiple generalization sets. The notation
for this isn't completely clear to me as there are no examples of this
case in the spec and the existing examples would be ambiguous if followed.

The main problem is that there are multiple labels for the generalization
set properties, for example the :TreeSpecies and

labels in the Tree example. Somehow these need to be visually joined to
show they are properties of the same set. Additionally there are no
examples showing the set name and any other properties so it's not clear
what the full notation is.

I'd guess the notation should actually be a single label in the form:

name

name : PowerType

Which of those makes most sense?