형식 이론 및 수리 문법을 활용한 전치사 в, на의 의미 분석