Assertion list for term "fit in one groove".

Results from Ascent++: 1
ring CapableOffit in one groove 0.31