Assertion list
wing (aspect of cicada ) → HasProperty
Results from Ascent++: 1
wing → HasProperty → clear 0.16