검증 엔진(210)은 문법에 의해 지정된 컨텍스트를 검증하여 해당 컨텍스트가 모순을 포함하지 않도록 보장할 수 있다.
The verification engine 210 may verify the context specified by the grammar to ensure that the corresponding context does not contain a contradiction.