model_frame#3 corresponds to model_frame#4.
.schema_frame#4 (mr_jones_garden) corresponds to schema_frame#5 (mr_jones_garden).
..entity_type#188 (garden) corresponds to entity_type#194 (garden).
...explicit_attribute#290 (garden.has_greenhouse) corresponds to explicit_attribute#303 (garden.has_greenhouse).
....entity_type#189 (greenhouse) corresponds to entity_type#195 (greenhouse).
.....explicit_attribute#291 (greenhouse.temp) corresponds to explicit_attribute#304 (greenhouse.temp).
......defined_type#36 (temperature) corresponds to defined_type#40 (temperature).
.....explicit_attribute#292 (greenhouse.holds_plants) corresponds to explicit_attribute#305 (greenhouse.holds_plants).
......set_type#70 (SET [1 : ?] OF greenhouse_plant) plausibly corresponds to set_type#74 (SET [1 : ?] OF greenhouse_plant).
.......entity_type#190 (greenhouse_plant) corresponds to entity_type#196 (greenhouse_plant).
........entity_type#191 (plant) corresponds to entity_type#197 (plant).
.........oneof_supertype_expression#26 plausibly corresponds to oneof_supertype_expression#27.
..........entity_type#192 (outdoors_plant) corresponds to entity_type#198 (outdoors_plant).
...........explicit_attribute#293 (outdoors_plant.min_acidity) corresponds to explicit_attribute#306 (outdoors_plant.min_acidity).
............defined_type#37 (ph) corresponds to defined_type#41 (ph).
.............domain_rule#3 plausibly corresponds to domain_rule#8.
..............interval#2 plausibly corresponds to interval#5.
...............integer_literal#100 (0) plausibly corresponds to integer_literal#107 (0).
...............Correspondence between integer_literal#100 and integer_literal#107 confirmed.
...............built_in_constant#97 plausibly corresponds to built_in_constant#101.
...............Correspondence between built_in_constant#97 and built_in_constant#101 confirmed.
...............integer_literal#101 (14) plausibly corresponds to integer_literal#108 (14).
...............Correspondence between integer_literal#101 and integer_literal#108 confirmed.
..............Correspondence between interval#2 and interval#5 confirmed.
.............Correspondence between domain_rule#3 and domain_rule#8 confirmed.
...........explicit_attribute#294 (outdoors_plant.max_acidity) corresponds to explicit_attribute#307 (outdoors_plant.max_acidity).
...........domain_rule#4 plausibly corresponds to domain_rule#10.
............comparator#8 (max_acidity >= min_acidity) plausibly corresponds to comparator#10 (max_acidity >= min_acidity).
............Correspondence between comparator#8 and comparator#10 confirmed.
...........Correspondence between domain_rule#4 and domain_rule#10 confirmed.
..........Difference in slot "inverse_attributes":-
..........- entity_type#192.inverse_attributes == null
..........- entity_type#198.inverse_attributes == [inverse_attribute#25]
..........Submitting inverse_attribute#25 as an extraction prompt
..........+ many_to_many_relationship#3: many beds (outdoors_plant.the_bed), many outdoors_plants (bed.holds_plants)
.........Correspondence between oneof_supertype_expression#26 and oneof_supertype_expression#27 confirmed.
.........explicit_attribute#295 (plant.colour) corresponds to explicit_attribute#311 (plant.colour).
..........defined_type#38 (flower_colour) corresponds to defined_type#42 (flower_colour).
...........enumeration_symbol#43 (red) corresponds to enumeration_symbol#46 (red).
...........enumeration_symbol#44 (yellow) corresponds to enumeration_symbol#47 (yellow).
...........enumeration_symbol#45 (white) corresponds to enumeration_symbol#48 (white).
.........explicit_attribute#296 (plant.latin_name) corresponds to explicit_attribute#312 (plant.latin_name).
..........defined_type#39 (plant_name) corresponds to defined_type#43 (plant_name).
.........explicit_attribute#297 (plant.english_names) corresponds to explicit_attribute#313 (plant.english_names).
..........set_type#71 (SET [1 : ?] OF plant_name) plausibly corresponds to set_type#78 (SET [1 : ?] OF plant_name).
...........integer_literal#102 (1) plausibly corresponds to integer_literal#113 (1).
...........Correspondence between integer_literal#102 and integer_literal#113 confirmed.
...........built_in_constant#98 (?) plausibly corresponds to built_in_constant#104 (?).
...........Correspondence between built_in_constant#98 and built_in_constant#104 confirmed.
..........Correspondence between set_type#71 and set_type#78 confirmed.
.........unique_rule#2 plausibly corresponds to unique_rule#5.
.........Correspondence between unique_rule#2 and unique_rule#5 confirmed.
........explicit_attribute#298 (greenhouse_plant.min_temp) corresponds to explicit_attribute#314 (greenhouse_plant.min_temp).
........explicit_attribute#299 (greenhouse_plant.max_temp) corresponds to explicit_attribute#315 (greenhouse_plant.max_temp).
........domain_rule#5 plausibly corresponds to domain_rule#11.
.........comparator#9 (max_temp >= min_temp) plausibly corresponds to comparator#11 (max_temp >= min_temp).
.........Correspondence between comparator#9 and comparator#11 confirmed.
........Correspondence between domain_rule#5 and domain_rule#11 confirmed.
.......Difference in slot "inverse_attributes":-
.......- entity_type#190.inverse_attributes == null
.......- entity_type#196.inverse_attributes == [inverse_attribute#27]
.......Submitting inverse_attribute#27 as an extraction prompt
.......+ one_to_many_relationship#4: one greenhouse (greenhouse_plant.the_greenhouse), many greenhouse_plants (greenhouse.holds_plants)
.......integer_literal#103 (1) plausibly corresponds to integer_literal#114 (1).
.......Correspondence between integer_literal#103 and integer_literal#114 confirmed.
.......built_in_constant#99 (?) plausibly corresponds to built_in_constant#105 (?).
.......Correspondence between built_in_constant#99 and built_in_constant#105 confirmed.
......Correspondence between set_type#70 and set_type#74 confirmed.
.....domain_rule#6 plausibly corresponds to domain_rule#12.
......equation#8 (QUERY(p <* holds_plants | {p.min_temp <= temp <= p.max_temp}) = holds_plants) plausibly corresponds to equation#11 (QUERY(p <* holds_plants | {p.min_temp <= temp <= p.max_temp}) = holds_plants).
.......query_expression#4 plausibly corresponds to query_expression#7.
........query_variable#2 (p) corresponds to query_variable#5 (p).
........interval#3 plausibly corresponds to interval#7.
.........attribute_qualifier#1 plausibly corresponds to attribute_qualifier#7.
.........Correspondence between attribute_qualifier#1 and attribute_qualifier#7 confirmed.
.........attribute_qualifier#2 plausibly corresponds to attribute_qualifier#8.
.........Correspondence between attribute_qualifier#2 and attribute_qualifier#8 confirmed.
........Correspondence between interval#3 and interval#7 confirmed.
.......Correspondence between query_expression#4 and query_expression#7 confirmed.
......Correspondence between equation#8 and equation#11 confirmed.
.....Correspondence between domain_rule#6 and domain_rule#12 confirmed.
....Difference in slot "inverse_attributes":-
....- entity_type#189.inverse_attributes == null
....- entity_type#195.inverse_attributes == [inverse_attribute#28]
....Submitting inverse_attribute#28 as an extraction prompt
....+ one_to_one_relationship#3: one garden (greenhouse.the_garden), one greenhouse (garden.has_greenhouse)
...explicit_attribute#300 (garden.has_beds) corresponds to explicit_attribute#310 (garden.has_beds).
....set_type#72 (SET [5 : 5] OF bed) plausibly corresponds to set_type#76 (SET [5 : 5] OF bed).
.....entity_type#193 (bed) corresponds to entity_type#199 (bed).
......explicit_attribute#301 (bed.acidity) corresponds to explicit_attribute#308 (bed.acidity).
......explicit_attribute#302 (bed.holds_plants) corresponds to explicit_attribute#309 (bed.holds_plants).
.......set_type#73 (SET [1 : ?] OF outdoors_plant) plausibly corresponds to set_type#75 (SET [1 : ?] OF outdoors_plant).
........integer_literal#104 (1) plausibly corresponds to integer_literal#109 (1).
........Correspondence between integer_literal#104 and integer_literal#109 confirmed.
........built_in_constant#100 (?) plausibly corresponds to built_in_constant#102 (?).
........Correspondence between built_in_constant#100 and built_in_constant#102 confirmed.
.......Correspondence between set_type#73 and set_type#75 confirmed.
......unique_rule#3 plausibly corresponds to unique_rule#4.
......Correspondence between unique_rule#3 and unique_rule#4 confirmed.
......domain_rule#7 plausibly corresponds to domain_rule#9.
.......equation#9 (QUERY(p <* holds_plants | {p.min_acidity <= acidity <= p.max_acidity}) = 
holds_plants) plausibly corresponds to equation#10 (QUERY(p <* holds_plants | {p.min_acidity <= acidity <= p.max_acidity}) = 
holds_plants).
........query_expression#5 plausibly corresponds to query_expression#6.
.........query_variable#3 (p) corresponds to query_variable#4 (p).
.........interval#4 plausibly corresponds to interval#6.
..........attribute_qualifier#3 plausibly corresponds to attribute_qualifier#5.
..........Correspondence between attribute_qualifier#3 and attribute_qualifier#5 confirmed.
..........attribute_qualifier#4 plausibly corresponds to attribute_qualifier#6.
..........Correspondence between attribute_qualifier#4 and attribute_qualifier#6 confirmed.
.........Correspondence between interval#4 and interval#6 confirmed.
........Correspondence between query_expression#5 and query_expression#6 confirmed.
.......Correspondence between equation#9 and equation#10 confirmed.
......Correspondence between domain_rule#7 and domain_rule#9 confirmed.
.....Difference in slot "inverse_attributes":-
.....- entity_type#193.inverse_attributes == null
.....- entity_type#199.inverse_attributes == [inverse_attribute#26]
.....Submitting inverse_attribute#26 as an extraction prompt
.....+ one_to_many_relationship#5: one garden (bed.the_garden), many beds (garden.has_beds)
.....integer_literal#105 (5) plausibly corresponds to integer_literal#110 (5).
.....Correspondence between integer_literal#105 and integer_literal#110 confirmed.
.....integer_literal#106 (5) plausibly corresponds to integer_literal#111 (5).
.....Correspondence between integer_literal#106 and integer_literal#111 confirmed.
....Correspondence between set_type#72 and set_type#76 confirmed.
.Difference in slot "rules":-
.- schema_frame#4.rules == null
.- schema_frame#5.rules == [global_rule#1]
.Submitting global_rule#1 as an extraction prompt
--------------------------------------------------------------------------------
Number of frames in  first model: 66
Number of frames in second model: 78
Number of HLCs extracted from  first model: 0
Number of HLCs extracted from second model: 4
Number of     comparisons: 311
Number of HLC comparisons: 0
Number of     correspondences: 66
Number of HLC correspondences: 0
Number of differences: 5
Number of frame-class-thesaurus-lookups: 4
Number of name-thesaurus-lookups: 2
--------------------------------------------------------------------------------
