Assertion list
raindrop (primary) → HasProperty
Results from Ascent++: 3
raindrop → HasProperty → big 0.48
raindrop → HasProperty → small 0.47
raindrop → HasProperty → spherical 0.34