Assertion list
wing (aspect of emu ) → HasProperty
Results from Ascent++: 2
wing → HasProperty → tiny 0.68
wing → HasProperty → short 0.59