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.age) corresponds to explicit_attribute#291 (person.age).
...Difference in slot "tipe":-
...- explicit_attribute#290.tipe == integer_type
...- explicit_attribute#291.tipe == defined_type#36
...Submitting explicit_attribute#290 as an extraction prompt
...+ type_hlc#5: the value of person.age must be of type integer_type
...+ non_null#4: person.age must have a value (other than `indeterminate')
...Submitting explicit_attribute#291 as an extraction prompt
...+ type_hlc#6: the value of person.age must be of type integer_type
...+ type_hlc#7: the value of person.age must be of type age_type
...+ domain_rules_hlc#4: person is constrained by the following domain rules: {domain_rule#4}
...+ non_null#5: person.age must have a value (other than `indeterminate')
....type_hlc#5 plausibly corresponds to type_hlc#6.
....Correspondence between type_hlc#5 and type_hlc#6 confirmed.
....type_hlc#5 plausibly corresponds to type_hlc#7.
....Difference in slot "tipe":-
....- type_hlc#5.tipe == integer_type
....- type_hlc#7.tipe == defined_type#36
....Submitting type_hlc#5 as an extraction prompt
....Submitting type_hlc#7 as an extraction prompt
....Correspondence between type_hlc#5 and type_hlc#7 retracted.
...type_hlc#7 doesn't correspond to anything in the first model.
....non_null#4 plausibly corresponds to non_null#5.
....Correspondence between non_null#4 and non_null#5 confirmed.
..Difference in slot "domain_rules":-
..- entity_type#188.domain_rules == [domain_rule#3]
..- entity_type#189.domain_rules == null
..Submitting entity_type#188 as an extraction prompt
..+ bound#8: a discrete, inclusive, lower bound of 0 on person.age
..+ bound#9: a discrete, exclusive, upper bound of 130 on person.age
..+ range#4: a discrete range constraint on person.age, with bounds bound#8 and bound#9
..+ domain_rules_hlc#5: person is constrained by the following domain rules: {domain_rule#3}
..Submitting entity_type#189 as an extraction prompt
..+ domain_rules_hlc#6: person is constrained by the following domain rules: null
...domain_rules_hlc#5 plausibly corresponds to domain_rules_hlc#4.
....domain_rule#3 plausibly corresponds to domain_rule#4.
.....interval#2 plausibly corresponds to interval#3.
......integer_literal#100 (0) plausibly corresponds to integer_literal#102 (0).
......Correspondence between integer_literal#100 and integer_literal#102 confirmed.
......integer_literal#101 (130) plausibly corresponds to integer_literal#103 (130).
......Correspondence between integer_literal#101 and integer_literal#103 confirmed.
.....Correspondence between interval#2 and interval#3 confirmed.
....Correspondence between domain_rule#3 and domain_rule#4 confirmed.
...Correspondence between domain_rules_hlc#5 and domain_rules_hlc#4 confirmed.
...domain_rules_hlc#5 plausibly corresponds to domain_rules_hlc#6.
...Difference in slot "domain_rules":-
...- domain_rules_hlc#5.domain_rules == [domain_rule#3]
...- domain_rules_hlc#6.domain_rules == null
...Submitting domain_rules_hlc#5 as an extraction prompt
...Submitting domain_rules_hlc#6 as an extraction prompt
...Correspondence between domain_rules_hlc#5 and domain_rules_hlc#6 retracted.
..domain_rules_hlc#6 doesn't correspond to anything in the first model.
.Difference in slot "defined_types":-
.- schema_frame#4.defined_types == null
.- schema_frame#5.defined_types == [defined_type#36]
.Submitting schema_frame#4 as an extraction prompt
.Submitting schema_frame#5 as an extraction prompt
.+ bound#10: a discrete, inclusive, lower bound of 0 on built_in_constant#97
.+ bound#11: a discrete, exclusive, upper bound of 130 on built_in_constant#97
.+ range#5: a discrete range constraint on built_in_constant#97, with bounds bound#10 and bound#11
..bound#8 plausibly corresponds to bound#10.
..Difference in slot "variable":-
..- bound#8.variable == explicit_attribute#290
..- bound#10.variable == built_in_constant#97
..Submitting explicit_attribute#290 as an extraction prompt
..Submitting built_in_constant#97 as an extraction prompt
..Correspondence between bound#8 and bound#10 retracted.
..bound#8 plausibly corresponds to bound#11.
..Difference in slot "kind":-
..- bound#8.kind == lower
..- bound#11.kind == upper
..Submitting bound#8 as an extraction prompt
..Submitting bound#11 as an extraction prompt
..Correspondence between bound#8 and bound#11 retracted.
.bound#8 doesn't correspond to anything in the second model.
..bound#9 plausibly corresponds to bound#10.
..Difference in slot "kind":-
..- bound#9.kind == upper
..- bound#10.kind == lower
..Submitting bound#9 as an extraction prompt
..Submitting bound#10 as an extraction prompt
..Correspondence between bound#9 and bound#10 retracted.
..bound#9 plausibly corresponds to bound#11.
..Difference in slot "variable":-
..- bound#9.variable == explicit_attribute#290
..- bound#11.variable == built_in_constant#97
..Submitting explicit_attribute#290 as an extraction prompt
..Submitting built_in_constant#97 as an extraction prompt
..Correspondence between bound#9 and bound#11 retracted.
.bound#9 doesn't correspond to anything in the second model.
.bound#10 doesn't correspond to anything in the first model.
.bound#11 doesn't correspond to anything in the first model.
..range#4 plausibly corresponds to range#5.
..Difference in slot "lower_bound":-
..- range#4.lower_bound == bound#8
..- range#5.lower_bound == bound#10
..Submitting bound#8 as an extraction prompt
..Submitting bound#10 as an extraction prompt
..Correspondence between range#4 and range#5 retracted.
.range#4 doesn't correspond to anything in the second model.
.range#5 doesn't correspond to anything in the first model.
--------------------------------------------------------------------------------
Number of frames in  first model: 8
Number of frames in second model: 10
Number of HLCs extracted from  first model: 6
Number of HLCs extracted from second model: 8
Number of     comparisons: 74
Number of HLC comparisons: 18
Number of     correspondences: 11
Number of HLC correspondences: 3
Number of differences: 10
Number of frame-class-thesaurus-lookups: 2
Number of name-thesaurus-lookups: 0
--------------------------------------------------------------------------------
