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

@A содержится в @B

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

ex("boolean",[])

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

var(ex("ob",[])),w("содержится"),w("в"),var(ex("ob",[]))

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

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

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

is_subobject