defined_type
INSTANCE defined_type#1;
name = "text";
tipe = simple_type(string_type);
the_schema = schema_frame#1; (* set indirectly *)
END_INSTANCE;
INSTANCE defined_type#2;
name = "semantic_equivalence";
tipe = enumeration_type([enumeration_symbol#1, enumeration_symbol#2, enumeration_symbol#3, enumeration_symbol#4]);
the_schema = schema_frame#1; (* set indirectly *)
END_INSTANCE;
INSTANCE defined_type#3;
name = "underlying_type";
tipe = select_type({entity_type#8, defined_type#4, entity_type#9, defined_type#8, defined_type#9});
the_schema = schema_frame#1; (* set indirectly *)
END_INSTANCE;
INSTANCE defined_type#4;
name = "simple_type";
tipe = enumeration_type([enumeration_symbol#5, enumeration_symbol#6, enumeration_symbol#7, enumeration_symbol#8, enumeration_symbol#9, enumeration_symbol#10, enumeration_symbol#11, enumeration_symbol#12]);
the_schema = schema_frame#1; (* set indirectly *)
END_INSTANCE;
INSTANCE defined_type#5;
name = "parameter_type";
tipe = select_type({defined_type#4, entity_type#9, entity_type#7});
the_schema = schema_frame#1; (* set indirectly *)
END_INSTANCE;
INSTANCE defined_type#6;
name = "abstract_type";
tipe = select_type({defined_type#5, defined_type#3, defined_type#7});
the_schema = schema_frame#1; (* set indirectly *)
END_INSTANCE;
INSTANCE defined_type#7;
name = "indeterminate_type";
tipe = enumeration_type([enumeration_symbol#13]);
the_schema = schema_frame#1; (* set indirectly *)
END_INSTANCE;
INSTANCE defined_type#8;
name = "select_type";
tipe = set_type#8;
the_schema = schema_frame#1; (* set indirectly *)
END_INSTANCE;
INSTANCE defined_type#9;
name = "enumeration_type";
tipe = list_type#1;
the_schema = schema_frame#1; (* set indirectly *)
END_INSTANCE;
INSTANCE defined_type#10;
name = "access_modifier";
tipe = enumeration_type([enumeration_symbol#14, enumeration_symbol#15, enumeration_symbol#16, enumeration_symbol#17]);
the_schema = schema_frame#1; (* set indirectly *)
END_INSTANCE;
INSTANCE defined_type#11;
name = "variable_initialiser";
tipe = select_type({entity_type#16, defined_type#12});
the_schema = schema_frame#1; (* set indirectly *)
END_INSTANCE;
INSTANCE defined_type#12;
name = "array_initialiser";
tipe = list_type#2;
the_schema = schema_frame#1; (* set indirectly *)
END_INSTANCE;
INSTANCE defined_type#13;
name = "java_type";
tipe = select_type({entity_type#43, defined_type#14, entity_type#58});
the_schema = schema_frame#1; (* set indirectly *)
END_INSTANCE;
INSTANCE defined_type#14;
name = "primitive_type";
tipe = enumeration_type([enumeration_symbol#18, enumeration_symbol#19, enumeration_symbol#20, enumeration_symbol#21, enumeration_symbol#22, enumeration_symbol#23, enumeration_symbol#24, enumeration_symbol#25]);
the_schema = schema_frame#1; (* set indirectly *)
END_INSTANCE;
INSTANCE defined_type#15;
name = "built_in";
tipe = enumeration_type([enumeration_symbol#26, enumeration_symbol#27, enumeration_symbol#28, enumeration_symbol#29]);
the_schema = schema_frame#1; (* set indirectly *)
END_INSTANCE;
INSTANCE defined_type#16;
name = "inclusive_or_exclusive";
tipe = enumeration_type([enumeration_symbol#30, enumeration_symbol#31]);
the_schema = schema_frame#1; (* set indirectly *)
END_INSTANCE;
INSTANCE defined_type#17;
name = "discrete_or_continuous";
tipe = enumeration_type([enumeration_symbol#32, enumeration_symbol#33]);
the_schema = schema_frame#1; (* set indirectly *)
END_INSTANCE;
INSTANCE defined_type#18;
name = "way_round";
tipe = enumeration_type([enumeration_symbol#34, enumeration_symbol#35]);
the_schema = schema_frame#1; (* set indirectly *)
END_INSTANCE;
INSTANCE defined_type#19;
name = "bound_kind";
tipe = enumeration_type([enumeration_symbol#36, enumeration_symbol#37]);
the_schema = schema_frame#1; (* set indirectly *)
END_INSTANCE;
INSTANCE defined_type#20;
name = "frame_or_set_of_frames";
tipe = select_type({entity_type#1, defined_type#21});
the_schema = schema_frame#1; (* set indirectly *)
END_INSTANCE;
INSTANCE defined_type#21;
name = "set_of_frames";
tipe = set_type#62;
the_schema = schema_frame#1; (* set indirectly *)
END_INSTANCE;
INSTANCE defined_type#22;
name = "language";
tipe = enumeration_type([enumeration_symbol#38, enumeration_symbol#39]);
the_schema = schema_frame#1; (* set indirectly *)
END_INSTANCE;
INSTANCE defined_type#23;
name = "slot_name";
tipe = simple_type(string_type);
the_schema = schema_frame#1; (* set indirectly *)
END_INSTANCE;
INSTANCE defined_type#24;
name = "semantic_strength_influence";
tipe = enumeration_type([enumeration_symbol#40, enumeration_symbol#41]);
the_schema = schema_frame#1; (* set indirectly *)
END_INSTANCE;
INSTANCE defined_type#25;
name = "pretty_print_type";
tipe = select_type({defined_type#1, entity_type#1, defined_type#26, defined_type#27, defined_type#28});
the_schema = schema_frame#1; (* set indirectly *)
END_INSTANCE;
INSTANCE defined_type#26;
name = "pp_set";
tipe = set_type#66;
the_schema = schema_frame#1; (* set indirectly *)
END_INSTANCE;
INSTANCE defined_type#27;
name = "pp_bag";
tipe = bag_type#6;
the_schema = schema_frame#1; (* set indirectly *)
END_INSTANCE;
INSTANCE defined_type#28;
name = "pp_list";
tipe = list_type#10;
the_schema = schema_frame#1; (* set indirectly *)
END_INSTANCE;
INSTANCE defined_type#29;
name = "qualified_name";
tipe = list_type#11;
the_schema = schema_frame#1; (* set indirectly *)
END_INSTANCE;
INSTANCE defined_type#30;
name = "for_initialiser";
tipe = select_type({entity_type#128, entity_type#141});
the_schema = schema_frame#1; (* set indirectly *)
END_INSTANCE;
INSTANCE defined_type#31;
name = "unresolved_reference";
tipe = simple_type(string_type);
the_schema = schema_frame#1; (* set indirectly *)
END_INSTANCE;
INSTANCE defined_type#32;
hlcs_extracted = {choice_set#2}; (* set indirectly *)
tipe = enumeration_type(?list);
END_INSTANCE;
INSTANCE defined_type#33;
hlcs_extracted = {choice_set#3}; (* set indirectly *)
tipe = select_type(?set);
END_INSTANCE;
INSTANCE defined_type#34;
hlcs_extracted = {type_hlc#1, domain_rules_hlc#2}; (* set indirectly *)
domain_rules = ?dr;
tipe = ?ut;
END_INSTANCE;
INSTANCE defined_type#35;
domain_rules = ?w;
END_INSTANCE;