의미론적 제약 조건
텍스트의 형식적 구조가 아닌, 그 내용이 담고 있는 의미나 의도가 특정 기준을 만족해야 한다는 조건이다. 결정론적 시스템으로 검증하기 가장 어려운 영역이며 LLM이 주로 활용되는 지점이다.