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

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

ex("command",[])

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

var(ex("ob",[])),w("-"),w("подобласть"),w("области"),var(ex("ob",[]))

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

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

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

make_subobject