dairyanimalを別のクラスとする判断を下した場合には詳細は変化するが、ドメインや制約は変わらない。