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.
....comparator#8 (age >= 0) plausibly corresponds to comparator#9 (age >= 18).
.....integer_literal#100 (0) plausibly corresponds to integer_literal#101 (18).
.....Difference in slot "literal_value":-
.....- integer_literal#100.literal_value == 0
.....- integer_literal#101.literal_value == 18
.....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 "lesser":-
....- comparator#8.lesser == integer_literal#100
....- comparator#9.lesser == integer_literal#101
....comparator#8 (age >= 0) is semantically weaker than comparator#9 (age >= 18).
....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: 0
Number of HLCs extracted from second model: 0
Number of     comparisons: 34
Number of HLC comparisons: 0
Number of     correspondences: 7
Number of HLC correspondences: 0
Number of differences: 2
Number of frame-class-thesaurus-lookups: 0
Number of name-thesaurus-lookups: 0
--------------------------------------------------------------------------------
