О возможности формального анализа новых значений словтезисы доклада