Labels

Labels can be defined at pattern level. Instances can be marked with labels of the same pattern, but not with labels of another pattern.