Assertion list
ripe watermelon (subgroup of watermelon ) → HasProperty
Results from Ascent++: 2
ripe watermelon → HasProperty → heavy 0.68
ripe watermelon → HasProperty → dark green 0.25