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

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

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

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

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

новый термин, терм класса
var(ex("new",[])), var(ex("ob",[]))

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

Создается новый класс A, как подкласс класса B.

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

make_subobject