구속 조건
다음 단계가 유효하게 진행되려면 반드시 충족해야 하는 전제 조건입니다. 시스템은 맥락에 맞는 조건을 찾아내고, 그 조건이 충족됐는지 확인한 뒤, 위반된 진행을 차단해야 합니다.
