Assertion list
wing (aspect of ostrich ) → HasProperty
Results from Ascent++: 2
wing → HasProperty → small 0.68
wing → HasProperty → large 0.25