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

@A - подобласть @B

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

boolean
ex("boolean",[])

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

область, область
ex("ob",[]), ex("ob",[]))

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

Проверяется является ли A подобластью в B.

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

is_subobject