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;