explicit_attribute
INSTANCE explicit_attribute#1;
name = "name";
tipe = simple_type(string_type);
is_optional = false;
the_entity = entity_type#2; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#2;
name = "domain_rules";
tipe = aggregation_type#3;
is_optional = true;
the_entity = entity_type#2; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#3;
name = "tipe";
tipe = defined_type#18;
is_optional = false;
the_entity = entity_type#1; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#4;
name = "is_abstract";
tipe = simple_type(boolean_type);
is_optional = false;
the_entity = entity_type#4; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#5;
name = "supertype_of";
tipe = defined_type#15;
is_optional = true;
the_entity = entity_type#4; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#6;
name = "subtype_of";
tipe = aggregation_type#4;
is_optional = true;
the_entity = entity_type#4; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#7;
name = "explicit_attributes";
tipe = aggregation_type#5;
is_optional = false;
the_entity = entity_type#4; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#8;
name = "derived_attributes";
tipe = aggregation_type#6;
is_optional = true;
the_entity = entity_type#4; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#9;
name = "inverse_attributes";
tipe = aggregation_type#7;
is_optional = true;
the_entity = entity_type#4; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#10;
name = "unique_rules";
tipe = aggregation_type#8;
is_optional = true;
the_entity = entity_type#4; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#11;
name = "higher_level_constraints";
tipe = entity_type#32;
is_optional = true;
the_entity = entity_type#4; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#12;
name = "name";
tipe = simple_type(string_type);
is_optional = false;
the_entity = entity_type#6; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#13;
name = "tipe";
tipe = defined_type#17;
is_optional = false;
the_entity = entity_type#6; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#14;
name = "owner";
tipe = entity_type#4;
is_optional = true;
the_entity = entity_type#6; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#15;
name = "is_optional";
tipe = simple_type(boolean_type);
is_optional = false;
the_entity = entity_type#5; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#16;
name = "for_attribute";
tipe = entity_type#6;
is_optional = false;
the_entity = entity_type#8; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#17;
name = "formula";
tipe = entity_type#7;
is_optional = false;
the_entity = entity_type#9; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#18;
name = "label";
tipe = simple_type(string_type);
is_optional = false;
the_entity = entity_type#11; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#19;
name = "expression";
tipe = entity_type#7;
is_optional = false;
the_entity = entity_type#10; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#20;
name = "attributes";
tipe = aggregation_type#9;
is_optional = false;
the_entity = entity_type#12; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#21;
name = "literal_value";
tipe = defined_type#11;
is_optional = false;
the_entity = entity_type#13; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#22;
name = "built_in_value";
tipe = defined_type#5;
is_optional = false;
the_entity = entity_type#14; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#23;
name = "operator";
tipe = defined_type#16;
is_optional = false;
the_entity = entity_type#15; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#24;
name = "expression";
tipe = entity_type#7;
is_optional = false;
the_entity = entity_type#15; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#25;
name = "operator";
tipe = defined_type#6;
is_optional = false;
the_entity = entity_type#16; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#26;
name = "first_expression";
tipe = entity_type#7;
is_optional = false;
the_entity = entity_type#16; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#27;
name = "second_expression";
tipe = entity_type#7;
is_optional = false;
the_entity = entity_type#16; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#28;
name = "variable";
tipe = entity_type#40;
is_optional = false;
the_entity = entity_type#17; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#29;
name = "aggregation_expression";
tipe = entity_type#7;
is_optional = false;
the_entity = entity_type#17; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#30;
name = "logical_expression";
tipe = entity_type#7;
is_optional = false;
the_entity = entity_type#17; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#31;
name = "actual_parameters";
tipe = aggregation_type#10;
is_optional = false;
the_entity = entity_type#19; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#32;
name = "function_called";
tipe = defined_type#13;
is_optional = false;
the_entity = entity_type#18; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#33;
name = "function_called";
tipe = simple_type(string_type);
is_optional = false;
the_entity = entity_type#20; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#34;
name = "kind";
tipe = defined_type#14;
is_optional = false;
the_entity = entity_type#21; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#35;
name = "first_expression";
tipe = entity_type#7;
is_optional = true;
the_entity = entity_type#21; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#36;
name = "second_expression";
tipe = entity_type#7;
is_optional = true;
the_entity = entity_type#21; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#37;
name = "third_expression";
tipe = entity_type#7;
is_optional = true;
the_entity = entity_type#21; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#38;
name = "elements";
tipe = aggregation_type#11;
is_optional = false;
the_entity = entity_type#22; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#39;
name = "expression";
tipe = entity_type#7;
is_optional = false;
the_entity = entity_type#23; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#40;
name = "repeat_count";
tipe = entity_type#7;
is_optional = true;
the_entity = entity_type#23; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#41;
name = "kind";
tipe = defined_type#22;
is_optional = false;
the_entity = entity_type#24; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#42;
name = "element_type";
tipe = defined_type#17;
is_optional = false;
the_entity = entity_type#24; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#43;
name = "lower_bound";
tipe = entity_type#7;
is_optional = false;
the_entity = entity_type#24; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#44;
name = "upper_bound";
tipe = entity_type#7;
is_optional = false;
the_entity = entity_type#24; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#45;
name = "is_unique";
tipe = simple_type(boolean_type);
is_optional = false;
the_entity = entity_type#24; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#46;
name = "is_optional";
tipe = simple_type(boolean_type);
is_optional = false;
the_entity = entity_type#24; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#47;
name = "expressions";
tipe = aggregation_type#12;
is_optional = false;
the_entity = entity_type#25; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#48;
name = "first_expression";
tipe = defined_type#15;
is_optional = false;
the_entity = entity_type#26; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#49;
name = "second_expression";
tipe = defined_type#15;
is_optional = false;
the_entity = entity_type#26; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#50;
name = "first_expression";
tipe = defined_type#15;
is_optional = false;
the_entity = entity_type#27; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#51;
name = "second_expression";
tipe = defined_type#15;
is_optional = false;
the_entity = entity_type#27; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#52;
name = "extracted_from";
tipe = aggregation_type#13;
is_optional = false;
the_entity = entity_type#29; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#53;
name = "conjunct_of";
tipe = entity_type#32;
is_optional = true;
the_entity = entity_type#29; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#54;
name = "addends";
tipe = aggregation_type#14;
is_optional = false;
the_entity = entity_type#28; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#55;
name = "sum";
tipe = entity_type#7;
is_optional = false;
the_entity = entity_type#28; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#56;
name = "multiplicands";
tipe = aggregation_type#15;
is_optional = false;
the_entity = entity_type#30; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#57;
name = "product";
tipe = entity_type#7;
is_optional = false;
the_entity = entity_type#30; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#58;
name = "equals";
tipe = aggregation_type#16;
is_optional = false;
the_entity = entity_type#31; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#59;
name = "kind";
tipe = defined_type#3;
is_optional = false;
the_entity = entity_type#33; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#60;
name = "inclusive";
tipe = simple_type(boolean_type);
is_optional = false;
the_entity = entity_type#33; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#61;
name = "discrete";
tipe = simple_type(boolean_type);
is_optional = false;
the_entity = entity_type#33; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#62;
name = "variable";
tipe = entity_type#7;
is_optional = false;
the_entity = entity_type#33; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#63;
name = "limit";
tipe = simple_type(number_type);
is_optional = false;
the_entity = entity_type#33; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#64;
name = "choice_set";
tipe = aggregation_type#17;
is_optional = false;
the_entity = entity_type#34; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#65;
name = "constrainee";
tipe = defined_type#2;
is_optional = false;
the_entity = entity_type#34; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#66;
name = "choice_set";
tipe = aggregation_type#18;
is_optional = false;
the_entity = entity_type#35; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#67;
name = "constrainee";
tipe = defined_type#2;
is_optional = false;
the_entity = entity_type#35; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#68;
name = "attribute";
tipe = entity_type#5;
is_optional = false;
the_entity = entity_type#36; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#69;
name = "lower_bound";
tipe = entity_type#33;
is_optional = false;
the_entity = entity_type#37; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#70;
name = "upper_bound";
tipe = entity_type#33;
is_optional = false;
the_entity = entity_type#37; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#71;
name = "variable";
tipe = entity_type#7;
is_optional = false;
the_entity = entity_type#37; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#72;
name = "attribute";
tipe = entity_type#5;
is_optional = false;
the_entity = entity_type#38; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#73;
name = "id";
tipe = simple_type(string_type);
is_optional = false;
the_entity = entity_type#39; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#74;
name = "name";
tipe = simple_type(string_type);
is_optional = false;
the_entity = entity_type#40; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#75;
name = "problem";
tipe = entity_type#3;
is_optional = false;
the_entity = entity_type#41; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#76;
name = "solution";
tipe = entity_type#29;
is_optional = false;
the_entity = entity_type#41; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#77;
name = "explicit_attributes";
tipe = aggregation_type#19;
is_optional = false;
END_INSTANCE;
INSTANCE explicit_attribute#78;
name = "inverse_attributes";
tipe = aggregation_type#20;
is_optional = true;
END_INSTANCE;
INSTANCE explicit_attribute#79;
name = "derived_attributes";
tipe = aggregation_type#21;
is_optional = true;
END_INSTANCE;
INSTANCE explicit_attribute#80;
name = "domain_rules";
tipe = aggregation_type#22;
is_optional = true;
END_INSTANCE;
INSTANCE explicit_attribute#81;
name = "unique_rules";
tipe = aggregation_type#23;
is_optional = true;
END_INSTANCE;
INSTANCE explicit_attribute#82;
name = "elements";
tipe = aggregation_type#24;
is_optional = false;
END_INSTANCE;
INSTANCE explicit_attribute#83;
name = "conjunct_of";
tipe = entity_type#32;
is_optional = true;
END_INSTANCE;
INSTANCE explicit_attribute#84;
name = "variable";
tipe = entity_type#40;
is_optional = false;
END_INSTANCE;
INSTANCE explicit_attribute#85;
tipe = simple_type(integer_type);
END_INSTANCE;
INSTANCE explicit_attribute#86;
tipe = simple_type(integer_type);
END_INSTANCE;
INSTANCE explicit_attribute#87;
tipe = simple_type(integer_type);
END_INSTANCE;
INSTANCE explicit_attribute#88;
tipe = simple_type(integer_type);
END_INSTANCE;
INSTANCE explicit_attribute#89;
tipe = simple_type(integer_type);
END_INSTANCE;
INSTANCE explicit_attribute#90;
tipe = simple_type(integer_type);
END_INSTANCE;
INSTANCE explicit_attribute#91;
tipe = simple_type(integer_type);
END_INSTANCE;
INSTANCE explicit_attribute#92;
tipe = simple_type(integer_type);
END_INSTANCE;
INSTANCE explicit_attribute#93;
tipe = simple_type(real_type);
END_INSTANCE;
INSTANCE explicit_attribute#94;
tipe = simple_type(real_type);
END_INSTANCE;
INSTANCE explicit_attribute#95;
tipe = simple_type(real_type);
END_INSTANCE;
INSTANCE explicit_attribute#96;
tipe = simple_type(real_type);
END_INSTANCE;
INSTANCE explicit_attribute#97;
tipe = simple_type(real_type);
END_INSTANCE;
INSTANCE explicit_attribute#98;
tipe = simple_type(real_type);
END_INSTANCE;
INSTANCE explicit_attribute#99;
tipe = simple_type(real_type);
END_INSTANCE;
INSTANCE explicit_attribute#100;
tipe = simple_type(real_type);
END_INSTANCE;
INSTANCE explicit_attribute#101;
tipe = defined_type#23;
is_optional = false;
END_INSTANCE;
INSTANCE explicit_attribute#102;
tipe = defined_type#24;
is_optional = false;
END_INSTANCE;
INSTANCE explicit_attribute#103;
tipe = defined_type#25;
is_optional = true;
END_INSTANCE;
INSTANCE explicit_attribute#104;
tipe = defined_type#26;
is_optional = true;
END_INSTANCE;
INSTANCE explicit_attribute#105;
is_optional = false;
END_INSTANCE;
INSTANCE explicit_attribute#106;
is_optional = true;
END_INSTANCE;
INSTANCE explicit_attribute#107;
tipe = aggregation_type#26;
is_optional = true;
END_INSTANCE;
INSTANCE explicit_attribute#108;
tipe = aggregation_type#27;
is_optional = false;
END_INSTANCE;
INSTANCE explicit_attribute#109;
name = "department";
tipe = simple_type(string_type);
is_optional = false;
the_entity = entity_type#49; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#110;
name = "level";
tipe = simple_type(integer_type);
is_optional = false;
the_entity = entity_type#49; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#111;
name = "programme";
tipe = simple_type(integer_type);
is_optional = false;
the_entity = entity_type#49; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#112;
name = "id_number";
tipe = simple_type(integer_type);
is_optional = false;
the_entity = entity_type#49; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#113;
name = "semester";
tipe = simple_type(integer_type);
is_optional = true;
the_entity = entity_type#49; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#114;
name = "title";
tipe = simple_type(string_type);
is_optional = false;
the_entity = entity_type#49; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#115;
name = "courses_taught";
tipe = aggregation_type#28;
is_optional = true;
the_entity = entity_type#48; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#116;
name = "surname";
tipe = simple_type(string_type);
is_optional = false;
the_entity = entity_type#47; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#117;
name = "first_name";
tipe = simple_type(string_type);
is_optional = false;
the_entity = entity_type#47; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#118;
name = "middle_names";
tipe = aggregation_type#29;
is_optional = false;
the_entity = entity_type#47; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#119;
name = "age";
tipe = simple_type(integer_type);
is_optional = false;
the_entity = entity_type#47; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#120;
name = "courses_taken";
tipe = aggregation_type#30;
is_optional = false;
the_entity = entity_type#46; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#121;
name = "role";
tipe = defined_type#27;
is_optional = true;
END_INSTANCE;
INSTANCE explicit_attribute#122;
name = "role";
tipe = defined_type#27;
is_optional = true;
the_entity = entity_type#47; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#123;
name = "role";
tipe = defined_type#27;
is_optional = true;
END_INSTANCE;
INSTANCE explicit_attribute#124;
name = "courses_taught";
tipe = aggregation_type#31;
is_optional = true;
END_INSTANCE;
INSTANCE explicit_attribute#125;
name = "course";
tipe = entity_type#49;
is_optional = false;
END_INSTANCE;
INSTANCE explicit_attribute#126;
name = "department";
tipe = simple_type(string_type);
is_optional = false;
END_INSTANCE;
INSTANCE explicit_attribute#127;
name = "level";
tipe = simple_type(integer_type);
is_optional = false;
END_INSTANCE;
INSTANCE explicit_attribute#128;
name = "programme";
tipe = simple_type(integer_type);
is_optional = false;
END_INSTANCE;
INSTANCE explicit_attribute#129;
name = "id_number";
tipe = simple_type(integer_type);
is_optional = false;
END_INSTANCE;
INSTANCE explicit_attribute#130;
name = "course";
tipe = entity_type#49;
is_optional = false;
the_entity = entity_type#50; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#131;
name = "exam_mark";
tipe = simple_type(real_type);
is_optional = false;
the_entity = entity_type#50; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#132;
name = "lab_mark";
tipe = simple_type(real_type);
is_optional = false;
the_entity = entity_type#50; (* set indirectly *)
END_INSTANCE;
INSTANCE explicit_attribute#133;
name = "courses_taken";
tipe = aggregation_type#33;
is_optional = false;
END_INSTANCE;