Assertion list
crop circle (subgroup of circle ) → HasProperty
Results from Ascent++: 3
crop circle → HasProperty → man-made 0.50
crop circle → HasProperty → real 0.25
crop circle → HasProperty → unique 0.25