Assertion list
beautiful vase (subgroup of vase ) → HasProperty
Results from Ascent++: 1
beautiful vase → HasProperty → true 0.59