Assertion list for term "cut the semicircle".

Results from Ascent++: 1
straight line CapableOfcut the semicircle 0.28