Уточнение спецификации B

Question

Считайте, что у меня есть следующее в спецификации B:

flower <: FLOWER
age <: AGE
owner <: OWNER
Type <: flower * age
Buyer : owner <-> flower

Могу ли я создать уточнение следующим образом:

flower <: FLOWER
age <: AGE
owner <: OWNER
Type : Owner <-> flower * age
Buyer : owner <-> flower

Answer 1

Нет, это невозможно, потому что в уточнении тип переменной должен иметь тот же тип, что и в спецификации (если в спецификации есть переменная с таким же именем, как здесь).