Assertion list
drip (primary) → HasProperty
Results from Ascent++: 6
drip → HasProperty → great 0.59
drip → HasProperty → slow 0.34
drip → HasProperty → simple 0.33
drip → HasProperty → perfect 0.26
drip → HasProperty → constant 0.25
drip → HasProperty → free 0.23