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 >= 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.
....comparator#8 (age >= 0) plausibly corresponds to comparator#10 (age < 130).
....Difference in slot "greater":-
....- comparator#8.greater == explicit_attribute#291
....- comparator#10.greater == integer_literal#102
....Submitting explicit_attribute#291 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 integer_literal#102 as an extraction prompt
....Correspondence between comparator#8 and comparator#10 retracted.
...Difference in slot "expression":-
...- domain_rule#3.expression == comparator#8
...- domain_rule#4.expression == conjunction#5
...Submitting comparator#8 as an extraction prompt
...+ bound#8: a discrete, inclusive, lower bound of 0 on person.age
...Submitting conjunction#5 as an extraction prompt
...+ bound#9: a discrete, inclusive, lower bound of 0 on person.age
...+ bound#10: a discrete, exclusive, upper bound of 130 on person.age
...+ range#4: a discrete range constraint on person.age, with bounds bound#9 and bound#10
....bound#8 plausibly corresponds to bound#9.
....Correspondence between bound#8 and bound#9 confirmed.
....bound#8 plausibly corresponds to bound#10.
....Difference in slot "kind":-
....- bound#8.kind == lower
....- bound#10.kind == upper
....Submitting bound#8 as an extraction prompt
....Submitting bound#10 as an extraction prompt
....Correspondence between bound#8 and bound#10 retracted.
...bound#10 doesn't correspond to anything in the first model.
...Correspondence between domain_rule#3 and domain_rule#4 retracted.
..domain_rule#3 (domain_rule#3) doesn't correspond to anything in the second model.
..domain_rule#4 (domain_rule#4) doesn't correspond to anything in the first model.
..Difference in slot "domain_rules":-
..- entity_type#188.domain_rules == [domain_rule#3]
..- entity_type#189.domain_rules == [domain_rule#4]
..Submitting domain_rule#3 as an extraction prompt
..Submitting domain_rule#4 as an extraction prompt
--------------------------------------------------------------------------------
Number of frames in  first model: 8
Number of frames in second model: 11
Number of HLCs extracted from  first model: 3
Number of HLCs extracted from second model: 3
Number of     comparisons: 54
Number of HLC comparisons: 3
Number of     correspondences: 8
Number of HLC correspondences: 1
Number of differences: 4
Number of frame-class-thesaurus-lookups: 2
Number of name-thesaurus-lookups: 0
--------------------------------------------------------------------------------
