Assertion list for term "fit into corresponding holes".

Results from Ascent++: 1
pivot CapableOffit into corresponding holes 0.25