Assertion list for term "split into smaller atoms".

Results from Ascent++: 1
atom CapableOfsplit into smaller atoms 0.26