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).
...Difference in slot "is_optional":-
...- explicit_attribute#291.is_optional == true
...- explicit_attribute#293.is_optional == false
...Submitting explicit_attribute#291 as an extraction prompt
...+ type_hlc#5: the value of person.age must be of type integer_type
...Submitting explicit_attribute#293 as an extraction prompt
...+ type_hlc#6: the value of person.age must be of type integer_type
...+ non_null#4: 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.
...domain_rule#3 plausibly corresponds to domain_rule#4.
....comparator#8 (age >= 0) plausibly corresponds to comparator#9 (age >= 0).
.....integer_literal#100 (0) plausibly corresponds to integer_literal#101 (0).
.....Correspondence between integer_literal#100 and integer_literal#101 confirmed.
....Correspondence between comparator#8 and comparator#9 confirmed.
...Correspondence between domain_rule#3 and domain_rule#4 confirmed.
--------------------------------------------------------------------------------
Number of frames in  first model: 8
Number of frames in second model: 8
Number of HLCs extracted from  first model: 1
Number of HLCs extracted from second model: 2
Number of     comparisons: 41
Number of HLC comparisons: 1
Number of     correspondences: 9
Number of HLC correspondences: 1
Number of differences: 1
Number of frame-class-thesaurus-lookups: 0
Number of name-thesaurus-lookups: 0
--------------------------------------------------------------------------------
