Assertion list for term "consist of semicircle".

Results from Ascent++: 1
graph CapableOfconsist of semicircle 0.25