Assertion list for term "fit on mandrel".

Results from Ascent++: 1
ring CapableOffit on mandrel 0.36