Assertion list for term "be whole".

Results from Ascent++: 1
circle Desiresbe whole 0.30