Assertion list
wing (aspect of ladybug ) → HasProperty
Results from Ascent++: 2
wing → HasProperty → thin 0.68
wing → HasProperty → fast 0.25