Assertion list
harmonica (primary) → HasProperty
Results from Ascent++: 2
harmonica → HasProperty → dynamic 0.34
harmonica → HasProperty → smooth 0.16