If the partition of a set of chemical environments is known, then we only seek a SMARTS pattern that induces the same partition on the chemical environments A that matched the SMARTS pattern S 0 . From this and Eqn. 13 we have Q j and Q \j , and we determine whether there is a difference between the intersections by computing the splits analytically as