This new version of the modeling tool brings us a big capability: the support for necessary and sufficient conditions of anonymous subclasses. The subsections track a lot of combinations between Intersections, Unions, Restrictions, Complements, and Classes.
Related pages