Assertion list
teacup (primary) → HasProperty
Results from Ascent++: 2
teacup → HasProperty → beautiful 0.75
teacup → HasProperty → wider 0.28