Assertion list
circle (aspect of triangle ) → IsA
Results from Ascent++: 1
circle → IsA → shape 0.31