캡슐
목표, 제약, 사실, 종료 조건이 정의된 독립적인 추론 실행 단위이다. 모델의 모든 사고는 이 경계 내부에서만 발생하며, 선언된 모든 조건이 충족되어야만 봉인되어 다음 단계로 넘어갈 수 있는 구조적 컨테이너 역할을 한다.