A <<union>> is used to model a choice between a set of options. These options are typically modelled as properties of the union, with multiplicity 1..x.
The PMT should allow profiling these options (even if an option has multiplicity 1..x), much like it is done for codes of a code list.
A consistency check would then be to ensure that a union that belongs to a profile has at least one option that also belongs to the profile.