Assertion list for term "consist of one semicircle".

Results from Ascent++: 1
symbol CapableOfconsist of one semicircle 0.27