Assertion list for term "small orbit".

Results from Ascent++: 1
atom HasAsmall orbit 0.25