Assertion list for term "come in half sizes".

Results from Ascent++: 1
ring CapableOfcome in half sizes 0.32