В данной работе был реализован алгоритм для определения экранирования предложений на языке Рефал, а также интерфейс для перевода функций на Рефале в задачи для этого алгоритма.
Для проверки экранирования одного образца другим можно запустить для них функцию enclosure_check(p1, p2), или воспользоваться интерфейсом, описанным в файле work_creator.py, как это сделано в main.py.