계약

다른 동적 증거 규칙 세트 유형의 경우와 마찬가지로, 동적 증거에는 계산된 속성 규칙 세트의 필수 구조에 대한 예상이 포함해야 하는 규칙 클래스와 속성으로 포함됩니다. 따라서 이러한 규칙 세트에 대해서는 다음과 같은 제한사항이 강요됩니다.