Assertion list for term "come in two halves".

Results from Ascent++: 1
hull CapableOfcome in two halves 0.28