Assertion list for term "encircle the band".

Results from Ascent++: 1
diamond (aspect of ring) CapableOfencircle the band 0.25