ВЕРСИЯ ДЛЯ СЛАБОВИДЯЩИХ

@Выр принадлежит @Обл

Тип результата: 

ex("boolean",[])

Шаблон разработан в понятии: 
Тип аргументов: 

var(ex("term",[])),w("принадлежит"),var(ex("ob",[]))

Комментарий: 

Проверяет, является ли элементом

Имя операции: 

is_element