Assertion list
garter (primary) → HasProperty
Results from Ascent++: 3
garter → HasProperty → beautiful 0.53
garter → HasProperty → perfect 0.25
garter → HasProperty → smaller 0.25