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;