汎化セット(Generalization Set)の「パワータイプ(PowerType)」記法において、` : PowerTypeClassName` というラベルはどこに記述されるか。

汎化セットの制約や名前と同様に、汎化の線のそばに ` : 区分名` の形式で記述される。