model_frame#3 corresponds to model_frame#4.
.schema_frame#4 (test) corresponds to schema_frame#5 (test).
..entity_type#188 (person) corresponds to entity_type#189 (person).
...explicit_attribute#290 (person.middle_names) corresponds to explicit_attribute#291 (person.middle_names).
....list_type#23 (LIST [0 : ?] OF string_type) plausibly corresponds to list_type#24 (LIST [1 : ?] OF string_type).
.....integer_literal#100 (0) plausibly corresponds to integer_literal#101 (1).
.....Difference in slot "literal_value":-
.....- integer_literal#100.literal_value == 0
.....- integer_literal#101.literal_value == 1
.....Submitting integer_literal#100 as an extraction prompt
.....Submitting integer_literal#101 as an extraction prompt
.....Correspondence between integer_literal#100 and integer_literal#101 retracted.
....Difference in slot "lower_bound":-
....- list_type#23.lower_bound == integer_literal#100
....- list_type#24.lower_bound == integer_literal#101
....list_type#23 (LIST [0 : ?] OF string_type) is semantically weaker than list_type#24 (LIST [1 : ?] OF string_type).
.....built_in_constant#97 (?) plausibly corresponds to built_in_constant#98 (?).
.....Correspondence between built_in_constant#97 and built_in_constant#98 confirmed.
....Correspondence between list_type#23 and list_type#24 confirmed.
...Difference in slot "is_optional":-
...- explicit_attribute#290.is_optional == false
...- explicit_attribute#291.is_optional == true
...Submitting explicit_attribute#290 as an extraction prompt
...+ optional_xor_empty_aggregation#3: optional_xor_empty_aggregation#3
...+ type_hlc#5: the value of person.middle_names must be of type LIST [0 : ?] OF string_type
...+ non_null#4: person.middle_names must have a value (other than `indeterminate')
...Submitting explicit_attribute#291 as an extraction prompt
...+ optional_xor_empty_aggregation#4: optional_xor_empty_aggregation#4
...+ type_hlc#6: the value of person.middle_names must be of type LIST [1 : ?] OF string_type
....optional_xor_empty_aggregation#3 plausibly corresponds to optional_xor_empty_aggregation#4.
....Correspondence between optional_xor_empty_aggregation#3 and optional_xor_empty_aggregation#4 confirmed.
....type_hlc#5 plausibly corresponds to type_hlc#6.
....Correspondence between type_hlc#5 and type_hlc#6 confirmed.
--------------------------------------------------------------------------------
Number of frames in  first model: 7
Number of frames in second model: 7
Number of HLCs extracted from  first model: 3
Number of HLCs extracted from second model: 2
Number of     comparisons: 29
Number of HLC comparisons: 2
Number of     correspondences: 8
Number of HLC correspondences: 2
Number of differences: 3
Number of frame-class-thesaurus-lookups: 0
Number of name-thesaurus-lookups: 0
--------------------------------------------------------------------------------
