Assertion list
seed (aspect of strawberry ) → HasA

Results from Ascent++: 1
seedHasA cyanide 0.16