Assertion list
frozen strawberry (subgroup of strawberry ) → HasProperty
Results from Ascent++: 1
frozen strawberry → HasProperty → fine 0.59