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).
..Difference in slot "is_abstract":-
..- entity_type#188.is_abstract == false
..- entity_type#189.is_abstract == true
..Submitting entity_type#188 as an extraction prompt
..+ type_hlc#5: the value of person.name must be of type string_type
..+ type_hlc#6: the value of person.age must be of type integer_type
..+ type_hlc#7: the value of person.gender must be of type [enumeration_symbol#43, enumeration_symbol#44]
..+ type_hlc#8: the value of person.gender must be of type gender_type
..+ non_null#4: person.name must have a value (other than `indeterminate')
..+ non_null#5: person.age must have a value (other than `indeterminate')
..+ non_null#6: person.gender must have a value (other than `indeterminate')
..+ choice_set#7: person is constrained to have at most one (optional = false) of the values {man, woman}
..+ domain_rules_hlc#4: person is constrained by the following domain rules: null
..+ domain_rules_hlc#5: person is constrained by the following domain rules: null
..Submitting entity_type#189 as an extraction prompt
..+ type_hlc#9: the value of person.name must be of type string_type
..+ type_hlc#10: the value of person.age must be of type integer_type
..+ non_null#7: person.name must have a value (other than `indeterminate')
..+ non_null#8: person.age must have a value (other than `indeterminate')
..+ domain_rules_hlc#6: person is constrained by the following domain rules: null
..+ choice_set#8: person is constrained to have at most one (optional = false) of the values {man, woman}
...type_hlc#5 plausibly corresponds to type_hlc#9.
....explicit_attribute#290 (person.name) corresponds to explicit_attribute#293 (person.name).
...Correspondence between type_hlc#5 and type_hlc#9 confirmed.
...type_hlc#5 plausibly corresponds to type_hlc#10.
...Difference in slot "attribute":-
...- type_hlc#5.attribute == explicit_attribute#290
...- type_hlc#10.attribute == explicit_attribute#294
...Submitting explicit_attribute#290 as an extraction prompt
...Submitting explicit_attribute#294 as an extraction prompt
...Correspondence between type_hlc#5 and type_hlc#10 retracted.
...type_hlc#6 plausibly corresponds to type_hlc#9.
...Difference in slot "attribute":-
...- type_hlc#6.attribute == explicit_attribute#291
...- type_hlc#9.attribute == explicit_attribute#293
...Submitting explicit_attribute#291 as an extraction prompt
...Submitting explicit_attribute#293 as an extraction prompt
...Correspondence between type_hlc#6 and type_hlc#9 retracted.
...type_hlc#6 plausibly corresponds to type_hlc#10.
....explicit_attribute#291 (person.age) corresponds to explicit_attribute#294 (person.age).
...Correspondence between type_hlc#6 and type_hlc#10 confirmed.
...type_hlc#7 plausibly corresponds to type_hlc#9.
...Difference in slot "attribute":-
...- type_hlc#7.attribute == explicit_attribute#292
...- type_hlc#9.attribute == explicit_attribute#293
...Submitting explicit_attribute#292 as an extraction prompt
...Submitting explicit_attribute#293 as an extraction prompt
...Correspondence between type_hlc#7 and type_hlc#9 retracted.
...type_hlc#7 plausibly corresponds to type_hlc#10.
...Difference in slot "attribute":-
...- type_hlc#7.attribute == explicit_attribute#292
...- type_hlc#10.attribute == explicit_attribute#294
...Submitting explicit_attribute#292 as an extraction prompt
...Submitting explicit_attribute#294 as an extraction prompt
...Correspondence between type_hlc#7 and type_hlc#10 retracted.
..type_hlc#7 doesn't correspond to anything in the second model.
...type_hlc#8 plausibly corresponds to type_hlc#9.
...Difference in slot "attribute":-
...- type_hlc#8.attribute == explicit_attribute#292
...- type_hlc#9.attribute == explicit_attribute#293
...Submitting explicit_attribute#292 as an extraction prompt
...Submitting explicit_attribute#293 as an extraction prompt
...Correspondence between type_hlc#8 and type_hlc#9 retracted.
...type_hlc#8 plausibly corresponds to type_hlc#10.
...Difference in slot "attribute":-
...- type_hlc#8.attribute == explicit_attribute#292
...- type_hlc#10.attribute == explicit_attribute#294
...Submitting explicit_attribute#292 as an extraction prompt
...Submitting explicit_attribute#294 as an extraction prompt
...Correspondence between type_hlc#8 and type_hlc#10 retracted.
..type_hlc#8 doesn't correspond to anything in the second model.
...non_null#4 plausibly corresponds to non_null#7.
...Correspondence between non_null#4 and non_null#7 confirmed.
...non_null#4 plausibly corresponds to non_null#8.
...Difference in slot "attribute":-
...- non_null#4.attribute == explicit_attribute#290
...- non_null#8.attribute == explicit_attribute#294
...Submitting explicit_attribute#290 as an extraction prompt
...Submitting explicit_attribute#294 as an extraction prompt
...Correspondence between non_null#4 and non_null#8 retracted.
...non_null#5 plausibly corresponds to non_null#7.
...Difference in slot "attribute":-
...- non_null#5.attribute == explicit_attribute#291
...- non_null#7.attribute == explicit_attribute#293
...Submitting explicit_attribute#291 as an extraction prompt
...Submitting explicit_attribute#293 as an extraction prompt
...Correspondence between non_null#5 and non_null#7 retracted.
...non_null#5 plausibly corresponds to non_null#8.
...Correspondence between non_null#5 and non_null#8 confirmed.
...non_null#6 plausibly corresponds to non_null#7.
...Difference in slot "attribute":-
...- non_null#6.attribute == explicit_attribute#292
...- non_null#7.attribute == explicit_attribute#293
...Submitting explicit_attribute#292 as an extraction prompt
...Submitting explicit_attribute#293 as an extraction prompt
...Correspondence between non_null#6 and non_null#7 retracted.
...non_null#6 plausibly corresponds to non_null#8.
...Difference in slot "attribute":-
...- non_null#6.attribute == explicit_attribute#292
...- non_null#8.attribute == explicit_attribute#294
...Submitting explicit_attribute#292 as an extraction prompt
...Submitting explicit_attribute#294 as an extraction prompt
...Correspondence between non_null#6 and non_null#8 retracted.
..non_null#6 doesn't correspond to anything in the second model.
...choice_set#7 plausibly corresponds to choice_set#8.
....enumeration_symbol#43 (man) corresponds to entity_type#190 (man).
....Difference in slot "is_abstract":-
....- enumeration_symbol#43.is_abstract == null
....- entity_type#190.is_abstract == false
....Submitting entity_type#190 as an extraction prompt
....+ domain_rules_hlc#7: man is constrained by the following domain rules: null
.....domain_rules_hlc#4 plausibly corresponds to domain_rules_hlc#7.
.....Difference in slot "the_entity":-
.....- domain_rules_hlc#4.the_entity == entity_type#188
.....- domain_rules_hlc#7.the_entity == entity_type#190
.....Submitting entity_type#188 as an extraction prompt
.....Submitting entity_type#190 as an extraction prompt
.....Correspondence between domain_rules_hlc#4 and domain_rules_hlc#7 retracted.
....domain_rules_hlc#4 doesn't correspond to anything in the second model.
.....domain_rules_hlc#5 plausibly corresponds to domain_rules_hlc#7.
.....Difference in slot "the_entity":-
.....- domain_rules_hlc#5.the_entity == entity_type#188
.....- domain_rules_hlc#7.the_entity == entity_type#190
.....Submitting entity_type#188 as an extraction prompt
.....Submitting entity_type#190 as an extraction prompt
.....Correspondence between domain_rules_hlc#5 and domain_rules_hlc#7 retracted.
....domain_rules_hlc#5 doesn't correspond to anything in the second model.
....domain_rules_hlc#7 doesn't correspond to anything in the first model.
....Difference in slot "subtype_of":-
....- enumeration_symbol#43.subtype_of == null
....- entity_type#190.subtype_of == [entity_type#189]
....Submitting entity_type#189 as an extraction prompt
....Difference in slot "explicit_attributes":-
....- enumeration_symbol#43.explicit_attributes == null
....- entity_type#190.explicit_attributes == []
....enumeration_symbol#44 (woman) corresponds to entity_type#191 (woman).
....Difference in slot "is_abstract":-
....- enumeration_symbol#44.is_abstract == null
....- entity_type#191.is_abstract == false
....Submitting entity_type#191 as an extraction prompt
....+ domain_rules_hlc#8: woman is constrained by the following domain rules: null
.....domain_rules_hlc#4 plausibly corresponds to domain_rules_hlc#8.
.....Difference in slot "the_entity":-
.....- domain_rules_hlc#4.the_entity == entity_type#188
.....- domain_rules_hlc#8.the_entity == entity_type#191
.....Submitting entity_type#188 as an extraction prompt
.....Submitting entity_type#191 as an extraction prompt
.....Correspondence between domain_rules_hlc#4 and domain_rules_hlc#8 retracted.
....domain_rules_hlc#4 doesn't correspond to anything in the second model.
.....domain_rules_hlc#5 plausibly corresponds to domain_rules_hlc#8.
.....Difference in slot "the_entity":-
.....- domain_rules_hlc#5.the_entity == entity_type#188
.....- domain_rules_hlc#8.the_entity == entity_type#191
.....Submitting entity_type#188 as an extraction prompt
.....Submitting entity_type#191 as an extraction prompt
.....Correspondence between domain_rules_hlc#5 and domain_rules_hlc#8 retracted.
....domain_rules_hlc#5 doesn't correspond to anything in the second model.
....domain_rules_hlc#8 doesn't correspond to anything in the first model.
....Difference in slot "subtype_of":-
....- enumeration_symbol#44.subtype_of == null
....- entity_type#191.subtype_of == [entity_type#189]
....Submitting entity_type#189 as an extraction prompt
....Difference in slot "explicit_attributes":-
....- enumeration_symbol#44.explicit_attributes == null
....- entity_type#191.explicit_attributes == []
...Difference in slot "attribute":-
...- choice_set#7.attribute == explicit_attribute#292
...- choice_set#8.attribute == null
...Correspondence between choice_set#7 and choice_set#8 confirmed.
...domain_rules_hlc#4 plausibly corresponds to domain_rules_hlc#6.
...Correspondence between domain_rules_hlc#4 and domain_rules_hlc#6 confirmed.
...domain_rules_hlc#5 plausibly corresponds to domain_rules_hlc#6.
...Correspondence between domain_rules_hlc#5 and domain_rules_hlc#6 confirmed.
..domain_rules_hlc#7 doesn't correspond to anything in the first model.
..domain_rules_hlc#8 doesn't correspond to anything in the first model.
..explicit_attribute#292 (person.gender) doesn't correspond to anything in the second model.
..Difference in slot "explicit_attributes":-
..- entity_type#188.explicit_attributes == [explicit_attribute#290, explicit_attribute#291, explicit_attribute#292]
..- entity_type#189.explicit_attributes == [explicit_attribute#293, explicit_attribute#294]
..Submitting explicit_attribute#290 as an extraction prompt
..Submitting explicit_attribute#291 as an extraction prompt
..Submitting explicit_attribute#292 as an extraction prompt
..Submitting explicit_attribute#293 as an extraction prompt
..Submitting explicit_attribute#294 as an extraction prompt
..Difference in slot "supertype_of":-
..- entity_type#188.supertype_of == null
..- entity_type#189.supertype_of == oneof_supertype_expression#26
..Submitting oneof_supertype_expression#26 as an extraction prompt
.entity_type#190 (man) doesn't correspond to anything in the first model.
.entity_type#191 (woman) doesn't correspond to anything in the first model.
.Difference in slot "entities":-
.- schema_frame#4.entities == [entity_type#188]
.- schema_frame#5.entities == [entity_type#189, entity_type#190, entity_type#191]
.Submitting entity_type#188 as an extraction prompt
.Submitting entity_type#189 as an extraction prompt
.Submitting entity_type#190 as an extraction prompt
.Submitting entity_type#191 as an extraction prompt
.Difference in slot "defined_types":-
.- schema_frame#4.defined_types == [defined_type#36]
.- schema_frame#5.defined_types == null
.Submitting defined_type#36 as an extraction prompt
--------------------------------------------------------------------------------
Number of frames in  first model: 9
Number of frames in second model: 8
Number of HLCs extracted from  first model: 10
Number of HLCs extracted from second model: 8
Number of     comparisons: 99
Number of HLC comparisons: 33
Number of     correspondences: 14
Number of HLC correspondences: 7
Number of differences: 26
Number of frame-class-thesaurus-lookups: 4
Number of name-thesaurus-lookups: 20
--------------------------------------------------------------------------------
