Assertion list
whirlpool (primary) → HasProperty
Results from Ascent++: 6
whirlpool → HasProperty → expensive 0.48
whirlpool → HasProperty → user-friendly 0.44
whirlpool → HasProperty → busy 0.25
whirlpool → HasProperty → clean 0.16
whirlpool → HasProperty → overvalued 0.16
whirlpool → HasProperty → successful 0.16