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.name) corresponds to explicit_attribute#292 (person.name).
...explicit_attribute#291 (person.age) corresponds to explicit_attribute#293 (person.age).
...domain_rule#3 plausibly corresponds to domain_rule#4.
...Difference in slot "expression":-
...- domain_rule#3.expression == conjunction#5
...- domain_rule#4.expression == interval#2
...Submitting conjunction#5 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
...Submitting interval#2 as an extraction prompt
...+ bound#10: a discrete, inclusive, lower bound of 0 on person.age
...+ bound#11: a discrete, exclusive, upper bound of 130 on person.age
...+ range#5: a discrete range constraint on person.age, with bounds bound#10 and bound#11
....bound#8 plausibly corresponds to bound#10.
.....integer_literal#100 (0) plausibly corresponds to integer_literal#102 (0).
.....Correspondence between integer_literal#100 and integer_literal#102 confirmed.
....Correspondence between bound#8 and bound#10 confirmed.
....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#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.
.....integer_literal#101 (130) plausibly corresponds to integer_literal#103 (130).
.....Correspondence between integer_literal#101 and integer_literal#103 confirmed.
....Correspondence between bound#9 and bound#11 confirmed.
....range#4 plausibly corresponds to range#5.
....Correspondence between range#4 and range#5 confirmed.
....conjunction#5 corresponds to interval#2.
...Correspondence between domain_rule#3 and domain_rule#4 confirmed.
--------------------------------------------------------------------------------
Number of frames in  first model: 11
Number of frames in second model: 9
Number of HLCs extracted from  first model: 3
Number of HLCs extracted from second model: 3
Number of     comparisons: 59
Number of HLC comparisons: 7
Number of     correspondences: 12
Number of HLC correspondences: 3
Number of differences: 3
Number of frame-class-thesaurus-lookups: 3
Number of name-thesaurus-lookups: 0
--------------------------------------------------------------------------------
