Assertion list
wing (aspect of kite ) → HasProperty
Results from Ascent++: 1
wing → HasProperty → vertical 0.41