schema_frame
INSTANCE schema_frame#4;
corresponds_to = {schema_frame#5};
name = "course_world";
entities = {entity_type#188, entity_type#189, entity_type#190, entity_type#191, entity_type#192, entity_type#194, entity_type#193};
defined_types = {defined_type#36};
functions = {user_defined_function#2};
the_model = model_frame#3; (* set indirectly *)
END_INSTANCE;
INSTANCE schema_frame#5;
corresponds_to = {schema_frame#4};
name = "course_world";
entities = {entity_type#195, entity_type#196, entity_type#197, entity_type#198, entity_type#199, entity_type#201, entity_type#200};
defined_types = {defined_type#37, defined_type#38};
functions = {user_defined_function#3};
the_model = model_frame#4; (* set indirectly *)
END_INSTANCE;