type_hlc
INSTANCE type_hlc#5;
extracted_from = {explicit_attribute#290};
description = "the value of person.surname 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.first_name must be of type string_type";
corresponds_to = {correspondence#2};
attribute = explicit_attribute#291;
tipe = simple_type(string_type);
END_INSTANCE;
INSTANCE type_hlc#7;
extracted_from = {explicit_attribute#292};
description = "the value of person.middle_names must be of type LIST [0 : ?] OF string_type";
corresponds_to = {correspondence#3};
attribute = explicit_attribute#292;
tipe = list_type#23;
END_INSTANCE;
INSTANCE type_hlc#8;
extracted_from = {explicit_attribute#293};
description = "the value of person.age must be of type integer_type";
corresponds_to = {correspondence#6};
attribute = explicit_attribute#293;
tipe = simple_type(integer_type);
END_INSTANCE;
INSTANCE type_hlc#9;
extracted_from = {defined_type#36};
description = "the value of person.role must be of type [entity_type#191, entity_type#194]";
corresponds_to = {correspondence#7};
attribute = explicit_attribute#294;
tipe = select_type({entity_type#191, entity_type#194});
END_INSTANCE;
INSTANCE type_hlc#10;
extracted_from = {explicit_attribute#294};
description = "the value of person.role must be of type university_role";
corresponds_to = {correspondence#40};
attribute = explicit_attribute#294;
tipe = defined_type#36;
END_INSTANCE;
INSTANCE type_hlc#11;
extracted_from = {explicit_attribute#306};
description = "the value of person.family_name must be of type string_type";
corresponds_to = {correspondence#1};
attribute = explicit_attribute#306;
tipe = simple_type(string_type);
END_INSTANCE;
INSTANCE type_hlc#12;
extracted_from = {explicit_attribute#307};
description = "the value of person.given_name must be of type string_type";
corresponds_to = {correspondence#2};
attribute = explicit_attribute#307;
tipe = simple_type(string_type);
END_INSTANCE;
INSTANCE type_hlc#13;
extracted_from = {explicit_attribute#308};
description = "the value of person.middle_names must be of type LIST [1 : ?] OF string_type";
corresponds_to = {correspondence#3};
attribute = explicit_attribute#308;
tipe = list_type#24;
END_INSTANCE;
INSTANCE type_hlc#14;
extracted_from = {defined_type#37};
description = "the value of person.gender must be of type [entity_type#196, entity_type#197]";
attribute = explicit_attribute#309;
tipe = select_type({entity_type#196, entity_type#197});
END_INSTANCE;
INSTANCE type_hlc#15;
extracted_from = {explicit_attribute#309};
description = "the value of person.gender must be of type gender_type";
attribute = explicit_attribute#309;
tipe = defined_type#37;
END_INSTANCE;
INSTANCE type_hlc#16;
extracted_from = {explicit_attribute#310};
description = "the value of person.age must be of type integer_type";
corresponds_to = {correspondence#6};
attribute = explicit_attribute#310;
tipe = simple_type(integer_type);
END_INSTANCE;
INSTANCE type_hlc#17;
extracted_from = {defined_type#38};
description = "the value of person.role must be of type [entity_type#198, entity_type#201]";
corresponds_to = {correspondence#7};
attribute = explicit_attribute#311;
tipe = select_type({entity_type#198, entity_type#201});
END_INSTANCE;
INSTANCE type_hlc#18;
extracted_from = {explicit_attribute#311};
description = "the value of person.role must be of type university_role";
corresponds_to = {correspondence#40};
attribute = explicit_attribute#311;
tipe = defined_type#38;
END_INSTANCE;
INSTANCE type_hlc#19;
extracted_from = {explicit_attribute#297};
description = "the value of course.department must be of type string_type";
corresponds_to = {correspondence#9};
attribute = explicit_attribute#297;
tipe = simple_type(string_type);
END_INSTANCE;
INSTANCE type_hlc#20;
extracted_from = {explicit_attribute#298};
description = "the value of course.level must be of type integer_type";
corresponds_to = {correspondence#10};
attribute = explicit_attribute#298;
tipe = simple_type(integer_type);
END_INSTANCE;
INSTANCE type_hlc#21;
extracted_from = {explicit_attribute#299};
description = "the value of course.programme must be of type integer_type";
corresponds_to = {correspondence#11};
attribute = explicit_attribute#299;
tipe = simple_type(integer_type);
END_INSTANCE;
INSTANCE type_hlc#22;
extracted_from = {explicit_attribute#300};
description = "the value of course.id_number must be of type integer_type";
corresponds_to = {correspondence#12};
attribute = explicit_attribute#300;
tipe = simple_type(integer_type);
END_INSTANCE;
INSTANCE type_hlc#23;
extracted_from = {explicit_attribute#301};
description = "the value of course.semester must be of type integer_type";
corresponds_to = {correspondence#13};
attribute = explicit_attribute#301;
tipe = simple_type(integer_type);
END_INSTANCE;
INSTANCE type_hlc#24;
extracted_from = {explicit_attribute#302};
description = "the value of course.title must be of type string_type";
corresponds_to = {correspondence#14};
attribute = explicit_attribute#302;
tipe = simple_type(string_type);
END_INSTANCE;
INSTANCE type_hlc#25;
extracted_from = {explicit_attribute#314};
description = "the value of module.department must be of type string_type";
corresponds_to = {correspondence#9};
attribute = explicit_attribute#314;
tipe = simple_type(string_type);
END_INSTANCE;
INSTANCE type_hlc#26;
extracted_from = {explicit_attribute#315};
description = "the value of module.level must be of type integer_type";
corresponds_to = {correspondence#10};
attribute = explicit_attribute#315;
tipe = simple_type(integer_type);
END_INSTANCE;
INSTANCE type_hlc#27;
extracted_from = {explicit_attribute#316};
description = "the value of module.programme must be of type integer_type";
corresponds_to = {correspondence#11};
attribute = explicit_attribute#316;
tipe = simple_type(integer_type);
END_INSTANCE;
INSTANCE type_hlc#28;
extracted_from = {explicit_attribute#317};
description = "the value of module.id_number must be of type integer_type";
corresponds_to = {correspondence#12};
attribute = explicit_attribute#317;
tipe = simple_type(integer_type);
END_INSTANCE;
INSTANCE type_hlc#29;
extracted_from = {explicit_attribute#318};
description = "the value of module.semester must be of type integer_type";
corresponds_to = {correspondence#13};
attribute = explicit_attribute#318;
tipe = simple_type(integer_type);
END_INSTANCE;
INSTANCE type_hlc#30;
extracted_from = {explicit_attribute#319};
description = "the value of module.title must be of type string_type";
corresponds_to = {correspondence#14};
attribute = explicit_attribute#319;
tipe = simple_type(string_type);
END_INSTANCE;
INSTANCE type_hlc#31;
extracted_from = {explicit_attribute#296};
description = "the value of student_course_record.course must be of type course";
corresponds_to = {correspondence#29};
attribute = explicit_attribute#296;
tipe = entity_type#193;
END_INSTANCE;
INSTANCE type_hlc#32;
extracted_from = {explicit_attribute#304};
description = "the value of student_course_record.exam_mark must be of type real_type";
corresponds_to = {correspondence#30};
attribute = explicit_attribute#304;
tipe = simple_type(real_type);
END_INSTANCE;
INSTANCE type_hlc#33;
extracted_from = {explicit_attribute#305};
description = "the value of student_course_record.lab_mark must be of type real_type";
corresponds_to = {correspondence#31};
attribute = explicit_attribute#305;
tipe = simple_type(real_type);
END_INSTANCE;
INSTANCE type_hlc#34;
extracted_from = {explicit_attribute#313};
description = "the value of student_course_record.course must be of type module";
corresponds_to = {correspondence#29};
attribute = explicit_attribute#313;
tipe = entity_type#200;
END_INSTANCE;
INSTANCE type_hlc#35;
extracted_from = {explicit_attribute#321};
description = "the value of student_course_record.exam_mark must be of type real_type";
corresponds_to = {correspondence#30};
attribute = explicit_attribute#321;
tipe = simple_type(real_type);
END_INSTANCE;
INSTANCE type_hlc#36;
extracted_from = {explicit_attribute#322};
description = "the value of student_course_record.lab_mark must be of type real_type";
corresponds_to = {correspondence#31};
attribute = explicit_attribute#322;
tipe = simple_type(real_type);
END_INSTANCE;
INSTANCE type_hlc#37;
extracted_from = {explicit_attribute#323};
description = "the value of student_course_record.total_mark must be of type real_type";
attribute = explicit_attribute#323;
tipe = simple_type(real_type);
END_INSTANCE;
INSTANCE type_hlc#38;
extracted_from = {explicit_attribute#295};
description = "the value of student.courses_taken must be of type SET [0 : ?] OF student_course_record";
corresponds_to = {correspondence#37};
attribute = explicit_attribute#295;
tipe = set_type#70;
END_INSTANCE;
INSTANCE type_hlc#39;
extracted_from = {explicit_attribute#312};
description = "the value of student.courses_taken must be of type SET [0 : ?] OF student_course_record";
corresponds_to = {correspondence#37};
attribute = explicit_attribute#312;
tipe = set_type#74;
END_INSTANCE;
INSTANCE type_hlc#40;
extracted_from = {explicit_attribute#324};
description = "the value of student.average_mark must be of type real_type";
attribute = explicit_attribute#324;
tipe = simple_type(real_type);
END_INSTANCE;
INSTANCE type_hlc#41;
extracted_from = {explicit_attribute#303};
description = "the value of staff.courses_taught must be of type SET [1 : ?] OF course";
corresponds_to = {correspondence#48};
attribute = explicit_attribute#303;
tipe = set_type#71;
END_INSTANCE;
INSTANCE type_hlc#42;
extracted_from = {explicit_attribute#320};
description = "the value of staff.courses_taught must be of type SET [1 : ?] OF module";
corresponds_to = {correspondence#48};
attribute = explicit_attribute#320;
tipe = set_type#75;
END_INSTANCE;