Assertion list for term "span one or two rings".

Results from Ascent++: 1
circuit CapableOfspan one or two rings 0.28