Assertion list
wing (aspect of penguin ) → HasProperty
Results from Ascent++: 2
wing → HasProperty → short 0.20
wing → HasProperty → useless 0.19