Assertion list
rind (aspect of watermelon ) → HasA
Results from Ascent++: 1
rind → HasA → many small yellow circles 0.25