검증

왜 기계적 검증이 필요한가

자연어에는 유효하지 않은 문장이라는 개념이 없다