Assertion list
polka (primary) → HasProperty
Results from Ascent++: 2
polka → HasProperty → popular 0.59
polka → HasProperty → fun 0.16