개체 형식의 인구 그 역할의 모든 인스턴스가 필요한 제약 조건입니다. 분리 필수 역할 제약 조건으로 개체 형식 인구의 각 구성원 재생 해야 합니다 역할 중 하나 이상을 표시 합니다.