Assertion list
wing (aspect of dove ) → HasProperty
Results from Ascent++: 1
wing → HasProperty → large 0.26