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

@Выраж1_ob не равно @Выраж2_ob

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

команда
ex("command",[])

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

терм класса, терм класса
var(ex("ob",[])), var(ex("ob",[]))

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

Выражения полагаются неравными.

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

not_equal