Assertion list
wing (aspect of pigeon ) → HasProperty
Results from Ascent++: 2
wing → HasProperty → large 0.59
wing → HasProperty → long 0.25