SCHEMA test; ENTITY person; name : STRING; age : INTEGER; WHERE age >= 0; END_ENTITY; END_SCHEMA;
SCHEMA test; ENTITY person; name : STRING; age : INTEGER; WHERE (age >= 0) AND (age < 130); END_ENTITY; END_SCHEMA;
Mode | E | -T | -U | -S | -H | -R | M | X |
HLCs extracted from first model | 3 | 3 | 1 | 3 | 0 | 3 | 3 | 3 |
HLCs extracted from second model | 3 | 3 | 3 | 3 | 0 | 3 | 3 | 3 |
Comparisons | 54 | 54 | 39 | 54 | 43 | 54 | 54 | 54 |
HLC-comparisons | 3 | 3 | 3 | 3 | 0 | 3 | 3 | 3 |
Correspondences | 8 | 8 | 8 | 8 | 7 | 8 | 8 | 8 |
HLC-correspondences | 1 | 1 | 1 | 1 | 0 | 1 | 1 | 1 |
Differences | 4 | 4 | 3 | 4 | 3 | 4 | 4 | 4 |
Number of FC-thesaurus lookups | 2 | 0 | 1 | 2 | 2 | 2 | 2 | 2 |
Number of name-thesaurus lookups | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
The frames generated by the CCUS (and output as HTML-ised FIL files) follow - a file for each frame-class: