{oneofexpression, oneofsupertypeexpression,} {andexpression, andsupertypeexpression,} {andorexpression, andorsupertypeexpression,} {literalexpression, literal,}
The CCUS suffers gigantic quadratic explosion due to the abundance of type_hlcs, domain_rules_hlcs and non_nulls. So I decided to run this experiment with these three HLC-classes disabled (i.e. with type_hlc-optional.filc, type_hlc+non_null-attr.filc, non_null-exists.filc, domain_rules_hlc.filc and propagate_from_defined_type.filc excluded from the case-library).
Mode | E | -T | -U | -S | -H | -R | M | X |
HLCs extracted from first model | 34 | 34 | 34 | 34 | 0 | 34 | 34 | 34 |
HLCs extracted from second model | 118 | 118 | 118 | 118 | 0 | 118 | 118 | 118 |
Comparisons | 52902 | 53276 | 52902 | 42945 | 3370 | 13183 | 8144 | 52859 |
HLC-comparisons | 3305 | 3305 | 3305 | 3305 | 0 | 429 | 199 | 3262 |
Correspondences | 175 | 162 | 175 | 169 | 149 | 164 | 154 | 175 |
HLC-correspondences | 18 | 18 | 18 | 18 | 0 | 15 | 5 | 18 |
Differences | 1763 | 1728 | 1763 | 1757 | 58 | 288 | 156 | 1763 |
Number of FC-thesaurus lookups | 25967 | 0 | 25967 | 20555 | 19 | 5683 | 2356 | 25967 |
Number of name-thesaurus lookups | 44707 | 0 | 44707 | 35744 | 2659 | 11729 | 7041 | 44707 |
The frames generated by the CCUS (and output as HTML-ised FIL files) follow - a file for each frame-class: