Семантический и синтаксический анализ импликативно-негативного фрагмента системы RMстатья