Assertion list
applique (primary) → HasProperty
Results from Ascent++: 3
applique → HasProperty → beautiful 0.66
applique → HasProperty → fun 0.25
applique → HasProperty → delicate 0.25