type_hlc
INSTANCE type_hlc#5;
extracted_from = {explicit_attribute#290};
description = "the value of person.name must be of type string_type";
corresponds_to = {correspondence#1};
attribute = explicit_attribute#290;
tipe = simple_type(string_type);
END_INSTANCE;
INSTANCE type_hlc#6;
extracted_from = {explicit_attribute#291};
description = "the value of person.age must be of type integer_type";
corresponds_to = {correspondence#2};
attribute = explicit_attribute#291;
tipe = simple_type(integer_type);
END_INSTANCE;
INSTANCE type_hlc#7;
extracted_from = {defined_type#36};
description = "the value of person.gender must be of type [enumeration_symbol#43, enumeration_symbol#44]";
attribute = explicit_attribute#292;
tipe = enumeration_type([enumeration_symbol#43, enumeration_symbol#44]);
END_INSTANCE;
INSTANCE type_hlc#8;
extracted_from = {explicit_attribute#292};
description = "the value of person.gender must be of type gender_type";
attribute = explicit_attribute#292;
tipe = defined_type#36;
END_INSTANCE;
INSTANCE type_hlc#9;
extracted_from = {explicit_attribute#293};
description = "the value of person.name must be of type string_type";
corresponds_to = {correspondence#1};
attribute = explicit_attribute#293;
tipe = simple_type(string_type);
END_INSTANCE;
INSTANCE type_hlc#10;
extracted_from = {explicit_attribute#294};
description = "the value of person.age must be of type integer_type";
corresponds_to = {correspondence#2};
attribute = explicit_attribute#294;
tipe = simple_type(integer_type);
END_INSTANCE;