@Область2

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

ex("boolean",[])

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

var(ex("ob",[])),w("

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

Является ли Область2 подобластью Область1

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

is_subobject