Providing the option to count disjunctions on the LHS and conjunctions on the RHS of subset axioms either as single complex expressions, or to drill down and count the disjuncts and conjuncts as separate axioms
Merge branch 'master' of github.com:jimburton/diagram-structure