No longer use syntactic approximation:
Construct class expressions to proper internal data structure;
Detect complement of constructed expressions;
Still approximate datarange and data properties with class expressions and object properties.